# 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](http:/*docs.idris-lang.org*en*latest*st/state.html) library.

## Usage

See the [Motor module documentation on
Hackage](http://hackage.haskell.org/package/motor) for detailed usage.

## Examples

* [Door](examples/Door.hs)

## License

[Mozilla Public License Version 2.0](LICENSE)