IntegerType

Usage

IntegerType: Category

Description

IntegerType is the category of types representing integers.

Exports

BooleanArithmeticType
HashType
InputType
OrderedArithmeticType
OutputType
SerializableType
bit?:	(%, MachineInteger) $\to$ Boolean	check a bit
clear:	(%, MachineInteger) $\to$ %	clear a bit
coerce:	MachineInteger $\to$ %	conversion from machine integer
divide:	(%, %) $\to$ (%, %)	Euclidean division
even?:	% $\to$ Boolean	test whether a number is even
factorial:	% $\to$ %	factorial
gcd:	(%, %) $\to$ %	greatest common divisor
lcm:	(%, %) $\to$ %	least common multiple
length:	% $\to$ MachineInteger	number of bits
machine:	% $\to$ MachineInteger	conversion to a machine integer
mod:	(%, %) $\to$ %	remainder
	(%, MachineInteger) $\to$ MachineInteger
next:	% $\to$ %	next greater integer
nthRoot:	(%, %) $\to$ (Boolean, %)	${n}^{{\rm th}}$-root
odd?:	% $\to$ Boolean	test whether a number is odd
prev:	% $\to$ %	next smaller integer
quo:	(%, %) $\to$ %	quotient
random:	() $\to$ %	random integer
	MachineInteger $\to$ %
rem:	(%, %) $\to$ %	remainder
set:	(%, MachineInteger) $\to$ %	set a bit
shift:	(%, MachineInteger) $\to$ %	shift
shift!:	(%, MachineInteger) $\to$ %	in-place shift