data-fin-0.1.1.3: Finite totally ordered sets

Index

:.Data.Number.Fin.TyDecimal
AddData.Number.Fin.TyDecimal
addData.Number.Fin.TyDecimal
assert_NatLEData.Number.Fin.TyDecimal
CompareData.Number.Fin.TyDecimal
compareData.Number.Fin.TyDecimal
D0Data.Number.Fin.TyDecimal
D1Data.Number.Fin.TyDecimal
D2Data.Number.Fin.TyDecimal
D3Data.Number.Fin.TyDecimal
D4Data.Number.Fin.TyDecimal
D5Data.Number.Fin.TyDecimal
D6Data.Number.Fin.TyDecimal
D7Data.Number.Fin.TyDecimal
D8Data.Number.Fin.TyDecimal
D9Data.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
maxData.Number.Fin.TyDecimal
MaxBoundInt16Data.Number.Fin.TyDecimal
MaxBoundInt32Data.Number.Fin.TyDecimal
MaxBoundInt64Data.Number.Fin.TyDecimal
MaxBoundInt8Data.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
MaxBoundWord16Data.Number.Fin.TyDecimal
MaxBoundWord32Data.Number.Fin.TyDecimal
MaxBoundWord64Data.Number.Fin.TyDecimal
MaxBoundWord8Data.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
minData.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
minusData.Number.Fin.TyDecimal
NatData.Number.Fin.TyDecimal
nat0Data.Number.Fin.TyDecimal
nat1Data.Number.Fin.TyDecimal
nat2Data.Number.Fin.TyDecimal
nat3Data.Number.Fin.TyDecimal
nat4Data.Number.Fin.TyDecimal
nat5Data.Number.Fin.TyDecimal
nat6Data.Number.Fin.TyDecimal
nat7Data.Number.Fin.TyDecimal
nat8Data.Number.Fin.TyDecimal
nat9Data.Number.Fin.TyDecimal
NatLEData.Number.Fin.TyDecimal
NatLTData.Number.Fin.TyDecimal
NatNE0Data.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
predData.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
subtractData.Number.Fin.TyDecimal
SuccData.Number.Fin.TyDecimal
succData.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