scalaz-core/scalaz/IsomorphismEqual

IsomorphismEqual

trait IsomorphismEqual[F, G] extends Equal[F]
trait Equal[F]
class Object
trait Matchable
class Any
trait IsomorphismEnum[F, G]

Type members

Inherited classlikes

trait EqualLaw
Inherited from
Equal

Value members

Abstract methods

def iso: IsoSet[F, G]

Concrete methods

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

Inherited methods

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

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

Inherited from
Equal
def equalLaw: EqualLaw
Inherited from
Equal

Inherited fields

val equalSyntax: EqualSyntax[F]
Inherited from
Equal

Implicits

Implicits

implicit
def G: Equal[G]