Exercises.StateMachines.Matter

data MatterCmd : (ty : Type) -> (beforeState : Matter) -> (afterState : Matter) -> Type

Melt : MatterCmd () Solid Liquid

Boil : MatterCmd () Liquid Gas

Condense : MatterCmd () Gas Liquid

Freeze : MatterCmd () Liquid Solid

Pure : ty -> MatterCmd ty state state

(>>=) : MatterCmd a state1 stat2 -> (a -> MatterCmd b state2 state3) -> MatterCmd b state1 state3

Fixity

Left associative, precedence 5

data Matter : Type

Solid : Matter

Liquid : Matter

Gas : Matter