Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class (MonadOuter m, MonadExtract m) => MonadIdentity m
Documentation
class (MonadOuter m, MonadExtract m) => MonadIdentity m Source #
Instances of this type are isomorphic to Identity
.
Instances
MonadIdentity Identity Source # | |
Defined in Control.Monad.Ology.General.Identity | |
MonadIdentity inner => TransConstraint MonadIdentity (ComposeInner inner) Source # | |
Defined in Control.Monad.Ology.Specific.ComposeInner hasTransConstraint :: forall (m :: Type -> Type). MonadIdentity m => Dict (MonadIdentity (ComposeInner inner m)) Source # | |
TransConstraint MonadIdentity (IdentityT :: (Type -> Type) -> Type -> Type) Source # | |
Defined in Control.Monad.Ology.Specific.IdentityT hasTransConstraint :: forall (m :: Type -> Type). MonadIdentity m => Dict (MonadIdentity (IdentityT m)) Source # | |
(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 |