cats-mtl/cats.mtl/Handle

Handle

@implicitNotFound("Could not find an implicit instance of Handle[${F}, ${E}]. If you\nhave a good way of handling errors of type ${E} at this location, you may want\nto construct a value of type EitherT for this call-site, rather than ${F}.\nAn example type:\n\n EitherT[${F}, ${E}, *]\n\nThis is analogous to writing try/catch around this call. The EitherT will\n\"catch\" the errors of type ${E}.\n\nIf you do not wish to handle errors of type ${E} at this location, you should\nadd an implicit parameter of this type to your function. For example:\n\n (implicit fhandle: Handle[${F}, ${E}}])\n") trait Handle[F <: ([_$1] =>> Any), E] extends Raise[F, E] with Serializable
Companion
object
trait Raise[F, E]
trait Serializable
class Object
trait Matchable
class Any

Value members

Methods

def applicative: Applicative[F]
final override def functor: Functor[F]
Definition Classes
def handleWith[A](fa: F[A])(f: E => F[A]): F[A]
def attempt[A](fa: F[A]): F[Either[E, A]]
def attemptT[A](fa: F[A]): EitherT[F, E, A]
def handle[A](fa: F[A])(f: E => A): F[A]

Inherited methods

def ensure[E2 <: E, A](fa: F[A])(error: => E2)(predicate: A => Boolean)(A: Monad[F]): F[A]
Inhertied from
Raise
def catchNonFatal[E2 <: E, A](a: => A)(f: Throwable => E2)(A: Applicative[F]): F[A]
Inhertied from
Raise
def raise[E2 <: E, A](e: E2): F[A]
Inhertied from
Raise