Stop hardcoding elements

This commit is contained in:
Sven van Heugten 2026-03-16 20:01:10 +01:00
parent 5d8406d8ad
commit c09915ac60

View file

@ -37,14 +37,12 @@ let private genHumanInteraction =
let private genRemoteInteraction =
Gen.oneof
[ Gen.elements [ RemotePressedOnButton; RemotePressedOffButton ]
[ ArbMap.defaults
|> ArbMap.generate<BedroomControllingRemoteInteraction>
|> Gen.map BedroomControllingRemoteInteraction
Gen.elements
[ RemotePressedLeftButton
RemotePressedRightButton
LivingRoomRemotePressedOnButton
LivingRoomRemotePressedOffButton ]
ArbMap.defaults
|> ArbMap.generate<LivingRoomControllingRemoteAction>
|> Gen.map LivingRoomControllingRemoteInteraction ]
let private genInteraction =