Control.Monad.Ology.Specific.TransformT

Documentation

newtype TransformT f a

Constructors

MkTransformT

Fields

• unTransformT :: forall r. (a -> f r) -> f r

Instances

TransConstraint MonadIO (TransformT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

hasTransConstraint :: forall (m :: Type -> Type). MonadIO m => Dict (MonadIO (TransformT m))

TransConstraint Applicative (TransformT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Applicative m => Dict (Applicative (TransformT m))

TransConstraint Functor (TransformT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Functor m => Dict (Functor (TransformT m))

TransConstraint Monad (TransformT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

hasTransConstraint :: forall (m :: Type -> Type). Monad m => Dict (Monad (TransformT m))

MonadTrans (TransformT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

lift :: Monad m => m a -> TransformT m a

MonadFix m => MonadFix (TransformT m)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

mfix :: (a -> TransformT m a) -> TransformT m a

MonadIO m => MonadIO (TransformT m)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

liftIO :: IO a -> TransformT m a

Applicative (TransformT f)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

pure :: a -> TransformT f a

(<*>) :: TransformT f (a -> b) -> TransformT f a -> TransformT f b

liftA2 :: (a -> b -> c) -> TransformT f a -> TransformT f b -> TransformT f c

(*>) :: TransformT f a -> TransformT f b -> TransformT f b

(<*) :: TransformT f a -> TransformT f b -> TransformT f a

Functor (TransformT f)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

fmap :: (a -> b) -> TransformT f a -> TransformT f b

(<$) :: a -> TransformT f b -> TransformT f a

Monad (TransformT f)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

(>>=) :: TransformT f a -> (a -> TransformT f b) -> TransformT f b

(>>) :: TransformT f a -> TransformT f b -> TransformT f b

return :: a -> TransformT f a

Monoid a => Monoid (TransformT f a)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

mempty :: TransformT f a

mappend :: TransformT f a -> TransformT f a -> TransformT f a

mconcat :: [TransformT f a] -> TransformT f a

Semigroup a => Semigroup (TransformT f a)

Defined in Control.Monad.Ology.Specific.TransformT

Methods

(<>) :: TransformT f a -> TransformT f a -> TransformT f a

sconcat :: NonEmpty (TransformT f a) -> TransformT f a

stimes :: Integral b => b -> TransformT f a -> TransformT f a

mapTransformT :: (f --> f) -> TransformT f ()

postTransformT :: Monad m => m () -> TransformT m ()

transformTMap :: TransformT f () -> f --> f

execMapTransformT :: Monad f => f (TransformT f a) -> TransformT f a

transformParamRef :: forall m. Monad m => Param m --> Ref (TransformT m)

liftTransformT :: forall t m. (MonadTransUnlift t, MonadTunnelIOInner m) => TransformT m --> TransformT (t m)