Copyright | (c) Fontaine 2010 |
---|---|
License | BSD |
Maintainer | fontaine@cs.uni-duesseldorf.de |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | Safe |
Language | Haskell2010 |
Some helper classes. (Might be deleted or moved somewhere else some time.)
- class (Eq (Process i), Eq (RuleTick i), Eq (RuleTau i), Eq (RuleEvent i), Eq (EventSet i), Eq (ExtProcess i), Eq (Prefix i), Eq (Event i), Eq (RenamingRelation i), Ord (Process i), Ord (RuleTick i), Ord (RuleTau i), Ord (RuleEvent i), Ord (EventSet i), Ord (ExtProcess i), Ord (Prefix i), Ord (Event i), Ord (RenamingRelation i)) => EqOrd i
- class (Show (TTE i), Show (Rule i), Show (Process i), Show (RuleTick i), Show (RuleTau i), Show (RuleEvent i)) => FShow i
- class (EqOrd i, BL i) => CSP1 i
- class (EqOrd i, BF i, CSP1 i) => CSP2 i
Documentation
class (Eq (Process i), Eq (RuleTick i), Eq (RuleTau i), Eq (RuleEvent i), Eq (EventSet i), Eq (ExtProcess i), Eq (Prefix i), Eq (Event i), Eq (RenamingRelation i), Ord (Process i), Ord (RuleTick i), Ord (RuleTau i), Ord (RuleEvent i), Ord (EventSet i), Ord (ExtProcess i), Ord (Prefix i), Ord (Event i), Ord (RenamingRelation i)) => EqOrd i Source #
class (Show (TTE i), Show (Rule i), Show (Process i), Show (RuleTick i), Show (RuleTau i), Show (RuleEvent i)) => FShow i Source #
Implementation i supports Show
.