Control.Monad.Trans.Tainted

Description

The Tainted type, and associated operations.

Synopsis

newtype TaintedT (m :: Type -> Type) a = TaintedT {
- runTainted :: m (Tainted a)
}
hoistTainted :: forall (m :: Type -> Type) a. Monad m => Tainted a -> TaintedT m a

Documentation

newtype TaintedT (m :: Type -> Type) a Source #

TaintedT is a monad transformed of Tainted

Constructors

TaintedT
Fields runTainted :: m (Tainted a)

Instances details

MonadTrans TaintedT Source #
Instance details Defined in Control.Monad.Trans.Tainted Methods lift :: Monad m => m a -> TaintedT m a #
(Monad m, Functor m) => Applicative (TaintedT m) Source #
Instance details Defined in Control.Monad.Trans.Tainted Methods pure :: a -> TaintedT m a # (<>) :: TaintedT m (a -> b) -> TaintedT m a -> TaintedT m b # liftA2 :: (a -> b -> c) -> TaintedT m a -> TaintedT m b -> TaintedT m c # (>) :: TaintedT m a -> TaintedT m b -> TaintedT m b # (<*) :: TaintedT m a -> TaintedT m b -> TaintedT m a #
(Monad m, Functor m) => Functor (TaintedT m) Source #
Instance details Defined in Control.Monad.Trans.Tainted Methods fmap :: (a -> b) -> TaintedT m a -> TaintedT m b # (<$) :: a -> TaintedT m b -> TaintedT m a #
Monad m => Monad (TaintedT m) Source #
Instance details Defined in Control.Monad.Trans.Tainted Methods (>>=) :: TaintedT m a -> (a -> TaintedT m b) -> TaintedT m b # (>>) :: TaintedT m a -> TaintedT m b -> TaintedT m b # return :: a -> TaintedT m a #

Lift a Tainted into an TaintedT