search

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models
Other
203 stars 25 forks source link

export toStateMachine from Test.StateMachine.Lockstep.NAry #372

Closed duog closed 3 years ago

duog commented 3 years ago

The immediate motivation for this is to get access to forAllCommands, to facilitate labeling of test cases.

edsko commented 3 years ago

LGTM. This provides users with an escape hatch for functionality that isn't (yet) implemented in Lockstep -- though adding support for labelling to Lockstep itself would certainly be a valuable addition.

duog commented 3 years ago

I'm still fiddling with this, the type of Test.StateMachineQuickCheck.Lockstep.Simple.toStateMachine is in terms of NAry.At, which is unsatisfactory.

duog commented 3 years ago

Indeed, let's just expose Nary.toStateMachine for now