Control.Monad.Lifter

Documentation

class Lifter m n where

An automatic lifter. The idea of automatic lifting is due to Dan Piponi.

Methods

lf :: m t -> n t

Instances

Lifter IO IO

Defined in Control.Monad.Lifter

Methods

lf :: IO t -> IO t

Lifter Identity Identity

Defined in Control.Monad.Lifter

Methods

lf :: Identity t -> Identity t

(MonadTrans n, Monad x, Lifter m x) => Lifter m (n x)

Defined in Control.Monad.Lifter

Methods

lf :: m t -> n x t

Lifter (ST RealWorld) IO

Defined in Control.Monad.Lifter

Methods

lf :: ST RealWorld t -> IO t

(Monad x, MFunctor m) => Lifter (m Identity) (m x)

Defined in Control.Monad.Lifter

Methods

lf :: m Identity t -> m x t

Lifter (ST s) (ST s)

Defined in Control.Monad.Lifter

Methods

lf :: ST s t -> ST s t