| ||||||||
| ||||||||
| Description | ||||||||
Simple equality and ordering for types. Extended to include common usage cases. Instances should all really be decidable. | ||||||||
| Documentation | ||||||||
| class TBool b => TEq x y b | x y -> b | ||||||||
| ||||||||
| tEq :: TEq x y b => x -> y -> b | ||||||||
| class TBool b => TLt x y b | x y -> b | ||||||||
| ||||||||
| tLt :: TLt x y b => x -> y -> b | ||||||||
| class TCGe Closure x y b => TGe x y b | x y -> b | ||||||||
| ||||||||
| tGe :: TGe x y b => x -> y -> b | ||||||||
| class TBool b => TLe x y b | x y -> b | ||||||||
| ||||||||
| tLe :: TGt x y b => x -> y -> b | ||||||||
| class TBool b => TGt x y b | x y -> b | ||||||||
| ||||||||
| tGt :: TGt x y b => x -> y -> b | ||||||||
| Produced by Haddock version 0.8 |
Instances