semigroupoids-5.2.1: Semigroupoids: Category sans id

Data.Functor.Plus

Description

Synopsis

# Documentation

class Alt f => Plus f where #

Laws:

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

If extended to an Alternative then zero should equal empty.

Minimal complete definition

zero

Methods

zero :: f a #

Instances

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