tfp-1.0.2: Type-level integers, booleans, lists using type families

Index - S

ShowType.Base.Proxy
showsPrecType.Base.Proxy
Singleton 
1 (Type/Class)Type.Data.Bool
2 (Type/Class)Type.Data.Num
3 (Data Constructor)Type.Data.Num
4 (Type/Class)Type.Data.Num.Unary
5 (Data Constructor)Type.Data.Num.Unary
6 (Type/Class)Type.Data.Num.Decimal.Digit
7 (Data Constructor)Type.Data.Num.Decimal.Digit
8 (Type/Class)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
9 (Data Constructor)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
singleton 
1 (Function)Type.Data.Bool
2 (Function)Type.Data.Num
3 (Function)Type.Data.Num.Unary
4 (Function)Type.Data.Num.Decimal.Digit
5 (Function)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
singletonFromProxy 
1 (Function)Type.Data.Num
2 (Function)Type.Data.Num.Unary
3 (Function)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
SizedIntData.SizedInt
SizedWordData.SizedWord
subType.Data.Num
Succ 
1 (Type/Class)Type.Data.Num
2 (Data Constructor)Type.Data.Num.Unary
3 (Type/Class)Type.Data.Num.Unary
4 (Type/Class)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
succ 
1 (Function)Type.Data.Num
2 (Function)Type.Data.Num.Unary
switch 
1 (Function)Type.Data.Bool
2 (Function)Type.Data.Num.Decimal.Digit
3 (Function)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
switchDigitsType.Data.Num.Decimal.Number, Type.Data.Num.Decimal
switchNat 
1 (Function)Type.Data.Num.Unary
2 (Function)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
switchNegType.Data.Num.Decimal.Number, Type.Data.Num.Decimal
switchPos 
1 (Function)Type.Data.Num.Unary
2 (Function)Type.Data.Num.Decimal.Digit
3 (Function)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal