test.elm

permissionProducer : Producer Permission
permissionProducer =
    let permission i = case i of
        1 -> VOTE
        2 -> FORCE
        _ -> NONE
    in Check.Producer.map permission <| rangeInt 0 2

userProducer : Producer User
userProducer =
    Check.Producer.map (uncurry3 Actor.create) (Check.Producer.tuple3 ( string, bool, list permissionProducer ))


workflowProducer : Producer (Workflow String)
workflowProducer =
    Check.Producer.map (\users -> List.foldl Workflow.approve (Workflow.init [1]) users) (list userProducer)

myClaims : Claim
myClaims =
    Check.suite "Workflow"
        [
        claim
            "Workflow should remain in its bounds"
            `true` (\w -> w.currentStep <= 1)
            `for` workflowProducer
        ]