fsmActions 0.4.1 → 0.4.2
raw patch · 2 files changed
+5/−4 lines, 2 filesdep ~basedep ~fgldep ~graphvizPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: base, fgl, graphviz
API changes (from Hackage documentation)
- Data.FsmActions: instance (Eq sy) => Eq (FSM sy)
- Data.FsmActions: instance (Ord sy) => Ord (FSM sy)
- Data.FsmActions: instance (Show sy) => Show (FSM sy)
- Data.FsmActions.Graph: instance [overlap ok] (Show a) => CleanShow a
- Data.FsmActions.WellFormed: instance (Eq sy) => Eq (WellFormed sy)
- Data.FsmActions.WellFormed: instance (Show sy) => Show (WellFormed sy)
+ Data.FsmActions: instance Eq sy => Eq (FSM sy)
+ Data.FsmActions: instance Ord sy => Ord (FSM sy)
+ Data.FsmActions: instance Show sy => Show (FSM sy)
+ Data.FsmActions.Graph: instance [overlap ok] Show a => CleanShow a
+ Data.FsmActions.WellFormed: instance Eq sy => Eq (WellFormed sy)
+ Data.FsmActions.WellFormed: instance Show sy => Show (WellFormed sy)
- Data.FsmActions: action :: (Ord sy) => FSM sy -> Word sy -> Maybe Action
+ Data.FsmActions: action :: Ord sy => FSM sy -> Word sy -> Maybe Action
- Data.FsmActions: actionEquiv :: (Ord sy) => FSM sy -> Word sy -> Word sy -> Bool
+ Data.FsmActions: actionEquiv :: Ord sy => FSM sy -> Word sy -> Word sy -> Bool
- Data.FsmActions: delete :: (Ord sy) => sy -> FSM sy -> FSM sy
+ Data.FsmActions: delete :: Ord sy => sy -> FSM sy -> FSM sy
- Data.FsmActions: destinationEquiv :: (Ord sy) => FSM sy -> State -> Word sy -> Word sy -> Bool
+ Data.FsmActions: destinationEquiv :: Ord sy => FSM sy -> State -> Word sy -> Word sy -> Bool
- Data.FsmActions: destinationSet :: (Ord sy) => FSM sy -> State -> Word sy -> Maybe DestinationSet
+ Data.FsmActions: destinationSet :: Ord sy => FSM sy -> State -> Word sy -> Maybe DestinationSet
- Data.FsmActions: fromList :: (Ord sy) => [(sy, Action)] -> FSM sy
+ Data.FsmActions: fromList :: Ord sy => [(sy, Action)] -> FSM sy
- Data.FsmActions: lookup :: (Ord sy) => sy -> FSM sy -> Maybe Action
+ Data.FsmActions: lookup :: Ord sy => sy -> FSM sy -> Maybe Action
- Data.FsmActions.Graph: class (Show a) => CleanShow a
+ Data.FsmActions.Graph: class Show a => CleanShow a
- Data.FsmActions.Graph: cleanShow :: (CleanShow a) => a -> String
+ Data.FsmActions.Graph: cleanShow :: CleanShow a => a -> String
- Data.FsmActions.Graph: fsmToGML :: (CleanShow sy) => FSM sy -> Doc
+ Data.FsmActions.Graph: fsmToGML :: CleanShow sy => FSM sy -> Doc
- Data.FsmActions.Graph: strongCCs :: (Eq sy) => FSM sy -> [[State]]
+ Data.FsmActions.Graph: strongCCs :: Eq sy => FSM sy -> [[State]]
- Data.FsmActions.Graph: weakCCs :: (Eq sy) => FSM sy -> [[State]]
+ Data.FsmActions.Graph: weakCCs :: Eq sy => FSM sy -> [[State]]
- Data.FsmActions.WellFormed: isWellFormed :: (Ord sy) => FSM sy -> WellFormed sy
+ Data.FsmActions.WellFormed: isWellFormed :: Ord sy => FSM sy -> WellFormed sy
Files
- doc/fsmActions.pdf binary
- fsmActions.cabal +5/−4
doc/fsmActions.pdf view
binary file changed (148360 → 140850 bytes)
fsmActions.cabal view
@@ -1,5 +1,5 @@ Name: fsmActions-Version: 0.4.1+Version: 0.4.2 Stability: Alpha Synopsis: Finite state machines and FSM actions Description:@@ -25,9 +25,10 @@ Location: http://code.haskell.org/fsmActions Library- Build-Depends: base >= 4 && < 5, containers, filepath, fgl,- graphviz >= 2999.6.0.0, MissingH, mtl, parsec,- pretty+ Build-Depends: base >= 3 && < 5, containers, filepath,+ fgl == 5.4.2.2,+ graphviz >= 2999.6.0.0 && <= 2999.9.0.0,+ MissingH, mtl, parsec, pretty Exposed-modules: Data.FsmActions, Data.FsmActions.ActionMatrix, Data.FsmActions.Error,