Control.Monad.Trans.Tainted

The Tainted type, and associated operations.

Documentation

newtype TaintedT m a

TaintedT is a monad transformed of Tainted

Constructors

TaintedT

Fields

runTainted :: m (Tainted a)

Instances

MonadTrans TaintedT

Monad m => Monad (TaintedT m)

(Monad m, Functor m) => Functor (TaintedT m)

(Monad m, Functor m) => Applicative (TaintedT m)

hoistTainted :: Monad m => Tainted a -> TaintedT m a

Lift a Tainted into an TaintedT