Equal

Equal instance for Double for imprecise equality with configurable tolerance.

Equal instance for Float for imprecise equality with configurable tolerance.

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. The instance will be optimized to first compare the values for reference equality and then compare the values for value equality.

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.

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.

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]. 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].

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 (and thus also Equal) instance for FiberId 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]. 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. 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. 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 thus also Equal) instance for StackTrace values.

Hash and Ord (and thus also Equal) instance for String values.

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. Since there is only one Unit value all equality comparisons will always be true.

Derives an Equal[Vector[A]] given an Equal[A].