semirings-0.7: two monoids as one, in holy haskimony

Index

* | Data.Semiring
+ | Data.Semiring
- | Data.Semiring
/ | Data.Field
abs | Data.Ring.Ordered
Add |
1 (Type/Class) | Data.Semiring
2 (Data Constructor) | Data.Semiring
aplus | Data.Star
coprime | Data.Euclidean
degree | Data.Euclidean
Directed |
1 (Type/Class) | Data.Semiring.Directed
2 (Data Constructor) | Data.Semiring.Directed
divide |
1 (Function) | Data.Euclidean
2 (Function) | Data.Field
EProxy |
1 (Type/Class) | Data.Semiring.Tropical
2 (Data Constructor) | Data.Semiring.Tropical
Euclidean | Data.Euclidean
Extrema | Data.Semiring.Tropical
Extremum | Data.Semiring.Tropical
extremum | Data.Semiring.Tropical
Field | Data.Euclidean, Data.Field
foldMapP | Data.Semiring
foldMapT | Data.Semiring
fromInteger | Data.Semiring
fromIntegral | Data.Semiring
fromNatural | Data.Semiring
fromRational | Data.Field
gcd | Data.Euclidean
GcdDomain | Data.Euclidean
gcdExt | Data.Euclidean
GenericSemiring |
1 (Type/Class) | Data.Semiring.Generic
2 (Data Constructor) | Data.Semiring.Generic
getAdd | Data.Semiring
getDirected | Data.Semiring.Directed
getIntMap | Data.Semiring
getIntSet | Data.Semiring
getMod2 | Data.Semiring
getModular | Data.Ring.Ordered
getMul | Data.Semiring
gfromNatural | Data.Semiring.Generic
gfromNatural' | Data.Semiring.Generic
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
isOne | Data.Semiring
isZero | Data.Semiring
lcm | Data.Euclidean
Maxima | Data.Semiring.Tropical
Minima | Data.Semiring.Tropical
minus | Data.Semiring
Mod2 |
1 (Type/Class) | Data.Semiring
2 (Data Constructor) | Data.Semiring
Modular |
1 (Type/Class) | Data.Ring.Ordered
2 (Data Constructor) | Data.Ring.Ordered
Mul |
1 (Type/Class) | Data.Semiring
2 (Data Constructor) | Data.Semiring
negate | Data.Semiring
one | Data.Semiring
OrderedRing | Data.Ring.Ordered
plus | Data.Semiring
product | Data.Semiring
product' | Data.Semiring
quot | Data.Euclidean
quotRem | Data.Euclidean
recip | Data.Field
rem | Data.Euclidean
Ring | Data.Semiring
Semiring | Data.Semiring
signum | Data.Ring.Ordered
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
unwrapFractional | Data.Euclidean
unwrapIntegral | Data.Euclidean
unwrapNum | Data.Semiring
WrapFractional | Data.Euclidean
WrapIntegral | Data.Euclidean
WrapNum | Data.Semiring
WrappedFractional | Data.Euclidean
WrappedIntegral | Data.Euclidean
WrappedNum | Data.Semiring
zero | Data.Semiring
^ | Data.Semiring