Copyright	(C) 2011-2015 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Data.Functor.Plus

Description

Synopsis

Documentation

class Alt f => Plus f where Source

Laws:

zero <!> m = m
m <!> zero = m

If extended to an Alternative then zero should equal empty.

Methods

Instances

Plus []
Plus IO
Plus Maybe
Plus IntMap
Plus Seq
Plus Option
MonadPlus m => Plus (WrappedMonad m)
Plus f => Plus (IdentityT f)
Ord k => Plus (Map k)
Plus f => Plus (Reverse f)
Plus f => Plus (Backwards f)
(Bind f, Monad f) => Plus (MaybeT f)
(Apply f, Applicative f) => Plus (ListT f)
Plus f => Plus (Lift f)
Alternative f => Plus (WrappedApplicative f)
ArrowPlus a => Plus (WrappedArrow a b)
(Plus f, Plus g) => Plus (Product f g)
(Plus f, Functor g) => Plus (Compose f g)
Plus f => Plus (WriterT w f)
Plus f => Plus (WriterT w f)
(Bind f, Monad f, Error e) => Plus (ErrorT e f)
(Bind f, Monad f, Semigroup e, Monoid e) => Plus (ExceptT e f)
Plus f => Plus (StateT e f)
Plus f => Plus (StateT e f)
Plus f => Plus (ReaderT e f)
Plus f => Plus (Static f a)
Plus f => Plus (RWST r w s f)
Plus f => Plus (RWST r w s f)