semigroupoids-3.0.1: Haskell 98 semigroupoids: Category sans id

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellNone

Data.Functor.Plus

Description

 

Synopsis

Documentation

class Alt f => Plus f whereSource

Laws:

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

If extended to an Alternative then zero should equal empty.

Methods

zero :: f aSource

Instances

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