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

Lifter Identity Identity

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

Lifter m ((::+) m n)

Lifter (ST RealWorld) IO

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

Lifter (ST s) (ST s)