monadtransform-0.0.1: A type-class for transforming monads (homomorphism) in a transformer

Safe HaskellSafe-Inferred

Control.Monad.Transform.Class

Documentation

class MonadTransform t whereSource

Methods

transform :: (Monad f, Monad g) => (forall z. f z -> g z) -> t f a -> t g aSource

liftHom :: Monad g => t Identity a -> t g aSource