monoids-0.1.33: 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) => Ringoid m
class Ringoid m => LeftSemiNearRing m
class Ringoid m => RightSemiNearRing m
Documentation
module Data.Monoid.Multiplicative
class (Multiplicative m, Monoid m) => Ringoid m Source
0 annihilates times
show/hide Instances
Ringoid BoolRing
Ringoid Natural
Monoid m => Ringoid ([] m)
Monoid m => Ringoid (Maybe m)
Ringoid m => Ringoid (Dual m)
Monoid m => Ringoid (Seq m)
Ringoid m => Ringoid (Self m)
Ringoid m => Ringoid (FromString m)
Ord a => Ringoid (Priority a)
(Bounded a, Ord a) => Ringoid (Order a)
(Ord a, Num a) => Ringoid (Tropical a)
Num a => Ringoid (FromNum a)
(Bounded a, Enum a) => Ringoid (BitSet a)
(Measured v m, Monoid m) => Ringoid (FingerTree v m)
Ringoid m => Ringoid (ReducedBy m s)
(Modular s a, Integral a) => Ringoid (Mod a s)
(Alternative f, Monoid a) => Ringoid (Alt f a)
(MonadPlus m, Monoid a) => Ringoid (MonadSum m a)
(MonadPlus m, Monoid w, Monoid n) => Ringoid (WriterT w m n)
(MonadPlus m, Monoid w, Monoid n) => Ringoid (WriterT w m n)
(MonadPlus m, Monoid n) => Ringoid (StateT s m n)
(MonadPlus m, Monoid n) => Ringoid (StateT s m n)
(MonadPlus m, Monoid n) => Ringoid (ReaderT e m n)
(Ringoid r, Module r m) => Ringoid (D s r m)
(Stream s m t, Monoid a) => Ringoid (ParsecT s u m a)
(MonadPlus m, Monoid w, Monoid n) => Ringoid (RWST r w s m n)
(MonadPlus m, Monoid w, Monoid n) => Ringoid (RWST r w s m n)
class Ringoid m => LeftSemiNearRing m Source
a * (b + c) = (a * b) + (a * c)
show/hide Instances
class Ringoid m => RightSemiNearRing m Source
(a + b) * c = (a * c) + (b * c)
show/hide Instances
Produced by Haddock version 2.4.2