6.3 The MACHINE-WORDS module
6.3.1 Variables
The following variables are exported from the Machine-Words module.
$machine-word-sizeConstant
$machine-word-size :: integer
- The number of bits in the representation of a
<machine-word>.
Constant
$maximum-signed-machine-word :: machine-word
The largest machine word, when interpreted as a signed integer value.
$minimum-signed-machine-wordConstant
$minimum-signed-machine-word :: machine-word
The smallest machine word, when interpreted as a signed integer value.
$maximum-unsigned-machine-wordConstant
$maximum-unsigned-machine-word :: machine-word
The largest machine word, when interpreted as an unsigned integer value.
$minimum-unsigned-machine-wordConstant
$minimum-unsigned-machine-word :: machine-word
The smallest machine word, when interpreted as an unsigned integer value.
as-unsignedFunction
as-unsigned (t :: type, m :: machine-word) => result
- The value of
mis interpreted as an unsigned value and converted to an instance of<abstract-integer>, then the result of that conversion is converted to typetusingas.