Contents
Index
semirings-0.3.1.2: two monoids as one, in holy haskimony
Index
*
Data.Semiring
+
Data.Semiring
-
Data.Semiring
Add
1 (Type/Class)
Data.Semiring
2 (Data Constructor)
Data.Semiring
aplus
Data.Star
EProxy
1 (Type/Class)
Data.Semiring.Tropical
2 (Data Constructor)
Data.Semiring.Tropical
Extrema
Data.Semiring.Tropical
Extremum
Data.Semiring.Tropical
extremum
Data.Semiring.Tropical
foldMapP
Data.Semiring
foldMapT
Data.Semiring
GenericSemiring
1 (Type/Class)
Data.Semiring.Generic
2 (Data Constructor)
Data.Semiring.Generic
getAdd
Data.Semiring
getIntMap
Data.Semiring
getIntSet
Data.Semiring
getMul
Data.Semiring
gnegate
Data.Semiring.Generic
gnegate'
Data.Semiring.Generic
gone
Data.Semiring.Generic
gone'
Data.Semiring.Generic
gplus
Data.Semiring.Generic
gplus'
Data.Semiring.Generic
GRing
Data.Semiring.Generic
GSemiring
Data.Semiring.Generic
gtimes
Data.Semiring.Generic
gtimes'
Data.Semiring.Generic
gzero
Data.Semiring.Generic
gzero'
Data.Semiring.Generic
Infinity
Data.Semiring.Tropical
IntMapOf
1 (Type/Class)
Data.Semiring
2 (Data Constructor)
Data.Semiring
IntSetOf
1 (Type/Class)
Data.Semiring
2 (Data Constructor)
Data.Semiring
Maxima
Data.Semiring.Tropical
Minima
Data.Semiring.Tropical
minus
Data.Semiring
Mul
1 (Type/Class)
Data.Semiring
2 (Data Constructor)
Data.Semiring
negate
Data.Semiring
one
Data.Semiring
plus
Data.Semiring
product
Data.Semiring
product'
Data.Semiring
Ring
Data.Semiring
Semiring
Data.Semiring
Star
Data.Star
star
Data.Star
sum
Data.Semiring
sum'
Data.Semiring
times
Data.Semiring
Tropical
1 (Type/Class)
Data.Semiring.Tropical
2 (Data Constructor)
Data.Semiring.Tropical
unwrapNum
Data.Semiring
WrapNum
Data.Semiring
WrappedNum
Data.Semiring
zero
Data.Semiring
^
Data.Semiring