Exercises.StateMachines

threeGuesses : GuessCmd () (fromInteger 3) (fromInteger 0)

steamIce : MatterCmd () Gas Solid

iceSteam : MatterCmd () Solid Gas

data GuessCmd : Type -> Nat -> Nat -> Type

Try : Integer -> GuessCmd Ordering (S n) n

Pure : ty -> GuessCmd ty state state

(>>=) : GuessCmd a state1 state2 -> (a -> GuessCmd b state2 state3) -> GuessCmd b state1 state3

Fixity

Left associative, precedence 5