transformers-base-0.2: Lift computations from the bottom of a transformer stack

Control.Monad.Base.Control

Documentation

class MonadBase μ η => MonadBaseControl μ η | μ -> η whereSource

Methods

liftBaseControl :: (RunInBase μ η -> η α) -> μ αSource

Helper for lifting control operations from the base monad.

controlBase :: MonadBaseControl μ η => (RunInBase μ η -> η (μ α)) -> μ αSource

liftBaseOp :: MonadBaseControl μ η => ((α -> η (μ β)) -> η (μ γ)) -> (α -> μ β) -> μ γSource

liftBaseOp_ :: MonadBaseControl μ η => (η (μ β) -> η (μ γ)) -> μ β -> μ γSource