cats-effect-laws
cats-effect-laws
cats.effect
cats.effect.laws
cats-effect-laws
/
cats.effect.laws
/
IsEq
IsEq
sealed
trait
IsEq
[A]
Companion
object
Graph
Super types
Known subtyes
class
Object
trait
Matchable
class
Any
class
Assert
[
A
]
Value members
Value members
Methods
def
toPropTolerant
[F <: ([_$1] =>>
Any
), B](ev:
A
=:=
F
[
B
], F:
Applicative
[
F
], ord:
Order
[
F
[
B
]], g:
Group
[
B
], tolerance:
Tolerance
[
B
], pp:
A
=>
Pretty
):
Prop
def
toProp
(A:
Eq
[
A
], pp:
A
=>
Pretty
):
Prop