Ord
(and thus also Equal
) instance for Any
values.
Ord
(and thus also Equal
) instance for Any
values.
Note that since values of type Any
contain no information,
all values of type Any
can be treated as equal to each other.
The Hash
and Ord
instance for BigDecimal
.
The Hash
and Ord
instance for BigInt
.
Hash
and Ord
(and thus also Equal
) instance for Boolean
values.
Hash
and Ord
(and thus also Equal
) instance for Byte
values.
Hash
(and thus also Equal
) instance for Cause[A]
.
Hash
(and thus also Equal
) instance for Cause[A]
.
Note, that it doesn't take Hash[A]
nor Equal[A]
into account.
Hash
and Ord
(and thus also Equal
) instance for Char
values.
Derives an Equal[Chunk[A]]
given an Equal[A]
.
Hash
(and thus also Equal
) instance for Class
values.
Derives an Equal[F[A]]
given a Derive[F, Equal]
and an Equal[A]
.
Equal
instance for Double
for imprecise equality with configurable tolerance.
Hash
and Ord
(and thus also Equal
) instance for Double
values.
Hash
and Ord
(and thus also Equal
) instance for Double
values.
Note that to honor the contract
* that a value is always equal to itself,
comparing Double.NaN
with itself will return true
.
* of a total ordering,
Double.NaN
will be treated as greater than any other number.
Hash
and Ord
(and thus also Equal
) instance for Scala Duration
values.
Hash
and Ord
(and thus also Equal
) instance for ZIO Duration
values.
Derives an Equal[Either[A, B]]
given an Equal[A]
and an Equal[B]
.
The CommutativeBoth
and IdentityBoth
(and thus AssociativeBoth
) instance for Equal
.
The CommutativeEither
and IdentityEither
(and thus AssociativeEither
) instance for Equal
.
The Contravariant
instance for Equal
.
Derives an Equal[Exit[E, A]]
given an Equal[A]
and Equal[B]
.
Hash
and Ord
and (and thus also Equal
) instance for Fiber.Id
values.
Equal
instance for Float
for imprecise equality with configurable tolerance.
Hash
and Ord
(and thus also Equal
) instance for Float
values.
Hash
and Ord
(and thus also Equal
) instance for Float
values.
Note that to honor the contract
* that a value is always equal to itself,
comparing Float.NaN
with itself will return true
.
* of a total ordering,
Float.NaN
will be treated as greater than any other number.
Hash
and Ord
(and thus also Equal
) instance for Int
values.
Derives an Equal[List[A]]
given an Equal[A]
.
Hash
and Ord
(and thus also Equal
) instance for Long
values.
Derives a PartialOrd[Map[A, B]]
(and thus Equal[Map[A, B]]
) given an Equal[B]
.
Derives a PartialOrd[Map[A, B]]
(and thus Equal[Map[A, B]]
) given an Equal[B]
.
Due to the limitations of Scala's Map
, this uses object equality on the keys.
Derives an Equal[NonEmptyChunk[A]]
given an Equal[A]
.
Hash
and Ord
(and thus also Equal
) instance for Nothing
values.
Hash
and Ord
(and thus also Equal
) instance for Nothing
values.
Note that since there are not values of
type Nothing
the equals
method of this instance can never be called
but it can be useful in deriving instances for more complex types.
Derives an Equal[Option[A]]
given an Equal[A]
.
PartialOrd
and Hash
(and thus also Equal
) instance for Set[A]
values.
PartialOrd
and Hash
(and thus also Equal
) instance for Set[A]
values.
Due to the limitations of Scala's Set
,
this uses object equality and hash code on the elements.
Hash
and Ord
(and thus also Equal
) instance for Short
values.
Hash
and Ord
(and thus also Equal
) instance for String
values.
Hash
(and thus also Equal
) instance for Throwable
values.
Hash
(and thus also Equal
) instance for Throwable
values.
Comparison is based on: Class, message and cause (stack trace is ignored).
Note: This is intentionally not in the implicit scope, because it would allow comparing _all_ Throwables across hierarchies defined by users, which would typically be a mistake.
Derives an Equal[Try[A]]
given an Equal[A]
.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Derives an Equal
for a product type given an Equal
for each element of
the product type.
Hash
and Ord
(and thus also Equal
) instance for Unit
values.
Hash
and Ord
(and thus also Equal
) instance for Unit
values.
Since there is only one Unit
value all equality comparisons will always be true.
Derives an Equal[Vector[A]]
given an Equal[A]
.
Hash
(and thus also Equal
) instance for ZTrace
values.
Summons an implicit Equal[A]
.
Constructs an Equal[A]
that uses the default notion of equality
embodied in the implementation of equals
for values of type A
.
Constructs an Equal[A]
from a function.
Constructs an Equal[A]
from a function. The instance will be optimized
to first compare the values for reference equality and then compare the
values for value equality.