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

Use shorthand

Browse source
This commit is contained in:
Sven van Heugten 2026-01-08 22:10:20 +01:00
parent c30642dcce
commit 150fa265de
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -64,7 +64,7 @@ type NightLightTests() =
| On(_, color) -> color = Red) | On(_, color) -> color = Red)
[<Property(Arbitrary = [| typeof<ArbitraryNonRemotelyControlledLight> |])>] [<Property(Arbitrary = [| typeof<ArbitraryNonRemotelyControlledLight> |])>]
let ``All non-remotely controlled lights should be on *if and only if* they have power`` (light: Light) = let ``All non-remotely controlled lights should be on iff they have power`` (light: Light) =
genInitialInteractions light |> Arb.fromGen |> Prop.forAll genInitialInteractions light |> Arb.fromGen |> Prop.forAll
<| fun interactions -> <| fun interactions ->
let fakeHome = createFakeHomeWithNightLightAndInteract interactions let fakeHome = createFakeHomeWithNightLightAndInteract interactions