type-combinators-0.2.4.3: A collection of data types for type-level programming

Index - <

<Type.Family.Nat
<#Type.Class.Higher
<##Type.Class.Higher
<###Type.Class.Higher
<$> 
1 (Type/Class)Type.Family.Tuple
2 (Type/Class)Type.Family.List
3 (Type/Class)Type.Family.Either
4 (Type/Class)Type.Family.Maybe
<&> 
1 (Type/Class)Type.Family.Tuple
2 (Type/Class)Type.Family.List
3 (Type/Class)Type.Family.Either
4 (Type/Class)Type.Family.Maybe
<*> 
1 (Type/Class)Type.Family.Tuple
2 (Type/Class)Type.Family.List
3 (Type/Class)Type.Family.Either
4 (Type/Class)Type.Family.Maybe
<=Type.Family.Nat
<=#Type.Class.Higher
<=##Type.Class.Higher
<=###Type.Class.Higher
<==> 
1 (Type/Class)Type.Family.Bool
2 (Function)Data.Type.Boolean
<>Type.Family.Monoid
<|> 
1 (Type/Class)Type.Family.Either
2 (Type/Class)Type.Family.Maybe