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

Index

!! 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
$ 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
&& 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
* 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
+ 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
++ 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
-->Prelude.Type
.&. 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
/= 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
< 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
<= 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
== 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
> 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
>= 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Abs 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Add3Prelude.Type.Families
AddWithCarry 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
AddWithCarry_2Prelude.Type.Families
AddWithCarry_3Prelude.Type.Families
AllPrelude.Type
AlternativePrelude.Type
And 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
AnyPrelude.Type
Apply1Prelude.Type
Apply2Prelude.Type
Apply3Prelude.Type
Apply4Prelude.Type
AsKindOf 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
At_1Prelude.Type.Families
BitwiseAnd_2Prelude.Type.Families
BoolPrelude.Type.Families, Prelude.Type
BreakPrelude.Type
CasePrelude.Type
Case'Prelude.Type
CombineOrderingPrelude.Type.Families
Compare 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Compare0Prelude.Type.Families
Complement 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Compose 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Compose1Prelude.Type
Compose2Prelude.Type
Compose3Prelude.Type
Compose4Prelude.Type
Concat 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
ConcatMapPrelude.Type
ConstPrelude.Type
Const1Prelude.Type
Const2Prelude.Type
Const3Prelude.Type
Const4Prelude.Type
DigitPrelude.Type.Families
Drop 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
DropWhilePrelude.Type
EitherPrelude.Type.Families, Prelude.Type
Elem 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Elem_1Prelude.Type.Families
EnumFromThenToPrelude.Type
EnumFromTo 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
EnumFromToByPrelude.Type
EnumFromTo_1Prelude.Type.Families
EQPrelude.Type.Families, Prelude.Type
ERROR 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Error 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Even 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
FalsePrelude.Type.Families, Prelude.Type
Flip 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Flip1Prelude.Type
Flip2Prelude.Type
Flip3Prelude.Type
Flip4Prelude.Type
FoldLPrelude.Type
FoldL1Prelude.Type
FoldRPrelude.Type
FoldR1Prelude.Type
FromEnum 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
FromOrderingPrelude.Type.Families
Fst 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Gcd 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Gcd'Prelude.Type
Gcd_1Prelude.Type.Families
Gcd_2Prelude.Type.Families
Gcd_3Prelude.Type.Families
GTPrelude.Type.Families, Prelude.Type
Head 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
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
JustPrelude.Type.Families, Prelude.Type
Kind 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
LambdaPrelude.Type
Lambda1Prelude.Type
Lambda2Prelude.Type
Lambda3Prelude.Type
Lambda4Prelude.Type
Last 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
LeftPrelude.Type.Families, Prelude.Type
Length 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
LTPrelude.Type.Families, Prelude.Type
MainPrelude.Type.Value, Prelude.Type.Families, Prelude.Type
mainPrelude.Type.Value, Prelude.Type.Families, Prelude.Type
Main'Prelude.Type.Value, Prelude.Type.Families, Prelude.Type
Main''Prelude.Type.Value, Prelude.Type.Families, Prelude.Type
MapPrelude.Type
MatchPrelude.Type.Match, Prelude.Type
Max 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
MaxBound 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
MaximumPrelude.Type
MaybePrelude.Type.Families, Prelude.Type
Min 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
MinBound 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Minus 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
NatPrelude.Type.Families, Prelude.Type
Negate 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Not 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
NotElem 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
NothingPrelude.Type.Families, Prelude.Type
Null 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
OPrelude.Type
Odd 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
OnePrelude.Type.Integer, Prelude.Type.Families, Prelude.Type
OnesPrelude.Type.Integer, Prelude.Type.Families, Prelude.Type
Or 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
OrderingPrelude.Type.Families, Prelude.Type
OtherwisePrelude.Type
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
Quot 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
QuotRem 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
QuotRem' 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
QuotRem'_2Prelude.Type.Families
QuotRem'_3Prelude.Type.Families
QuotRem'_4Prelude.Type.Families
Rem 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Replicate 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Replicate_1Prelude.Type.Families
RightPrelude.Type.Families, Prelude.Type
ScanFold1Prelude.Type
ScanLPrelude.Type
ScanL1Prelude.Type
ScanRPrelude.Type
ScanR1Prelude.Type
Show 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Shows 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
ShowsIntegerPrelude.Type
ShowsInteger_2Prelude.Type.Families
ShowsTail 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Signum 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Signum'Prelude.Type
Snd 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
SpanPrelude.Type
SplitAtPrelude.Type
StarKind 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Subtract 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Succ 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
SymbolPrelude.Type.Families, Prelude.Type
T 
1 (Type/Class)Prelude.Type.Value, Prelude.Type.Families, Prelude.Type
2 (Data Constructor)Prelude.Type.Value, Prelude.Type.Families, Prelude.Type
Tail 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
TakePrelude.Type
TakeWhilePrelude.Type
ToEnum 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
TruePrelude.Type.Families, Prelude.Type
TypeEqPrelude.Type
TypeEq'Prelude.Type
TypeEq''Prelude.Type
UndefinedPrelude.Type.Families
UntilPrelude.Type
ValuePrelude.Type.Value, Prelude.Type.Families, Prelude.Type
valuePrelude.Type.Value, Prelude.Type.Families, Prelude.Type
Xor 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type
Xor_2Prelude.Type.Families
ZeroPrelude.Type.Integer, Prelude.Type.Families, Prelude.Type
ZerosPrelude.Type.Integer, Prelude.Type.Families, Prelude.Type
|| 
1 (Type/Class)Prelude.Type.Families
2 (Type/Class)Prelude.Type