Show | Type.Base.Proxy |
showsPrec | Type.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 |
SizedInt | Data.SizedInt |
SizedWord | Data.SizedWord |
sub | Type.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 |
switchDigits | Type.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 |
switchNeg | Type.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 |