Zafu/Abstract/Eq

source code:

• src/Zafu/Abstract/Eq.bosatsu

Index

• Types: Eq
• Values: eq, eq_by, eq_from_fn, eq_specialized, laws_Eq, neq

Types

Eq[a]

type Eq[a: -*]

Values

eq

references: Bool, Eq

def eq[a](inst: Eq[a], left: a, right: a) -> Bool

eq_by

references: Eq

def eq_by[a, b](inst: Eq[a], project: b -> a) -> Eq[b]

eq_from_fn

Constructor from equality; inequality is derived.

references: Bool, Eq

def eq_from_fn[a](eq_fn: (a, a) -> Bool) -> Eq[a]

eq_specialized

Constructor that allows supplying both operations.

references: Bool, Eq

def eq_specialized[a](eq_fn: (a, a) -> Bool, neq_fn: (a, a) -> Bool) -> Eq[a]

laws_Eq

Eq law checker for three sample values.

references: Eq, Test

def laws_Eq[a](inst: Eq[a], x: a, y: a, z: a) -> Test

neq

references: Bool, Eq

def neq[a](inst: Eq[a], left: a, right: a) -> Bool