Index
| absurdF | Data.Hetero.Void |
| applyEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| Array# | Data.Hetero.PtrEq |
| AtLeast | |
| 1 (Type/Class) | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| 2 (Data Constructor) | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| bindHO | Data.Hetero.Ord, Data.Hetero |
| Chan | Data.Hetero.PtrEq |
| defaultHEq | Data.Hetero.Ord, Data.Hetero |
| Exactly | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| expositRole | Data.Hetero.Role, Data.Hetero |
| foldSome | Data.Hetero.Some |
| hcompare | Data.Hetero.Ord, Data.Hetero |
| hcompareVia | Data.Hetero.Ord, Data.Hetero |
| HEQ | Data.Hetero.Ord, Data.Hetero |
| heq | Data.Hetero.Eq, Data.Hetero |
| HetEq | Data.Hetero.Eq, Data.Hetero |
| HetEq' | Data.Hetero.Eq, Data.Hetero |
| HetOrd | Data.Hetero.Ord, Data.Hetero |
| HetOrd' | Data.Hetero.Ord, Data.Hetero |
| HetOrdering | Data.Hetero.Ord, Data.Hetero |
| hetTransAL | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| hetTransEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| HGT | Data.Hetero.Ord, Data.Hetero |
| HLT | Data.Hetero.Ord, Data.Hetero |
| ID | Data.Hetero.ID |
| innerAL | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| innerEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| IOPort# | Data.Hetero.PtrEq |
| IsNominal | Data.Hetero.Role, Data.Hetero |
| IsPhantom | Data.Hetero.Role, Data.Hetero |
| IsRepresentational | Data.Hetero.Role, Data.Hetero |
| KnownRole | Data.Hetero.Role, Data.Hetero |
| knownRole | Data.Hetero.Role, Data.Hetero |
| mapHO | Data.Hetero.Ord, Data.Hetero |
| mapSome | Data.Hetero.Some |
| maxAL | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| maxEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| mkSome | Data.Hetero.Some |
| MutableArray# | Data.Hetero.PtrEq |
| MutVar# | Data.Hetero.PtrEq |
| MVar# | Data.Hetero.PtrEq |
| newID | Data.Hetero.ID |
| NomAL | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| NomEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| Nominal | |
| 1 (Data Constructor) | Data.Hetero.Role, Data.Hetero |
| 2 (Type/Class) | Data.Hetero.Role, Data.Hetero, Data.Hetero |
| PhantAL | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| PhantEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| Phantom | |
| 1 (Data Constructor) | Data.Hetero.Role, Data.Hetero |
| 2 (Type/Class) | Data.Hetero.Role, Data.Hetero, Data.Hetero |
| PromptTag# | Data.Hetero.PtrEq |
| reflAL | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| reflEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| ReprAL | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| Representational | |
| 1 (Data Constructor) | Data.Hetero.Role, Data.Hetero |
| 2 (Type/Class) | Data.Hetero.Role, Data.Hetero, Data.Hetero |
| ReprEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| Role | Data.Hetero.Role, Data.Hetero |
| roleEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| RoleKind | Data.Hetero.Role, Data.Hetero |
| sameArray# | Data.Hetero.PtrEq |
| sameChan | Data.Hetero.PtrEq |
| sameIOPort# | Data.Hetero.PtrEq |
| sameMutableArray# | Data.Hetero.PtrEq |
| sameMutVar# | Data.Hetero.PtrEq |
| sameMVar# | Data.Hetero.PtrEq |
| samePromptTag# | Data.Hetero.PtrEq |
| sameSmallArray# | Data.Hetero.PtrEq |
| sameSmallMutableArray# | Data.Hetero.PtrEq |
| sameTBQueue | Data.Hetero.PtrEq |
| sameTChan | Data.Hetero.PtrEq |
| sameTMVar | Data.Hetero.PtrEq |
| sameTQueue | Data.Hetero.PtrEq |
| sameTVar# | Data.Hetero.PtrEq |
| SmallArray# | Data.Hetero.PtrEq |
| SmallMutableArray# | Data.Hetero.PtrEq |
| Some | |
| 1 (Type/Class) | Data.Hetero.Some |
| 2 (Data Constructor) | Data.Hetero.Some |
| Strength | Data.Hetero.Eq, Data.Hetero, Data.Hetero |
| SubNominal | Data.Hetero.Role, Data.Hetero |
| SuperPhantom | Data.Hetero.Role, Data.Hetero |
| symAL | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| symEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| TBQueue | Data.Hetero.PtrEq |
| TChan | Data.Hetero.PtrEq |
| TestCo | |
| 1 (Type/Class) | Data.Hetero.Eq, Data.Hetero |
| 2 (Data Constructor) | Data.Hetero.Eq, Data.Hetero |
| TestEq | |
| 1 (Type/Class) | Data.Hetero.Eq, Data.Hetero |
| 2 (Data Constructor) | Data.Hetero.Eq, Data.Hetero |
| TMVar | Data.Hetero.PtrEq |
| TQueue | Data.Hetero.PtrEq |
| transAL | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| transEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| traverseSome | Data.Hetero.Some |
| TVar# | Data.Hetero.PtrEq |
| vacuousF | Data.Hetero.Void |
| VoidF | Data.Hetero.Void |
| weakenAL | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| weakenALToEx | Data.Hetero.Evidence.AtLeast, Data.Hetero.Evidence, Data.Hetero |
| weakenEx | Data.Hetero.Evidence.Exactly, Data.Hetero.Evidence, Data.Hetero |
| withSome | Data.Hetero.Some |
| withSomeM | Data.Hetero.Some |