svenvanheugten/night-light
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Make sure that the first interaction sets the time

Browse source 
This is what happens in the `NightLight` program as well.
This commit is contained in:
Sven van Heugten 2026-01-04 19:41:31 +01:00
parent 4e6fc6645c
commit c8e1f0c9fe
1 changed files with 20 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

33
NightLight.Core.Tests/Arbitraries.fs
View file

@ -1,22 +1,29 @@
namespace NightLight.Core.Tests namespace NightLight.Core.Tests
open System open System
open FsCheck
open FsCheck.FSharp open FsCheck.FSharp
open NightLight.Core.Models open NightLight.Core.Models
type Arbitraries = type Arbitraries =
static member Interaction() = static member Interactions() : Arbitrary<Interaction list> =
let genTimeChangedInteraction = gen {
gen { let genTimeChangedInteraction =
let! time = ArbMap.defaults |> ArbMap.generate<DateTime> gen {
return Interaction.TimeChanged time let! time = ArbMap.defaults |> ArbMap.generate<DateTime>
} return Interaction.TimeChanged time
}
let genHumanInteraction = let genHumanInteraction =
gen { gen {
let! light = Gen.elements lights let! light = Gen.elements lights
let! humanInteraction = Gen.elements [ LightTurnedOn light; LightTurnedOff light ] let! humanInteraction = Gen.elements [ LightTurnedOn light; LightTurnedOff light ]
return Interaction.HumanInteraction humanInteraction return Interaction.HumanInteraction humanInteraction
} }
Gen.oneof [ genTimeChangedInteraction; genHumanInteraction ] |> Arb.fromGen let! initialTimeChangedInteraction = genTimeChangedInteraction
let! remainingInteractions = Gen.oneof [ genTimeChangedInteraction; genHumanInteraction ] |> Gen.listOf
return initialTimeChangedInteraction :: remainingInteractions
}
|> Arb.fromGen