packages feed

fsmActions-0.4.3: fsmActions.cabal

Name:                   fsmActions
Version:                0.4.3
Stability:              Alpha
Synopsis:               Finite state machines and FSM actions
Description:
    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.
Category:               Data
License:                BSD3
License-file:           LICENSE
Homepage:               http://projects.haskell.org/fsmActions/
Copyright:              Andy Gimblett <haskell@gimbo.org.uk>
Author:                 Andy Gimblett <haskell@gimbo.org.uk>
Maintainer:             Andy Gimblett <haskell@gimbo.org.uk>
Build-Type:             Simple
Cabal-Version:          >=1.6
Extra-source-files:     README
                        doc/fsmActions.pdf

Source-Repository head
    Type:         darcs
    Location:     http://code.haskell.org/fsmActions

Library
  Build-Depends:   base >= 3 && < 5, containers, filepath,
                   fgl >= 5.4.2.3,
                   graphviz >= 2999.11.0.0,
                   MissingH, mtl, parsec >= 3, pretty
  Exposed-modules: Data.FsmActions,
                   Data.FsmActions.ActionMatrix,
                   Data.FsmActions.Error,
                   Data.FsmActions.FsmEdges,
                   Data.FsmActions.FsmMatrix,
                   Data.FsmActions.Graph,
                   Data.FsmActions.IO,
                   Data.FsmActions.WellFormed
  ghc-options:     -fwarn-tabs -Wall