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), 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`

.