Remove the remoteControlledLights helper value

This commit is contained in:
Sven van Heugten 2026-01-17 16:36:46 +01:00
parent 0bf13d4c6f
commit 9104fac638
3 changed files with 9 additions and 9 deletions

View file

@ -15,18 +15,21 @@ type ArbitraryNonRemotelyControlledLight =
type ArbitraryLeftRemotelyControlledLight =
static member Light() =
remoteControlledLights
lights
|> Seq.filter _.ControlledWithRemote.IsRemoteLeft
|> Gen.elements
|> Arb.fromGen
type ArbitraryRightRemotelyControlledLight =
static member Light() =
remoteControlledLights
lights
|> Seq.filter _.ControlledWithRemote.IsRemoteRight
|> Gen.elements
|> Arb.fromGen
type ArbitraryRemotelyControlledLight =
static member Light() =
remoteControlledLights |> Gen.elements |> Arb.fromGen
lights
|> Seq.filter (not << _.ControlledWithRemote.IsNonRemote)
|> Gen.elements
|> Arb.fromGen