motor (hackage): Motor is an experimental Haskell library for building finite-state machines with type-safe transitions and effects. It draws inspiration from the Idris ST library. See the Motor.FSM module for documentation.
Keywords: control|library|mpl|program