| Copyright | (c) Paweł Nowak |
|---|---|
| License | MIT |
| Maintainer | Paweł Nowak <pawel834@gmail.com> |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.SemiIsoFunctor.Wrapped
Description
Every monad (with fail) is a SemiIsoMonad.
- newtype WrappedCovariant m a = WrappedCovariant {
- runCovariant :: m a
Documentation
newtype WrappedCovariant m a Source
A wrapped covariant functor.
Constructors
| WrappedCovariant | |
Fields
| |
Instances
| Alternative m => Alternative (WrappedCovariant m) | |
| Monad m => Monad (WrappedCovariant m) | |
| Functor m => Functor (WrappedCovariant m) | |
| Applicative m => Applicative (WrappedCovariant m) | |
| Monad m => SemiIsoMonad (WrappedCovariant m) | |
| (Monad m, Alternative m) => SemiIsoAlternative (WrappedCovariant m) | |
| Monad m => SemiIsoApply (WrappedCovariant m) | |
| Monad m => SemiIsoFunctor (WrappedCovariant m) |