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