cats-mtl-laws/cats.mtl.laws/RaiseLaws

RaiseLaws

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

Value members

Concrete methods

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

Implicits

Implicits

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