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

Index - S

ShowType.Base.Proxy
showsPrecType.Base.Proxy
Singleton 
1 (Type/Class)Type.Data.Num
2 (Data Constructor)Type.Data.Num
3 (Type/Class)Type.Data.Num.Unary
4 (Data Constructor)Type.Data.Num.Unary
5 (Type/Class)Type.Data.Num.Decimal.Digit
6 (Data Constructor)Type.Data.Num.Decimal.Digit
7 (Type/Class)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
8 (Data Constructor)Type.Data.Num.Decimal.Number, Type.Data.Num.Decimal
singleton 
1 (Function)Type.Data.Num
2 (Function)Type.Data.Num.Unary
3 (Function)Type.Data.Num.Decimal.Digit
4 (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 (Type/Class)Type.Data.Num.Unary
3 (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.Num.Decimal.Digit
2 (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