| :. | Data.Number.Fin.TyDecimal |
| Add | Data.Number.Fin.TyDecimal |
| add | Data.Number.Fin.TyDecimal |
| assert_NatLE | Data.Number.Fin.TyDecimal |
| Compare | Data.Number.Fin.TyDecimal |
| compare | Data.Number.Fin.TyDecimal |
| D0 | Data.Number.Fin.TyDecimal |
| D1 | Data.Number.Fin.TyDecimal |
| D2 | Data.Number.Fin.TyDecimal |
| D3 | Data.Number.Fin.TyDecimal |
| D4 | Data.Number.Fin.TyDecimal |
| D5 | Data.Number.Fin.TyDecimal |
| D6 | Data.Number.Fin.TyDecimal |
| D7 | Data.Number.Fin.TyDecimal |
| D8 | Data.Number.Fin.TyDecimal |
| D9 | Data.Number.Fin.TyDecimal |
| EQ_ | Data.Number.Fin.TyDecimal |
| Fin | |
| 1 (Type/Class) | Data.Number.Fin.Int8 |
| 2 (Type/Class) | Data.Number.Fin.Int16 |
| 3 (Type/Class) | Data.Number.Fin.Int32 |
| 4 (Type/Class) | Data.Number.Fin.Int64 |
| 5 (Type/Class) | Data.Number.Fin.Integer, Data.Number.Fin |
| fplus | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| fromFin | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| GT_ | Data.Number.Fin.TyDecimal |
| LT_ | Data.Number.Fin.TyDecimal |
| max | Data.Number.Fin.TyDecimal |
| MaxBoundInt16 | Data.Number.Fin.TyDecimal |
| MaxBoundInt32 | Data.Number.Fin.TyDecimal |
| MaxBoundInt64 | Data.Number.Fin.TyDecimal |
| MaxBoundInt8 | Data.Number.Fin.TyDecimal |
| maxBoundOf | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| MaxBoundWord16 | Data.Number.Fin.TyDecimal |
| MaxBoundWord32 | Data.Number.Fin.TyDecimal |
| MaxBoundWord64 | Data.Number.Fin.TyDecimal |
| MaxBoundWord8 | Data.Number.Fin.TyDecimal |
| maxView | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| maxViewLE | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| min | Data.Number.Fin.TyDecimal |
| minBoundOf | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| minus | Data.Number.Fin.TyDecimal |
| Nat | Data.Number.Fin.TyDecimal |
| nat0 | Data.Number.Fin.TyDecimal |
| nat1 | Data.Number.Fin.TyDecimal |
| nat2 | Data.Number.Fin.TyDecimal |
| nat3 | Data.Number.Fin.TyDecimal |
| nat4 | Data.Number.Fin.TyDecimal |
| nat5 | Data.Number.Fin.TyDecimal |
| nat6 | Data.Number.Fin.TyDecimal |
| nat7 | Data.Number.Fin.TyDecimal |
| nat8 | Data.Number.Fin.TyDecimal |
| nat9 | Data.Number.Fin.TyDecimal |
| NatLE | Data.Number.Fin.TyDecimal |
| NatLT | Data.Number.Fin.TyDecimal |
| NatNE0 | Data.Number.Fin.TyDecimal |
| plus | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| pred | Data.Number.Fin.TyDecimal |
| predView | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| showFinType | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| showsFinType | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| subtract | Data.Number.Fin.TyDecimal |
| Succ | Data.Number.Fin.TyDecimal |
| succ | Data.Number.Fin.TyDecimal |
| thick | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| thin | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| toFin | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| toFinCPS | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| toFinProxy | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| unplus | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| weaken | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| weakenLE | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| weakenPlus | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| widen | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| widenLE | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |
| widenPlus | |
| 1 (Function) | Data.Number.Fin.Int8 |
| 2 (Function) | Data.Number.Fin.Int16 |
| 3 (Function) | Data.Number.Fin.Int32 |
| 4 (Function) | Data.Number.Fin.Int64 |
| 5 (Function) | Data.Number.Fin.Integer, Data.Number.Fin |