The fsmActions package
This is a library for representing and manipulating finite state machines (FSMs) in Haskell, with an emphasis on computing the effects of sequences of transitions across entire machines (which we call actions), and in particular investigating action equivalences between such sequences.
Properties
| Versions | 0.1, 0.2.0, 0.3.0, 0.4.0, 0.4.1, 0.4.2, 0.4.3, 0.4.4 |
|---|---|
| Dependencies | base (≥3 & <5), containers, fgl (≥5.4.2.0), filepath, graphviz (≥2999.14.0.0), MissingH, mtl, parsec (≥3), pretty |
| License | BSD3 |
| Copyright | Andy Gimblett <haskell@gimbo.org.uk> |
| Author | Andy Gimblett <haskell@gimbo.org.uk> |
| Maintainer | Andy Gimblett <haskell@gimbo.org.uk> |
| Stability | Alpha |
| Category | Data |
| Home page | http://projects.haskell.org/fsmActions/ |
| Source repository | darcs get http://code.haskell.org/fsmActions |
| Upload date | Fri Dec 14 17:19:53 UTC 2012 |
| Uploaded by | AndyGimblett |
| Built on | ghc-7.6 |
Modules
Downloads
- fsmActions-0.4.4.tar.gz (Cabal source package)
- package description (included in the package)