Index - S
| 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.Unary |
| 2 (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 |