semirings-0.7: two monoids as one, in holy haskimony
Quick Jump
Contents
Index
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