MonadBase b m => MonadBase b (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
MonadBaseControl b m => MonadBaseControl b (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
MonadTrans (Effly :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
MonadTransControl (Effly :: (Type -> Type) -> Type -> Type) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Monad m => Monad (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Functor m => Functor (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff Fix m => MonadFix (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff Fail m => MonadFail (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Applicative m => Applicative (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff (Embed IO) m => MonadIO (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff Alt m => Alternative (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff Alt m => MonadPlus (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff ErrorIO m => MonadThrow (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff ErrorIO m => MonadCatch (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Effs '[Mask, Bracket, ErrorIO] m => MonadMask (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Carrier m => Carrier (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
type StT (Effly :: (Type -> Type) -> Type -> Type) a Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
type Derivs (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
type Prims (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
type StM (Effly m) a Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |