RaiseLaws

trait RaiseLaws[F <: ([_$1] =>> Any), E]
Companion
object
class Object
trait Matchable
class Any
trait HandleLaws[F, E]

Value members

Methods

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

Implicits

Implicits

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