Next: , Previous: , Up: args predefined   [Index]


8.5.8 Validating bit–sized integers

The following bindings are exported by the library (vicare arguments validation).

Validation Clause: octet obj
Validation Clause: false-or-octet obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of an octet [0, 255].

Validation Clause: byte obj
Validation Clause: false-or-byte obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of an byte [-128, 127].

Validation Clause: byte/octet obj
Validation Clause: byte/octet/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of an byte [-128, 127] or octet [0, 255].

Validation Clause: word-u8 obj
Validation Clause: word-u8/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of an octet.

Validation Clause: word-s8 obj
Validation Clause: word-s8/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of a byte.

Validation Clause: word-u16 obj
Validation Clause: word-u16/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of an unsigned 16-bit integer.

Validation Clause: word-s16 obj
Validation Clause: word-s16/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of a signed 16-bit integer.

Validation Clause: word-u32 obj
Validation Clause: word-u32/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of an unsigned 32-bit integer.

Validation Clause: word-s32 obj
Validation Clause: word-s32/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of a signed 32-bit integer.

Validation Clause: word-u64 obj
Validation Clause: word-u64/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of an unsigned 64-bit integer.

Validation Clause: word-s64 obj
Validation Clause: word-s64/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of a signed 64-bit integer.

Validation Clause: word-u128 obj
Validation Clause: word-u128/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of an unsigned 128-bit integer.

Validation Clause: word-s128 obj
Validation Clause: word-s128/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of a signed 128-bit integer.

Validation Clause: word-u256 obj
Validation Clause: word-u256/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of an unsigned 256-bit integer.

Validation Clause: word-s256 obj
Validation Clause: word-s256/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of a signed 256-bit integer.

Validation Clause: machine-word obj
Validation Clause: machine-word/false obj

Succeed if obj is an exact integer, or #f for the second variant, fitting in the range of an unsigned machine word integer; a machine word is 32-bit or 64-bit integer.


Next: , Previous: , Up: args predefined   [Index]