| 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
- class Alt f => Plus f where
- module Data.Functor.Alt
Documentation
Minimal complete definition
Instances
| Plus [] # | |
| Plus Maybe # | |
| Plus IO # | |
| Plus Option # | |
| Plus Seq # | |
| Plus IntMap # | |
| MonadPlus m => Plus (WrappedMonad m) # | |
| Ord k => Plus (Map k) # | |
| Plus f => Plus (Lift f) # | |
| (Bind f, Monad f) => Plus (MaybeT f) # | |
| (Apply f, Applicative f) => Plus (ListT f) # | |
| Alternative f => Plus (WrappedApplicative f) # | |
| ArrowPlus a => Plus (WrappedArrow a b) # | |
| Plus f => Plus (IdentityT * f) # | |
| Plus f => Plus (Reverse * f) # | |
| Plus f => Plus (Backwards * f) # | |
| Plus f => Plus (WriterT w f) # | |
| Plus f => Plus (WriterT w f) # | |
| Plus f => Plus (StateT e f) # | |
| Plus f => Plus (StateT e 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 (Static f a) # | |
| (Plus f, Plus g) => Plus (Product * f g) # | |
| Plus f => Plus (ReaderT * e f) # | |
| (Plus f, Functor g) => Plus (Compose * * f g) # | |
| Plus f => Plus (RWST r w s f) # | |
| Plus f => Plus (RWST r w s f) # | |
module Data.Functor.Alt