SetoidLaws | funland-laws

Type-class laws for Setoid, as defined in the funland sub-project and in the static-land spec.

Laws defined for Setoid:

Reflexivity: S.equals(a, a) === true
Symmetry: S.equals(a, b) === S.equals(b, a)
Transitivity: if S.equals(a, b) and S.equals(b, c), then S.equals(a, c)

Type parameters

A

Hierarchy

SetoidLaws
- OrdLaws

Index

Constructors

constructor

Properties

F

Methods

Constructors

constructor

new SetoidLaws(F: Setoid<A>): SetoidLaws

- Defined in setoid.ts:22
Parameters
- F: Setoid<A>
Returns SetoidLaws

Properties

F

F: Setoid<A>

Methods

setoidReflexivity

setoidReflexivity(a: A): Equiv<boolean>

- Defined in setoid.ts:25
Parameters
- a: A
Returns Equiv<boolean>

setoidSymmetry

setoidSymmetry(x: A, y: A): Equiv<boolean>

- Defined in setoid.ts:29
Parameters
- x: A
- y: A
Returns Equiv<boolean>

setoidTransitivity

setoidTransitivity(x: A, y: A, z: A): Equiv<boolean>

- Defined in setoid.ts:33
Parameters
- x: A
- y: A
- z: A
Returns Equiv<boolean>

Generated using TypeDoc