monoids-0.1.2: Lots of MonoidsSource codeContentsIndex
Data.Monoid.Reducer
Documentation
module Data.Monoid
class Monoid m => Reducer c m whereSource
Methods
unit :: c -> mSource
snoc :: m -> c -> mSource
cons :: c -> m -> mSource
show/hide Instances
Reducer Bool All
Reducer Bool All
Reducer Bool Any
Reducer Bool Any
Reducer Int IntSet
Reducer Int IntSet
Reducer c ()
Reducer Char (SourcePosition file)
Reducer Char (SourcePosition file)
Reducer Char m => Reducer Char (Unlined m)
Reducer Char m => Reducer Char (Unlined m)
Reducer Char m => Reducer Char (Unspaced m)
Reducer Char m => Reducer Char (Unspaced m)
Reducer Char m => Reducer Char (Lines m)
Reducer Char m => Reducer Char (Lines m)
Reducer Char m => Reducer Char (Words m)
Reducer Char m => Reducer Char (Words m)
Reducer Char m => Reducer Char (FromString m)
Reducer Char m => Reducer Char (FromString m)
Num a => Reducer Integer (FromNum a)
Num a => Reducer Integer (FromNum a)
CharReducer m => Reducer Word8 (UTF8 m)
CharReducer m => Reducer Word8 (UTF8 m)
Ord a => Reducer a (Set a)
Reducer a (Seq a)
Reducer a (Last a)
Reducer a (First a)
Num a => Reducer a (Product a)
Num a => Reducer a (Sum a)
Monoid a => Reducer a (Dual a)
Reducer c ([] c)
Reducer c (Unit c)
(Ord a, Bounded a) => Reducer a (Min a)
(Ord a, Bounded a) => Reducer a (Max a)
Monoid m => Reducer m (STM m)
Monoid m => Reducer m (IO m)
Monoid m => Reducer m (Identity m)
Ord a => Reducer a (Priority a)
(Bounded a, Ord a) => Reducer a (Order a)
Measured v a => Reducer a (FingerTree v a)
(Reducer c m, Reducer c n) => Reducer c ((,) m n)
(Monoid w, Monoid m) => Reducer m (Writer w m)
(Monoid w, Monoid m) => Reducer m (Writer w m)
Monoid m => Reducer m (ST s m)
Monoid m => Reducer m (ST s m)
Monoid m => Reducer m (State s m)
Monoid m => Reducer m (State s m)
Monoid m => Reducer m (Reader e m)
Monoid m => Reducer m (Either e m)
Monoid m => Reducer m (Cont r m)
(Reducer c m, Reducer c n, Reducer c o) => Reducer c ((,,) m n o)
(Monad m, Monoid w, Monoid n) => Reducer n (WriterT w m n)
(Monad m, Monoid w, Monoid n) => Reducer n (WriterT w m n)
(Monad m, Monoid n) => Reducer n (StateT s m n)
(Monad m, Monoid n) => Reducer n (StateT s m n)
(Monad m, Monoid n) => Reducer n (ReaderT e m n)
(Monad m, Monoid n) => Reducer n (EitherT e m n)
(Monad m, Monoid n) => Reducer n (ContT r m n)
(Reducer c m, Reducer c n, Reducer c o, Reducer c p) => Reducer c ((,,,) m n o p)
(Monoid w, Monoid m) => Reducer m (RWS r w s m)
(Monoid w, Monoid m) => Reducer m (RWS r w s m)
(Monad m, Monoid w, Monoid n) => Reducer n (RWST r w s m n)
(Monad m, Monoid w, Monoid n) => Reducer n (RWST r w s m n)
Monad m => Reducer (m a) (Action m)
Applicative f => Reducer (f a) (Traversal f)
Reducer (Maybe a) (Last a)
Reducer (Maybe a) (Last a)
Reducer (Maybe a) (First a)
Reducer (Maybe a) (First a)
Ord a => Reducer (Maybe a) (MinPriority a)
Ord a => Reducer (Maybe a) (MinPriority a)
Ord a => Reducer (Maybe a) (MaxPriority a)
Ord a => Reducer (Maybe a) (MaxPriority a)
Monoid m => Reducer (STM m) (IO m)
Monoid m => Reducer (STM m) (IO m)
Monoid m => Reducer (IntMap m) (UnionWith m)
Monoid m => Reducer (IntMap m) (UnionWith m)
Ord a => Reducer (MinPriority a) (Priority a)
Ord a => Reducer (MinPriority a) (Priority a)
Ord a => Reducer (MaxPriority a) (Priority a)
Ord a => Reducer (MaxPriority a) (Priority a)
(Monad m, Monoid n) => Reducer (m n) (ActionWith m n)
MonadPlus m => Reducer (m a) (MonadSum m a)
(Applicative f, Monoid n) => Reducer (f n) (TraversalWith f n)
Alternative f => Reducer (f a) (Alternate f a)
(Monad m, Monoid w, Monoid n) => Reducer (m n) (WriterT w m n)
(Monad m, Monoid w, Monoid n) => Reducer (m n) (WriterT w m n)
(Monad m, Monoid n) => Reducer (m n) (StateT s m n)
(Monad m, Monoid n) => Reducer (m n) (StateT s m n)
(Monad m, Monoid n) => Reducer (m n) (ReaderT e m n)
(Monad m, Monoid n) => Reducer (m n) (EitherT e m n)
(Monad m, Monoid n) => Reducer (m n) (ContT r m n)
(Monad m, Monoid w, Monoid n) => Reducer (m n) (RWST r w s m n)
(Monad m, Monoid w, Monoid n) => Reducer (m n) (RWST r w s m n)
Reducer c m => Reducer (WithReducer c m) m
Reducer (a -> a) (Endo a)
Reducer (a -> a) (Endo a)
Reducer ((,) Int v) (IntMap v)
Reducer ((,) Int v) (IntMap v)
Monoid m => Reducer (ST RealWorld m) (IO m)
Monoid m => Reducer (ST RealWorld m) (IO m)
Ord k => Reducer ((,) k v) (Map k v)
Ord k => Reducer ((,) k v) (Map k v)
(Ord k, Monoid m) => Reducer (Map k m) (UnionWith k m)
(Ord k, Monoid m) => Reducer (Map k m) (UnionWith k m)
foldMapReduce :: (Foldable f, Reducer e m) => (a -> e) -> f a -> mSource
foldReduce :: (Foldable f, Reducer e m) => f e -> mSource
Produced by Haddock version 2.4.2