Type-safe effectful state machines in Haskell
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
motor-diagrams
motor-reflection
motor
.gitignore
.travis.yml
README.md
cabal.project
stack.yaml

README.md

Motor: Type-safe effectful state machines in Haskell

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.