Member sub sup => Member sub (sub' :+: sup) Source # | |
Instance detailsDefined in Control.Effect.Sum |
Member sub (sub :+: sup) Source # | |
Instance detailsDefined in Control.Effect.Sum |
(Effect l, Effect r) => Effect (l :+: r) Source # | |
Instance detailsDefined in Control.Effect.Sum |
(HFunctor l, HFunctor r) => HFunctor (l :+: r) Source # | |
Instance detailsDefined in Control.Effect.Sum |
(Carrier sig m, Effect sig) => Carrier (Fail :+: sig) (FailC m) Source # | |
Instance detailsDefined in Control.Effect.Fail |
(Carrier sig m, MonadIO m) => Carrier (Resource :+: sig) (ResourceC m) Source # | |
Instance detailsDefined in Control.Effect.Resource |
(Carrier sig m, Effect sig, Monad m) => Carrier (Fresh :+: sig) (FreshC m) Source # | |
Instance detailsDefined in Control.Effect.Fresh |
(Carrier sig m, Effect sig) => Carrier (Trace :+: sig) (TraceByReturningC m) Source # | |
Instance detailsDefined in Control.Effect.Trace |
Carrier sig m => Carrier (Trace :+: sig) (TraceByIgnoringC m) Source # | |
Instance detailsDefined in Control.Effect.Trace |
(MonadIO m, Carrier sig m) => Carrier (Trace :+: sig) (TraceByPrintingC m) Source # | |
Instance detailsDefined in Control.Effect.Trace |
(Alternative f, Monad f, Traversable f, Carrier sig m, Effect sig, Applicative m) => Carrier (NonDet :+: sig) (AltC f m) Source # | |
Instance detailsDefined in Control.Effect.NonDet |
(Carrier sig m, Effect sig, RandomGen g, Monad m) => Carrier (Random :+: sig) (RandomC g m) Source # | |
Instance detailsDefined in Control.Effect.Random |
(Carrier sig m, Effect sig) => Carrier (State s :+: sig) (StateC s m) Source # | |
Instance detailsDefined in Control.Effect.State |
(Carrier sig m, Monad m) => Carrier (Resumable err :+: sig) (ResumableWithC err m) Source # | |
Instance detailsDefined in Control.Effect.Resumable |
(Carrier sig m, Effect sig) => Carrier (Resumable err :+: sig) (ResumableC err m) Source # | |
Instance detailsDefined in Control.Effect.Resumable |
(Carrier sig m, Monad m) => Carrier (Reader r :+: sig) (ReaderC r m) Source # | |
Instance detailsDefined in Control.Effect.Reader |
(Carrier sig m, Effect sig, Monad m) => Carrier (Error e :+: sig) (ErrorC e m) Source # | |
Instance detailsDefined in Control.Effect.Error |
(Monoid w, Carrier sig m, Effect sig, Functor m) => Carrier (Writer w :+: sig) (WriterC w m) Source # | |
Instance detailsDefined in Control.Effect.Writer |
(Functor (f m), Functor (g m)) => Functor ((f :+: g) m) Source # | |
Instance detailsDefined in Control.Effect.Sum |
(Eq (f m k), Eq (g m k)) => Eq ((f :+: g) m k) Source # | |
Instance detailsDefined in Control.Effect.Sum |
(Ord (f m k), Ord (g m k)) => Ord ((f :+: g) m k) Source # | |
Instance detailsDefined in Control.Effect.Sum |
(Show (f m k), Show (g m k)) => Show ((f :+: g) m k) Source # | |
Instance detailsDefined in Control.Effect.Sum |