monadology-0.4: The best ideas in monad-related classes and types.
Safe HaskellNone
LanguageGHC2021

Control.Monad.Ology.General.Extract

Synopsis

Documentation

class MonadInner m => MonadExtract (m :: Type -> Type) where Source #

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

Methods

mToValue :: Extract m Source #

Instances

Instances details
MonadExtract Identity Source # 
Instance details

Defined in Control.Monad.Ology.General.Extract

Methods

mToValue :: Extract Identity Source #

MonadExtract (Either Void) Source # 
Instance details

Defined in Control.Monad.Ology.General.Extract

Methods

mToValue :: Extract (Either Void) Source #

Monoid p => MonadExtract ((,) p) Source # 
Instance details

Defined in Control.Monad.Ology.General.Extract

Methods

mToValue :: Extract ((,) p) Source #

(MonadExtract inner, MonadExtract outer) => MonadExtract (ComposeInner inner outer) Source # 
Instance details

Defined in Control.Monad.Ology.Specific.ComposeInner

Methods

mToValue :: Extract (ComposeInner inner outer) Source #

MonadExtract m => MonadExtract (IdentityT m) Source # 
Instance details

Defined in Control.Monad.Ology.Specific.IdentityT

Methods

mToValue :: Extract (IdentityT m) Source #

(MonadExtract m, Monoid w) => MonadExtract (WriterT w m) Source # 
Instance details

Defined in Control.Monad.Ology.Specific.WriterT

Methods

mToValue :: Extract (WriterT w m) Source #