AdditiveType

Next: . Up: Arithmetic Previous: AldorInteger Contents Index

AdditiveType

Usage

AdditiveType: Category

Description

AdditiveType is the category of types with addition/substraction operations.

Exports

PrimitiveType

0 : % zero

+ : (%, %) $\to$ % addition

- : % $\to$ % opposite

- : (%, %) $\to$ % substraction

add!: (%, %) $\to$ % In-place addition

minus!: % $\to$ % In-place opposite

minus!: (%, %) $\to$ % In-place substraction

zero?: % $\to$ Boolean test for

Subsections

.
+,-
add!,minus!
zero?

Manuel Bronstein 2004-06-28

`PrimitiveType`
`0` :	%	zero
`+` :	(%, %) $\to$ %	addition
`-` :	% $\to$ %	opposite
`-` :	(%, %) $\to$ %	substraction
`add!`:	(%, %) $\to$ %	In-place addition
`minus!`:	% $\to$ %	In-place opposite
`minus!`:	(%, %) $\to$ %	In-place substraction
`zero?`:	% $\to$ `Boolean`	test for