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.2), filepath, graphviz (>=2999.6.0.0 && <=2999.9.0.0), MissingH, mtl, parsec, 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
UploadedThu Jun 10 10:54:22 UTC 2010 by AndyGimblett
Downloads787 total (36 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