Control.Monad.Ology.Specific.WithT

Documentation

newtype WithT m a

Constructors

MkWithT

Fields

• unWithT :: With m a

Instances

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

Defined in Control.Monad.Ology.Specific.WithT

Methods

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

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

Defined in Control.Monad.Ology.Specific.WithT

Methods

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

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

Defined in Control.Monad.Ology.Specific.WithT

Methods

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

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

Defined in Control.Monad.Ology.Specific.WithT

Methods

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

MonadCatch e m => MonadCatch e (WithT m)

Defined in Control.Monad.Ology.Specific.WithT

Methods

catch :: WithT m a -> (e -> WithT m a) -> WithT m a

MonadThrow e m => MonadThrow e (WithT m)

Defined in Control.Monad.Ology.Specific.WithT

Methods

throw :: e -> WithT m a

MonadTrans (WithT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Ology.Specific.WithT

Methods

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

MonadFix m => MonadFix (WithT m)

Defined in Control.Monad.Ology.Specific.WithT

Methods

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

MonadIO m => MonadIO (WithT m)

Defined in Control.Monad.Ology.Specific.WithT

Methods

liftIO :: IO a -> WithT m a

Applicative (WithT m)

Defined in Control.Monad.Ology.Specific.WithT

Methods

pure :: a -> WithT m a

(<*>) :: WithT m (a -> b) -> WithT m a -> WithT m b

liftA2 :: (a -> b -> c) -> WithT m a -> WithT m b -> WithT m c

(*>) :: WithT m a -> WithT m b -> WithT m b

(<*) :: WithT m a -> WithT m b -> WithT m a

Functor (WithT m)

Defined in Control.Monad.Ology.Specific.WithT

Methods

fmap :: (a -> b) -> WithT m a -> WithT m b

(<$) :: a -> WithT m b -> WithT m a

Monad (WithT m)

Defined in Control.Monad.Ology.Specific.WithT

Methods

(>>=) :: WithT m a -> (a -> WithT m b) -> WithT m b

(>>) :: WithT m a -> WithT m b -> WithT m b

return :: a -> WithT m a

MonadException m => MonadException (WithT m)

Defined in Control.Monad.Ology.Specific.WithT

Associated Types

type Exc (WithT m)

Methods

throwExc :: Exc (WithT m) -> WithT m a

catchExc :: WithT m a -> (Exc (WithT m) -> WithT m a) -> WithT m a

(MonadHoistIO m, MonadCoroutine m) => MonadHoistIO (WithT m)

Defined in Control.Monad.Ology.Specific.WithT

Methods

hoistIO :: (IO --> IO) -> WithT m --> WithT m

Monoid a => Monoid (WithT m a)

Defined in Control.Monad.Ology.Specific.WithT

Methods

mempty :: WithT m a

mappend :: WithT m a -> WithT m a -> WithT m a

mconcat :: [WithT m a] -> WithT m a

Semigroup a => Semigroup (WithT m a)

Defined in Control.Monad.Ology.Specific.WithT

Methods

(<>) :: WithT m a -> WithT m a -> WithT m a

sconcat :: NonEmpty (WithT m a) -> WithT m a

stimes :: Integral b => b -> WithT m a -> WithT m a

type Exc (WithT m)

Defined in Control.Monad.Ology.Specific.WithT

type Exc (WithT m) = Exc m

unpickWithT :: forall m a. MonadCoroutine m => WithT m a -> m (a, m ())

pickWithT :: forall m a. Monad m => m (a, m ()) -> WithT m a

mapWithT :: (m --> m) -> WithT m ()

postWithT :: Monad m => m () -> WithT m ()

withTMap :: WithT m () -> m --> m

execMapWithT :: Monad m => m (WithT m a) -> WithT m a

withParamRef :: forall m. Monad m => Param m --> Ref (WithT m)

liftWithT :: forall t m. (MonadTransUnlift t, MonadTunnelIO m) => WithT m --> WithT (t m)