(Reifies s (ReifiedEffAlgebra (ListenPrim o) m), Monoid o, Monad m) => MonadWriter o (ViaAlg s (ListenPrim o) m) Source # | |
Instance detailsDefined in Control.Effect.Type.ListenPrim |
(Reifies s (ReifiedEffAlgebra (WriterPrim o) m), Monoid o, Monad m) => MonadWriter o (ViaAlg s (WriterPrim o) m) Source # | |
Instance detailsDefined in Control.Effect.Type.WriterPrim |
(Reifies s (ReifiedEffAlgebra (ReaderPrim i) m), Monad m) => MonadReader i (ViaAlg s (ReaderPrim i) m) Source # | |
Instance detailsDefined in Control.Effect.Type.ReaderPrim |
Monad m => Monad (ViaAlg s e m) Source # | |
Instance detailsDefined in Control.Effect.Internal.ViaAlg |
Functor m => Functor (ViaAlg s e m) Source # | |
Instance detailsDefined in Control.Effect.Internal.ViaAlg |
(Reifies s (ReifiedEffAlgebra Fix m), Monad m) => MonadFix (ViaAlg s Fix m) Source # | |
Instance detailsDefined in Control.Effect.Type.Fix |
Applicative m => Applicative (ViaAlg s e m) Source # | |
Instance detailsDefined in Control.Effect.Internal.ViaAlg |
Monad m => MonadThrow (ViaAlg s Bracket m) Source # | |
Instance detailsDefined in Control.Effect.Type.Bracket |
Monad m => MonadThrow (ViaAlg s Mask m) Source # | |
Instance detailsDefined in Control.Effect.Type.Mask |
Monad m => MonadCatch (ViaAlg s Bracket m) Source # | |
Instance detailsDefined in Control.Effect.Type.Bracket |
Monad m => MonadCatch (ViaAlg s Mask m) Source # | |
Instance detailsDefined in Control.Effect.Type.Mask |
(Reifies s (ReifiedEffAlgebra Bracket m), Monad m) => MonadMask (ViaAlg s Bracket m) Source # | |
Instance detailsDefined in Control.Effect.Type.Bracket |
(Reifies s (ReifiedEffAlgebra Mask m), Monad m) => MonadMask (ViaAlg s Mask m) Source # | |
Instance detailsDefined in Control.Effect.Type.Mask |