Type Members

1.  trait Ask[F[_], C] extends AnyRef
2.  trait Catch[F[_]] extends AnyRef

   An abstraction that can construct an instance of the Handle mtl algebra without any constraints.

   An abstraction that can construct an instance of the Handle mtl algebra without any constraints.

   Catch provides the (cap)ability to introduce ad-hoc error channels which compose, like cats.data.EitherT, but with no required lifting (and un-lifting).

   Catch, unlike mtl stacks, Catch does not require introuction of more monad transformers when layering.

   Nested handlers for Catch are well-defined.

3.  trait Context[F[_]] extends AnyRef

   An abstraction that can construct an instance of the Local mtl algebra without any constraints.

   An abstraction that can construct an instance of the Local mtl algebra without any constraints.

   You gain the (cap)ability to introduce a new instance of Local for any type, anywhere a Context is present.

   For programs written in cats.data.Kleisli or tagless final, Context provides the ability to introduce new Local instances without having to lift any algebras or penalize your performance.

   Nested use of Context is well defined.

4.  trait Handle[F[_], E] extends Raise[F, E]
5.  trait Local[F[_], C] extends Ask[F, C]
6.  trait Raise[F[_], E] extends AnyRef