Motor: Type-safe effectful state machines in Haskell

November 6, 2017 · View on GitHub

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.

Usage

See the Motor module documentation on Hackage for detailed usage.

Packages

  • motor — the core of Motor.
  • motor-reflection — reflect on typeclasses following Motor FSM conventions.
  • motor-diagrams — use value-representations from motor-reflection to generate diagrams.

Examples

License

Mozilla Public License Version 2.0, see LICENSE file in each package.