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	Trustworthy
Language	Haskell98

Data.Functor.Plus

Description

Synopsis

class Alt f => Plus f where
- zero :: f a
module Data.Functor.Alt

Documentation

class Alt f => Plus f where #

Laws:

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

If extended to an Alternative then zero should equal empty.

Methods

zero :: f a #

Instances

Plus [] #
Instance details Defined in Data.Functor.Plus Methods zero :: [a] #
Plus Maybe #
Instance details Defined in Data.Functor.Plus Methods zero :: Maybe a #
Plus IO #
Instance details Defined in Data.Functor.Plus Methods zero :: IO a #
Plus Option #
Instance details Defined in Data.Functor.Plus Methods zero :: Option a #
Plus First #
Instance details Defined in Data.Functor.Plus Methods zero :: First a #
Plus Last #
Instance details Defined in Data.Functor.Plus Methods zero :: Last a #
Plus IntMap #
Instance details Defined in Data.Functor.Plus Methods zero :: IntMap a #
Plus Seq #
Instance details Defined in Data.Functor.Plus Methods zero :: Seq a #
Plus (U1 :: Type -> Type) #
Instance details Defined in Data.Functor.Plus Methods zero :: U1 a #
MonadPlus m => Plus (WrappedMonad m) #
Instance details Defined in Data.Functor.Plus Methods zero :: WrappedMonad m a #
Plus (Proxy :: Type -> Type) #
Instance details Defined in Data.Functor.Plus Methods zero :: Proxy a #
Ord k => Plus (Map k) #
Instance details Defined in Data.Functor.Plus Methods zero :: Map k a #
Plus f => Plus (Lift f) #
Instance details Defined in Data.Functor.Plus Methods zero :: Lift f a #
(Bind f, Monad f) => Plus (MaybeT f) #
Instance details Defined in Data.Functor.Plus Methods zero :: MaybeT f a #
(Apply f, Applicative f) => Plus (ListT f) #
Instance details Defined in Data.Functor.Plus Methods zero :: ListT f a #
Alternative f => Plus (WrappedApplicative f) #
Instance details Defined in Data.Functor.Plus Methods zero :: WrappedApplicative f a #
Plus f => Plus (Rec1 f) #
Instance details Defined in Data.Functor.Plus Methods zero :: Rec1 f a #
ArrowPlus a => Plus (WrappedArrow a b) #
Instance details Defined in Data.Functor.Plus Methods zero :: WrappedArrow a b a0 #
Plus f => Plus (IdentityT f) #
Instance details Defined in Data.Functor.Plus Methods zero :: IdentityT f a #
Plus f => Plus (Reverse f) #
Instance details Defined in Data.Functor.Plus Methods zero :: Reverse f a #
Plus f => Plus (WriterT w f) #
Instance details Defined in Data.Functor.Plus Methods zero :: WriterT w f a #
Plus f => Plus (WriterT w f) #
Instance details Defined in Data.Functor.Plus Methods zero :: WriterT w f a #
Plus f => Plus (StateT e f) #
Instance details Defined in Data.Functor.Plus Methods zero :: StateT e f a #
Plus f => Plus (StateT e f) #
Instance details Defined in Data.Functor.Plus Methods zero :: StateT e f a #
Plus f => Plus (ReaderT e f) #
Instance details Defined in Data.Functor.Plus Methods zero :: ReaderT e f a #
(Bind f, Monad f, Semigroup e, Monoid e) => Plus (ExceptT e f) #
Instance details Defined in Data.Functor.Plus Methods zero :: ExceptT e f a #
(Bind f, Monad f, Error e) => Plus (ErrorT e f) #
Instance details Defined in Data.Functor.Plus Methods zero :: ErrorT e f a #
Plus f => Plus (Backwards f) #
Instance details Defined in Data.Functor.Plus Methods zero :: Backwards f a #
Plus f => Plus (Static f a) #
Instance details Defined in Data.Semigroupoid.Static Methods zero :: Static f a a0 #
(Plus f, Plus g) => Plus (f :*: g) #
Instance details Defined in Data.Functor.Plus Methods zero :: (f :*: g) a #
(Plus f, Plus g) => Plus (Product f g) #
Instance details Defined in Data.Functor.Plus Methods zero :: Product f g a #
Plus f => Plus (M1 i c f) #
Instance details Defined in Data.Functor.Plus Methods zero :: M1 i c f a #
(Plus f, Functor g) => Plus (Compose f g) #
Instance details Defined in Data.Functor.Plus Methods zero :: Compose f g a #
Plus f => Plus (RWST r w s f) #
Instance details Defined in Data.Functor.Plus Methods zero :: RWST r w s f a #
Plus f => Plus (RWST r w s f) #
Instance details Defined in Data.Functor.Plus Methods zero :: RWST r w s f a #

module Data.Functor.Alt