Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | fontaine@cs.uni-duesseldorf.de |
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), Ord (Process i), Ord (RuleTick i), Ord (RuleTau i), Ord (RuleEvent 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), Ord (Process i), Ord (RuleTick i), Ord (RuleTau i), Ord (RuleEvent 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
.