cats-mtl-laws/cats.mtl.laws/HandleLaws

HandleLaws

trait HandleLaws[F[_], E] extends RaiseLaws[F, E]
Companion
object
trait RaiseLaws[F, E]
class Object
trait Matchable
class Any

Value members

Concrete methods

def catchNonFatalDefault[A](a: A, f: Throwable => E): IsEq[F[A]]
def handlePureIsPure[A](a: A, f: E => A): IsEq[F[A]]
def handleWithPureIsPure[A](a: A, f: E => F[A]): IsEq[F[A]]
def pureAttemptIsPureRight[A](a: A): IsEq[F[Either[E, A]]]
def raiseAndHandleIsPure[A](e: E, f: E => A): IsEq[F[A]]
def raiseAndHandleWithIsFunctionApplication[A](e: E, f: E => F[A]): IsEq[F[A]]
def raiseAttemptIsPureLeft(e: E): IsEq[F[Either[E, Unit]]]

Inherited methods

def failThenFlatMapFails[A](ex: E, f: A => A): IsEq[F[A]]
Inherited from
RaiseLaws

Implicits

Implicits

implicit def applicativeInstance: Applicative[F]
implicit def handleInstance: Handle[F, E]

Inherited implicits

implicit def functor: Functor[F]
Inherited from
RaiseLaws
implicit def raiseInstance: Raise[F, E]
Inherited from
RaiseLaws