(MonadBase b m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r) => MonadBase b (Eff r) Source # | |
Instance detailsDefined in Control.Eff.Internal |
MonadBase m m => MonadBaseControl m (Eff (Lift m ': ([] :: [Type -> Type]))) Source # | |
Instance detailsDefined in Control.Eff.Internal |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r, MonadBaseControl m (Eff r)) => MonadBaseControl m (Eff (Writer w ': r)) Source # | |
Instance detailsDefined in Control.Eff.Writer.Strict |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r, MonadBaseControl m (Eff r)) => MonadBaseControl m (Eff (Writer w ': r)) Source # | |
Instance detailsDefined in Control.Eff.Writer.Lazy |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) s, MonadBaseControl m (Eff s)) => MonadBaseControl m (Eff (Reader e ': s)) Source # | |
Instance detailsDefined in Control.Eff.Reader.Strict |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r, MonadBaseControl m (Eff r)) => MonadBaseControl m (Eff (State s ': r)) Source # | |
Instance detailsDefined in Control.Eff.State.Strict |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) s, MonadBaseControl m (Eff s)) => MonadBaseControl m (Eff (Reader e ': s)) Source # | |
Instance detailsDefined in Control.Eff.Reader.Lazy |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r, MonadBaseControl m (Eff r)) => MonadBaseControl m (Eff (OnDemandState s ': r)) Source # | |
Instance detailsDefined in Control.Eff.State.OnDemand |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r, MonadBaseControl m (Eff r)) => MonadBaseControl m (Eff (State s ': r)) Source # | |
Instance detailsDefined in Control.Eff.State.Lazy |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r, MonadBaseControl m (Eff r)) => MonadBaseControl m (Eff (NdetEff ': r)) Source # | |
Instance detailsDefined in Control.Eff.NdetEff |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r, MonadBaseControl m (Eff r)) => MonadBaseControl m (Eff (Fresh ': r)) Source # | |
Instance detailsDefined in Control.Eff.Fresh |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r, MonadBaseControl m (Eff r)) => MonadBaseControl m (Eff ((Exc e :: Type -> Type) ': r)) Source # | |
Instance detailsDefined in Control.Eff.Exception |
(MonadBase m m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r, MonadBaseControl m (Eff r)) => MonadBaseControl m (Eff (Choose ': r)) Source # | |
Instance detailsDefined in Control.Eff.Choose |
Monad (Eff r) Source # | |
Instance detailsDefined in Control.Eff.Internal |
Functor (Eff r) Source # | |
Instance detailsDefined in Control.Eff.Internal |
Applicative (Eff r) Source # | |
Instance detailsDefined in Control.Eff.Internal |
(MonadIO m, SetMember (Lift :: (Type -> Type) -> Type -> Type) (Lift m) r) => MonadIO (Eff r) Source # | |
Instance detailsDefined in Control.Eff.Internal |
Member NdetEff r => Alternative (Eff r) Source # | |
Instance detailsDefined in Control.Eff.NdetEff |
Member Choose r => Alternative (Eff r) Source # | MonadPlus-like operators are expressible via choose |
Instance detailsDefined in Control.Eff.Choose |
Member NdetEff r => MonadPlus (Eff r) Source # | |
Instance detailsDefined in Control.Eff.NdetEff |
Member Choose r => MonadPlus (Eff r) Source # | |
Instance detailsDefined in Control.Eff.Choose |
type StM (Eff (Lift m ': ([] :: [Type -> Type]))) a Source # | |
Instance detailsDefined in Control.Eff.Internal |
type StM (Eff (Writer w ': r)) a Source # | |
Instance detailsDefined in Control.Eff.Writer.Strict |
type StM (Eff (Writer w ': r)) a Source # | |
Instance detailsDefined in Control.Eff.Writer.Lazy |
type StM (Eff (Reader e ': s)) a Source # | |
Instance detailsDefined in Control.Eff.Reader.Strict |
type StM (Eff (State s ': r)) a Source # | |
Instance detailsDefined in Control.Eff.State.Strict |
type StM (Eff (Reader e ': s)) a Source # | |
Instance detailsDefined in Control.Eff.Reader.Lazy |
type StM (Eff (OnDemandState s ': r)) a Source # | |
Instance detailsDefined in Control.Eff.State.OnDemand |
type StM (Eff (State s ': r)) a Source # | |
Instance detailsDefined in Control.Eff.State.Lazy |
type StM (Eff (NdetEff ': r)) a Source # | |
Instance detailsDefined in Control.Eff.NdetEff |
type StM (Eff (Fresh ': r)) a Source # | |
Instance detailsDefined in Control.Eff.Fresh |
type StM (Eff ((Exc e :: Type -> Type) ': r)) a Source # | |
Instance detailsDefined in Control.Eff.Exception |
type StM (Eff (Choose ': r)) a Source # | |
Instance detailsDefined in Control.Eff.Choose |