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 :: (Type -> Type) -> Type -> Type) 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 :: (Type -> Type) -> Type -> Type) m => MonadIO (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff (Alt :: (Type -> Type) -> Type -> Type) m => Alternative (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff (Alt :: (Type -> Type) -> Type -> Type) m => MonadPlus (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff (ErrorIO :: (Type -> Type) -> Type -> Type) m => MonadThrow (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Eff (ErrorIO :: (Type -> Type) -> Type -> Type) m => MonadCatch (Effly m) Source # | |
Instance detailsDefined in Control.Effect.Internal.Effly |
Effs ((Mask :: (Type -> Type) -> Type -> Type) ': (Bracket ': ((ErrorIO :: (Type -> Type) -> Type -> Type) ': ([] :: [(Type -> Type) -> Type -> Type])))) 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 |