Data.Flex.MonadTrans

Documentation

class FWMonadTrans f a | f -> a

Instances

TypeCast r FWDefaultMonadTrans => FWMonadTrans (FWT t) r

FWMonadTrans (FWT s) r => FWMonadTrans (FWT (:*: x s)) r

FWMonadTrans (FWCTC s o f) r => FWMonadTrans (FWCTC (:*: x s) o f) r

FWMonadTrans (FWCTC (:*: FWCompTrans s) o f) FWCompTrans

FWMonadTrans (FWCTC (:*: FWCompDefaults s) o f) FWCompTrans

data FWDefaultMonadTrans

Constructors

FWDefaultMonadTrans

Instances

Apply (FWLift (FWT s)) FWDefaultMonadTrans (WrapLift (FWT s))

data FWLift t

Instances

Monad m => Apply (FWLift (FWCTC t (FlipT O) m)) FWCompTrans (WrapLift (FWCTC t (FlipT O) m))

Monad m => Apply (FWLift (FWCTC t O m)) FWCompTrans (WrapLift (FWCTC t O m))

Apply (FWLift (FWT s)) FWDefaultMonadTrans (WrapLift (FWT s))

newtype WrapLift t

Constructors

WrapLift

Fields

unwrapLift :: forall m a. Monad m => m a -> t m a

Instances

Monad m => Apply (FWLift (FWCTC t (FlipT O) m)) FWCompTrans (WrapLift (FWCTC t (FlipT O) m))

Monad m => Apply (FWLift (FWCTC t O m)) FWCompTrans (WrapLift (FWCTC t O m))

Apply (FWLift (FWT s)) FWDefaultMonadTrans (WrapLift (FWT s))