ArithmeticType

Usage

ArithmeticType: Category

Description

ArithmeticType is the category of types with standard arithmetic operations.

Exports

AdditiveType
1:	%	one
*:	(%, %) $\to$ %	product
$\land$:	(%, MachineInteger) $\to$ %	exponentiation
commutative?:	Boolean	check whether $*$ is commutative
one?:	% $\to$ Boolean	test for $1$
times!:	(%, %) $\to$ %	In-place product