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

Simplify classify by using collect

Browse source
This commit is contained in:
Sven van Heugten 2026-01-16 22:51:06 +01:00
parent 8866053172
commit ec90147c07
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -37,10 +37,9 @@ type NightLightTests() =
match partOfDay with
| Day -> color = White || color = Yellow
| Night -> color = Red)
|> Prop.classify (partOfDay = Day) "day"
|> Prop.classify (partOfDay = Night) "night"
|> Prop.trivial (fakeHome.LightsThatAreOn.Length = 0)
|> Prop.collect partOfDay
|> Prop.collect $"{fakeHome.LightsThatAreOn.Length} light(s) on"
|> Prop.trivial (fakeHome.LightsThatAreOn.Length = 0)
[<Property(Arbitrary = [| typeof<ArbitraryInteractions> |])>]
let ``All non-remotely controlled lights that have power should be on`` (interactions: Interaction list) =