| Copyright | (C) 2012-14 Edward Kmett |
|---|---|
| License | BSD-style (see the file LICENSE) |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell98 |
Control.Lens.Action.Reified
Description
- newtype ReifiedMonadicFold m s a = MonadicFold {
- runMonadicFold :: MonadicFold m s a
Documentation
newtype ReifiedMonadicFold m s a Source
Reify a MonadicFold so it can be stored safely in a container.
Constructors
| MonadicFold | |
Fields
| |
Instances
| Category * (ReifiedMonadicFold m) | |
| MonadReader s (ReifiedMonadicFold m s) | |
| Arrow (ReifiedMonadicFold m) | |
| ArrowChoice (ReifiedMonadicFold m) | |
| ArrowApply (ReifiedMonadicFold m) | |
| Profunctor (ReifiedMonadicFold m) | |
| Choice (ReifiedMonadicFold m) | |
| Strong (ReifiedMonadicFold m) | |
| Alternative (ReifiedMonadicFold m s) | |
| Monad (ReifiedMonadicFold m s) | |
| Functor (ReifiedMonadicFold m s) | |
| MonadPlus (ReifiedMonadicFold m s) | |
| Applicative (ReifiedMonadicFold m s) | |
| Plus (ReifiedMonadicFold m s) | |
| Alt (ReifiedMonadicFold m s) | |
| Apply (ReifiedMonadicFold m s) | |
| Bind (ReifiedMonadicFold m s) | |
| Monoid (ReifiedMonadicFold m s a) | |
| Semigroup (ReifiedMonadicFold m s a) |