| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Control.Monad.Ology.General.Identity
Synopsis
- class (MonadOuter m, MonadExtract m) => MonadIdentity (m :: Type -> Type)
Documentation
class (MonadOuter m, MonadExtract m) => MonadIdentity (m :: Type -> Type) Source #
Instances of this type are isomorphic to Identity.
Instances
| MonadIdentity Identity Source # | |
Defined in Control.Monad.Ology.General.Identity | |
| (MonadIdentity inner, MonadIdentity outer) => MonadIdentity (ComposeInner inner outer) Source # | |
Defined in Control.Monad.Ology.Specific.ComposeInner | |
| MonadIdentity m => MonadIdentity (IdentityT m) Source # | |
Defined in Control.Monad.Ology.Specific.IdentityT | |