monoids-0.1.31: Monoids, specialized containers and a general map/reduce frameworkSource codeContentsIndex
Data.Ring.Semi.Near
Portabilityportable (instances use MPTCs)
Stabilityexperimental
Maintainerekmett@gmail.com
Description

Defines left- and right- seminearrings. Every MonadPlus wrapped around a Monoid qualifies due to the distributivity of (>>=) over mplus.

See http://conway.rutgers.edu/~ccshan/wiki/blog/posts/WordNumbers1/

Synopsis
module Data.Monoid.Multiplicative
class (Multiplicative m, Monoid m) => LeftSemiNearRing m
class (Multiplicative m, Monoid m) => RightSemiNearRing m
Documentation
module Data.Monoid.Multiplicative
class (Multiplicative m, Monoid m) => LeftSemiNearRing m Source
a * (b + c) = (a * b) + (a * c)
show/hide Instances
class (Multiplicative m, Monoid m) => RightSemiNearRing m Source
(a + b) * c = (a * c) + (b * c)
show/hide Instances
Produced by Haddock version 2.4.2