Index - =
| =###= | Type.Class.Higher |
| =##= | Type.Class.Higher |
| =#= | Type.Class.Higher |
| == | Type.Class.Witness, Type.Family.Bool |
| ==> | |
| 1 (Type/Class) | Type.Family.Bool |
| 2 (Function) | Data.Type.Boolean |
| =?= | Type.Class.Witness |
| =??= | Type.Class.Witness |
type-combinators-0.2.4.3: A collection of data types for type-level programming