Contents
Index
semiring-num-1.1.0.0: Basic semiring class and instances
Index
<+>
Data.Semiring
<.>
Data.Semiring
Add
1 (Type/Class)
Data.Semiring
2 (Data Constructor)
Data.Semiring
add
Data.Semiring
annihilateL
Test.Semiring
annihilateR
Test.Semiring
BinaryLaws
Test.Semiring
binaryLaws
Test.Semiring
Bottleneck
1 (Type/Class)
Data.Semiring.Numeric
2 (Data Constructor)
Data.Semiring.Numeric
DetectableZero
Data.Semiring
Division
1 (Type/Class)
Data.Semiring.Numeric
2 (Data Constructor)
Data.Semiring.Numeric
Finite
Data.Semiring.Infinite
Free
1 (Type/Class)
Data.Semiring.Free
2 (Data Constructor)
Data.Semiring.Free
getAdd
Data.Semiring
getBottleneck
Data.Semiring.Numeric
getDivision
Data.Semiring.Numeric
getFree
Data.Semiring.Free
getLog
Data.Semiring.Numeric
getMax
Data.Semiring
getMin
Data.Semiring
getMul
Data.Semiring
getPosFrac
Data.Semiring.Numeric
getPosInt
Data.Semiring.Numeric
getViterbi
Data.Semiring.Numeric
getŁukasiewicz
Data.Semiring.Numeric
HasNegativeInfinity
Data.Semiring
,
Data.Semiring.Infinite
HasPositiveInfinity
Data.Semiring
,
Data.Semiring.Infinite
Infinite
Data.Semiring.Infinite
isNegativeInfinity
Data.Semiring
,
Data.Semiring.Infinite
isPositiveInfinity
Data.Semiring
,
Data.Semiring.Infinite
isZero
Data.Semiring
liftFree
Data.Semiring.Free
Log
1 (Type/Class)
Data.Semiring.Numeric
2 (Data Constructor)
Data.Semiring.Numeric
Max
1 (Type/Class)
Data.Semiring
2 (Data Constructor)
Data.Semiring
Min
1 (Type/Class)
Data.Semiring
2 (Data Constructor)
Data.Semiring
Mul
1 (Type/Class)
Data.Semiring
2 (Data Constructor)
Data.Semiring
mul
Data.Semiring
mulAssoc
Test.Semiring
mulDistribL
Test.Semiring
mulDistribR
Test.Semiring
mulId
Test.Semiring
nearTernaryLaws
Test.Semiring
nearUnaryLaws
Test.Semiring
Negative
Data.Semiring.Infinite
NegativeInfinite
Data.Semiring.Infinite
NegativeInfinity
Data.Semiring.Infinite
negativeInfinity
Data.Semiring
,
Data.Semiring.Infinite
NegFinite
Data.Semiring.Infinite
one
Data.Semiring
ordAddLaw
Test.Semiring
ordLaws
Test.Semiring
ordMulLaw
Test.Semiring
plus
Data.Semiring
plusAssoc
Test.Semiring
plusComm
Test.Semiring
plusId
Test.Semiring
plusLaw
Test.Semiring
PosFinite
Data.Semiring.Infinite
PosFrac
1 (Type/Class)
Data.Semiring.Numeric
2 (Data Constructor)
Data.Semiring.Numeric
PosInt
1 (Type/Class)
Data.Semiring.Numeric
2 (Data Constructor)
Data.Semiring.Numeric
Positive
Data.Semiring.Infinite
PositiveInfinite
Data.Semiring.Infinite
PositiveInfinity
Data.Semiring.Infinite
positiveInfinity
Data.Semiring
,
Data.Semiring.Infinite
Semiring
Data.Semiring
star
Data.Semiring
starLaw
Test.Semiring
starLaws
Test.Semiring
StarSemiring
Data.Semiring
TernaryLaws
Test.Semiring
ternaryLaws
Test.Semiring
UnaryLaws
Test.Semiring
unaryLaws
Test.Semiring
unFree
Data.Semiring.Free
Viterbi
1 (Type/Class)
Data.Semiring.Numeric
2 (Data Constructor)
Data.Semiring.Numeric
zero
Data.Semiring
zeroIsZero
Test.Semiring
zeroLaw
Test.Semiring
zeroLaws
Test.Semiring
Łukasiewicz
1 (Type/Class)
Data.Semiring.Numeric
2 (Data Constructor)
Data.Semiring.Numeric