:. | 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 |