cats-effect-laws
cats-effect-laws
cats.effect
cats.effect.laws
cats-effect-laws
/
cats.effect.laws
/
IsEq$
IsEq
object
IsEq
extends
IsEqLowPriorityImplicits
Companion
class
Graph
Super types
trait
Sum
trait
Mirror
trait
IsEqLowPriorityImplicits
class
Object
trait
Matchable
class
Any
Type members
Value members
Implicits
Type members
Classlikes
final case
class
Assert
[A](lhs:
A
, rhs:
A
) extends
IsEq
[
A
]
Inherited types
type
MirroredLabel
<:
String
The name of the type
Inhertied from
Mirror
type
MirroredElemLabels
<:
Tuple
The names of the product elements
Inhertied from
Mirror
Value members
Methods
def
apply
[A](lhs:
A
, rhs:
A
):
IsEq
[
A
]
Implicits
Implicits
implicit
def
toPropTolerant
[F <: ([_$6] =>>
Any
), A](isEq:
IsEq
[
F
[
A
]])(F:
Applicative
[
F
], ord:
Order
[
F
[
A
]], g:
Group
[
A
], tolerance:
Tolerance
[
A
], pp:
F
[
A
] =>
Pretty
):
Prop
Inherited implicits
implicit
def
toProp
[A](isEq:
IsEq
[
A
])(evidence$1:
Eq
[
A
], pp:
A
=>
Pretty
):
Prop
Inhertied from
IsEqLowPriorityImplicits