type-prelude-0.1: Partial port of prelude to the type level. Requires GHC 7.6.1.

Index - I

IPrelude.Type.Integer, Prelude.Type.Families, Prelude.Type
Id 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
If 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Init 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
IntegerPrelude.Type.Integer, Prelude.Type.Families, Prelude.Type
IntegerConsPrelude.Type.Integer, Prelude.Type.Families, Prelude.Type
IntegerEndPrelude.Type.Families
IntegerEnd2Prelude.Type.Families
IntegerEqualPrelude.Type.Families
IntegerHeadPrelude.Type.Integer, Prelude.Type.Families, Prelude.Type
IntegerTailPrelude.Type.Integer, Prelude.Type.Families, Prelude.Type
IsZeroPrelude.Type.Families