root/scalaz/Equal

Equal

trait Equal[F]

A type safe alternative to universal equality (scala.Any#==).

See also
Companion
object
class Object
trait Matchable
class Any
trait IsomorphismEnum[F, G]
trait Order[F]
trait Enum[F]

Type members

Classlikes

trait EqualLaw

Value members

Abstract methods

def equal(a1: F, a2: F): Boolean

Concrete methods

def contramap[G](f: G => F): Equal[G]
def equalIsNatural: Boolean
Returns

true, if equal(f1, f2) is known to be equivalent to f1 == f2

Concrete fields