Control.Monad.Ology.General.Identity

Documentation

class (MonadOuter m, MonadExtract m) => MonadIdentity m

Instances of this type are isomorphic to Identity.

Instances

MonadIdentity Identity

Defined in Control.Monad.Ology.General.Identity

MonadIdentity inner => TransConstraint MonadIdentity (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIdentity m => Dict (MonadIdentity (ComposeInner inner m))

TransConstraint MonadIdentity (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIdentity m => Dict (MonadIdentity (IdentityT m))

(MonadIdentity inner, MonadIdentity outer) => MonadIdentity (ComposeInner inner outer)

Defined in Control.Monad.Ology.Specific.ComposeInner

MonadIdentity m => MonadIdentity (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT