Contents
Index
semiring-num-0.9.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
annihilate
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
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
HasPositiveInfinity
Data.Semiring
Infinite
Data.Semiring
isNegativeInfinity
Data.Semiring
isPositiveInfinity
Data.Semiring
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
NegativeInfinite
Data.Semiring
NegativeInfinity
Data.Semiring
negativeInfinity
Data.Semiring
NegFinite
Data.Semiring
one
Data.Semiring
ordLaws
Test.Semiring
plus
Data.Semiring
plusAssoc
Test.Semiring
plusComm
Test.Semiring
plusId
Test.Semiring
plusLaw
Test.Semiring
PosFinite
Data.Semiring
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
PositiveInfinite
Data.Semiring
PositiveInfinity
Data.Semiring
positiveInfinity
Data.Semiring
Semiring
Data.Semiring
star
Data.Semiring
starLaw
Test.Semiring
starLaws
Test.Semiring
StarSemiring
Data.Semiring
ternaryLaws
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