OperationLaws
OperationLaws =
object
Defined in: structure.ts:7
The laws an operation satisfies. TypeScript cannot express associativity or
commutativity in a type, so an interface claiming them enforces nothing.
Stating them as data makes the claim inspectable at runtime and checkable by
the property tests in laws.ts.
Properties
Section titled “Properties”associative
Section titled “associative”
readonlyassociative:boolean
Defined in: structure.ts:9
(a ∘ b) ∘ c = a ∘ (b ∘ c).
commutative
Section titled “commutative”
readonlycommutative:boolean
Defined in: structure.ts:12
a ∘ b = b ∘ a.
identity
Section titled “identity”
readonlyidentity:boolean
Defined in: structure.ts:15
An element e with e ∘ a = a ∘ e = a exists.
inverses
Section titled “inverses”
readonlyinverses:boolean
Defined in: structure.ts:18
Every element (every non-zero element, for a field) has an inverse.