cats-effect-laws
3.5-01f5b3a
cats-effect-laws
API
cats.effect.laws
AsyncLaws
AsyncLaws
AsyncTests
AsyncTests
ClockLaws
ClockLaws
ClockTests
ClockTests
GenSpawnLaws
GenSpawnLaws
GenSpawnTests
GenSpawnTests
GenTemporalLaws
GenTemporalLaws
GenTemporalTests
GenTemporalTests
IsEq
IsEq
Assert
IsEqArrow
MonadCancelLaws
MonadCancelLaws
MonadCancelTests
MonadCancelTests
SyncLaws
SyncLaws
SyncTests
SyncTests
Tolerance
Tolerance
UniqueLaws
UniqueLaws
UniqueTests
UniqueTests
cats-effect-laws
/
cats.effect.laws
/
IsEq
IsEq
cats.effect.laws.IsEq$
See the
IsEq
companion trait
object
IsEq
Attributes
Companion:
trait
Source:
IsEq.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Sum
trait
Mirror
class
Object
trait
Matchable
class
Any
Self type
IsEq
.type
Clear all
Members list
Concise view
Type members
Classlikes
final case
class
Assert
[
A
](
lhs
:
A
,
rhs
:
A
)
extends
IsEq
[
A
]
Attributes
Source:
IsEq.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Serializable
trait
Product
trait
Equals
trait
IsEq
[
A
]
class
Object
trait
Matchable
class
Any
Inherited types
type
MirroredElemLabels
<:
Tuple
The names of the product elements
The names of the product elements
Attributes
Inherited from:
Mirror
Source:
Mirror.scala
type
MirroredLabel
<:
String
The name of the type
The name of the type
Attributes
Inherited from:
Mirror
Source:
Mirror.scala
Value members
Concrete methods
def
apply
[
A
](
lhs
:
A
,
rhs
:
A
):
IsEq
[
A
]
Attributes
Source:
IsEq.scala
Implicits
Implicits
implicit
def
toPropTolerant
[
F
[
_
],
A
](
isEq
:
IsEq
[
F
[
A
]])(
implicit
F
:
Applicative
[
F
],
ord
:
Order
[
F
[
A
]],
g
:
Group
[
A
],
tolerance
:
Tolerance
[
A
],
pp
:
F
[
A
]
=>
Pretty
):
Prop
Attributes
Source:
IsEq.scala
Inherited implicits
implicit
def
toProp
[
A
:
Eq
](
isEq
:
IsEq
[
A
])(
implicit
evidence$1
:
Eq
[
A
],
pp
:
A
=>
Pretty
):
Prop
Attributes
Inherited from:
IsEqLowPriorityImplicits (hidden)
Source:
IsEq.scala