cats-mtl-laws
cats-mtl-laws
cats
cats.mtl
cats.mtl.laws
cats.mtl.laws.discipline
cats-mtl-laws
/
cats.mtl.laws
/
RaiseLaws
RaiseLaws
trait
RaiseLaws
[F <: ([_$1] =>>
Any
), E]
Companion
object
Graph
Super types
Known subtyes
class
Object
trait
Matchable
class
Any
trait
HandleLaws
[
F
,
E
]
Value members
Implicits
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
]