The fsmActions package

[Tags: bsd3, library]

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

Versions0.1, 0.2.0, 0.3.0, 0.4.0, 0.4.1, 0.4.2, 0.4.3, 0.4.4
Dependenciesbase (>=3 && <5), containers, fgl (>=5.4.2.0), filepath, graphviz (>=2999.14.0.0), MissingH, mtl, parsec (>=3), pretty
LicenseBSD3
CopyrightAndy Gimblett <haskell@gimbo.org.uk>
AuthorAndy Gimblett <haskell@gimbo.org.uk>
MaintainerAndy Gimblett <haskell@gimbo.org.uk>
StabilityAlpha
CategoryData
Home pagehttp://projects.haskell.org/fsmActions/
Source repositoryhead: darcs get http://code.haskell.org/fsmActions
UploadedFri Dec 14 17:19:53 UTC 2012 by AndyGimblett
Downloads805 total (51 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees