Catch

catcheffect.Catch$

See theCatch companion trait

object Catch

Attributes

Companion: trait
Source: Catch.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: Catch.type

Members list

Type members

Classlikes

Attributes

Source: Catch.scala
Supertypes: class Object

trait Matchable

class Any

Attributes

Source: Catch.scala
Supertypes: trait Product

trait Equals

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any
Show all

Attributes

Source: Catch.scala
Supertypes: trait Product

trait Equals

class RuntimeException

class Exception

class Throwable

trait Serializable

class Object

trait Matchable

class Any
Show all

Value members

Concrete methods

Attributes

Source: Catch.scala

Attributes

Source: Catch.scala

Attributes

Source: Catch.scala

Implements Catch via the cancellation of an effect F.

Note that when an instance of Catch has been constructed like this, invoking any method on Handle inside an uncancelable block is considered an error.

Using cancellation to raise errors has some advantages and disadvantages.

Catch, unlike cats.data.EitherT, does not have potentially dangerous semantics regarding resource safety (EitherT's left case when releasing resources). For reference the default implementation of cats.effect.MonadCancel's guarenteeCase will not invoke the finalizer when you use cats.data.EitherT and the effect is in the Left case.

Attributes

Source: Catch.scala

Attributes

Source: Catch.scala

Attributes

Source: Catch.scala

In this article

Generated with