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.2: A collection of data types for type-level programming