OrdLaws | funland-laws

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

Laws defined for Ord:

Totality: S.lte(a, b) or S.lte(b, a)
Antisymmetry: if S.lte(a, b) and S.lte(b, a), then S.equals(a, b)
Transitivity: if S.lte(a, b) and S.lte(b, c), then S.lte(a, c)

Type parameters

A

Hierarchy

SetoidLaws<A>
- OrdLaws

Index

Constructors

constructor

Properties

F

Methods

Constructors

constructor

new OrdLaws(F: Ord<A>): OrdLaws

Overrides SetoidLaws.constructor
- Defined in ord.ts:23
Parameters
- F: Ord<A>
Returns OrdLaws

Properties

F

F: Ord<A>

Methods

ordAntisymmetry

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

- Defined in ord.ts:34
Parameters
- x: A
- y: A
Returns Equiv<boolean>

ordTotality

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

- Defined in ord.ts:28
Parameters
- x: A
- y: A
Returns Equiv<boolean>

ordTransitivity

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

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

setoidReflexivity

setoidReflexivity(a: A): Equiv<boolean>

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

setoidSymmetry

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

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

setoidTransitivity

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

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

Generated using TypeDoc