Rebase.Data.Functor.Bind.Trans · rebase-1.21.2

classclass MonadTrans t => BindTrans (t :: (Type -> Type) -> Type -> Type) where

A subset of monad transformers can transform any Bind as well.

Instances12BindTrans, …

Representable f => BindTrans (StateT f)Defined in adjunctions-4.4.3 · Control.Monad.Representable.State
Monoid w => BindTrans (WriterT w)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans
Monoid w => BindTrans (WriterT w)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans
Monoid w => BindTrans (WriterT w)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans
BindTrans IdentityTDefined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans
BindTrans (ReaderT e)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans
BindTrans (StateT s)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans
BindTrans (StateT s)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans
BindTrans (ContT r)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans
Monoid w => BindTrans (RWST r w s)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans
Monoid w => BindTrans (RWST r w s)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans
Monoid w => BindTrans (RWST r w s)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Trans