| Copyright | (C) 2011 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
- zero :: f a
- module Data.Functor.Alt
Documentation
Methods
zero :: f a
Instances
| Plus [] | |
| Plus IO | |
| Plus Maybe | |
| Plus IntMap | |
| Plus Seq | |
| Plus Option | |
| MonadPlus m => Plus (WrappedMonad m) | |
| Ord k => Plus (Map k) | |
| (Bind f, Monad f) => Plus (MaybeT f) | |
| (Apply f, Applicative f) => Plus (ListT f) | |
| Plus f => Plus (IdentityT f) | |
| Alternative f => Plus (WrappedApplicative f) | |
| ArrowPlus a => Plus (WrappedArrow a b) | |
| Plus f => Plus (WriterT w f) | |
| Plus f => Plus (WriterT w f) | |
| Plus f => Plus (StateT e f) | |
| Plus f => Plus (StateT e f) | |
| Plus f => Plus (ReaderT e f) | |
| (Bind f, Monad f, Error e) => Plus (ErrorT e f) | |
| Plus f => Plus (Static f a) | |
| Plus f => Plus (RWST r w s f) | |
| Plus f => Plus (RWST r w s f) |
module Data.Functor.Alt