Skip to content
/ motor Public
forked from owickstrom/motor

Type-safe effectful state machines in Haskell

Notifications You must be signed in to change notification settings

Galagora/motor

 
 

Repository files navigation

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.

About

Type-safe effectful state machines in Haskell

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Haskell 89.0%
  • Nix 5.6%
  • Shell 2.9%
  • Makefile 2.5%