Handle

catcheffect.Handle
See theHandle companion object
trait Handle[F[_], E] extends Raise[F, E]

Attributes

Companion
object
Source
Catch.scala
Graph
Supertypes
trait Raise[F, E]
class Object
trait Matchable
class Any

Members list

Value members

Abstract methods

def handleWith[A](fa: F[A])(f: E => F[A])(implicit sp: SourcePos): F[A]

Attributes

Source
Catch.scala

Concrete methods

def attempt[A](fa: F[A])(implicit sp: SourcePos): F[Either[E, A]]

Attributes

Source
Catch.scala
def attemptK(implicit sp: SourcePos): FunctionK[F, [_] =>> EitherT[F, E, _$6]]

Attributes

Source
Catch.scala
def parGather[G[_] : Traverse, A](fas: G[F[A]])(implicit evidence$1: Traverse[G], sp: SourcePos, S: Semigroup[E]): F[G[A]]

Attributes

Source
Catch.scala

Inherited methods

def contramap[E2](f: E2 => E): Raise[F, E2]

Attributes

Inherited from:
Raise
Source
Catch.scala
def fromEither[A](ea: Either[E, A])(implicit sp: SourcePos): F[A]

Attributes

Inherited from:
Raise
Source
Catch.scala
def fromEitherT[A](e: EitherT[F, E, A])(implicit sp: SourcePos): F[A]

Attributes

Inherited from:
Raise
Source
Catch.scala
def fromOption[A](e: => E)(oa: Option[A])(implicit sp: SourcePos): F[A]

Attributes

Inherited from:
Raise
Source
Catch.scala
def fromOptionF[A](e: => E)(oa: F[Option[A]])(implicit sp: SourcePos): F[A]

Attributes

Inherited from:
Raise
Source
Catch.scala
def fromValidated[A](ve: Validated[E, A])(implicit sp: SourcePos): F[A]

Attributes

Inherited from:
Raise
Source
Catch.scala
def mapK[G[_]](fk: FunctionK[F, G])(implicit G: Monad[G]): Raise[G, E]

Attributes

Inherited from:
Raise
Source
Catch.scala
def monad: Monad[F]

Attributes

Inherited from:
Raise
Source
Catch.scala
def raise[A](e: E)(implicit sp: SourcePos): F[A]

Attributes

Inherited from:
Raise
Source
Catch.scala
def raiseIf[A](e: => E)(cond: Boolean)(implicit sp: SourcePos): F[Unit]

Attributes

Inherited from:
Raise
Source
Catch.scala