Control.Monad.Ology.General.Extract

Documentation

class MonadInner m => MonadExtract m where

Instances of this type are isomorphic to (Q,a) for some type Q (with Monoid Q).

Methods

mToValue :: Extract m

Instances

MonadExtract Identity

Defined in Control.Monad.Ology.General.Extract

Methods

mToValue :: Extract Identity

MonadExtract inner => TransConstraint MonadExtract (ComposeInner inner)

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

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

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

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

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

Monoid w => TransConstraint MonadExtract (WriterT w)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadExtract m => Dict (MonadExtract (WriterT w m))

MonadExtract (Either Void)

Defined in Control.Monad.Ology.General.Extract

Methods

mToValue :: Extract (Either Void)

Monoid p => MonadExtract ((,) p)

Defined in Control.Monad.Ology.General.Extract

Methods

mToValue :: Extract ((,) p)

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

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

mToValue :: Extract (ComposeInner inner outer)

MonadExtract m => MonadExtract (IdentityT m)

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

mToValue :: Extract (IdentityT m)

(MonadExtract m, Monoid w) => MonadExtract (WriterT w m)

Defined in Control.Monad.Ology.Specific.WriterT

Methods

mToValue :: Extract (WriterT w m)