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

Re-use getPartOfDayAfterInteractions in an ensure... function

Browse source
This commit is contained in:
Sven van Heugten 2026-01-16 21:19:54 +01:00
parent f22f31ee6c
commit cbc948c005
2 changed files with 4 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

10
NightLight.Core.Tests/InteractionListGenerators.fs
View file

@ -70,15 +70,7 @@ let ensureLightHasPower (light: Light) (genInteractions: Gen<Interaction list>)
let ensurePartOfDayIs (desiredPartOfDay: PartOfDay) (genInteractions: Gen<Interaction list>) = let ensurePartOfDayIs (desiredPartOfDay: PartOfDay) (genInteractions: Gen<Interaction list>) =
genInteractions genInteractions
|> Gen.bind (fun interactions -> |> Gen.bind (fun interactions ->
let maybeActualTime = if getPartOfDayAfterInteractions interactions = desiredPartOfDay then
interactions
|> Seq.choose (fun interaction ->
match interaction with
| Interaction.TimeChanged time -> Some time
| _ -> None)
|> Seq.tryLast
if maybeActualTime |> Option.map getPartOfDay = Some desiredPartOfDay then
Gen.constant interactions Gen.constant interactions
else else
desiredPartOfDay desiredPartOfDay

5
NightLight.Core.Tests/NightLightTests.fs
View file

@ -85,10 +85,11 @@ type NightLightTests() =
(light: Light) (light: Light)
= =
concatGens concatGens
[ genBiasedInteractions light |> ensurePartOfDayIs Night [ genBiasedInteractions light
|> ensureStartsWithTimeChanged
|> ensurePartOfDayIs Night
genTimeChangedToPartOfDay Day |> Gen.map List.singleton genTimeChangedToPartOfDay Day |> Gen.map List.singleton
genBiasedInteractionsExcept light _.IsRemoteInteraction ] genBiasedInteractionsExcept light _.IsRemoteInteraction ]
|> ensureStartsWithTimeChanged
|> ensureLightHasPower light |> ensureLightHasPower light
|> Arb.fromGen |> Arb.fromGen
|> Prop.forAll |> Prop.forAll