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

Index - P

PartialPrelude.Type
Partial1Prelude.Type
Partial2Prelude.Type
Partial3Prelude.Type
Partial4Prelude.Type
Pred 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
ProxyPrelude.Type.Value, Prelude.Type.Families, Prelude.Type
proxyPrelude.Type.Value, Prelude.Type.Families, Prelude.Type