semigroupoids-5.0.0.4: Semigroupoids: Category sans id

Copyright(C) 2011-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

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

zero :: f a Source

Instances

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