8.5.10 Validating C language values

The library (vicare platform words) provides the predicates to validate typical values used when interfacing with foreign C language libraries; words predicates for details.

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

Validation Clause: unsigned-char obj

Validation Clause: unsigned-char/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type unsigned char.

Validation Clause: signed-char obj

Validation Clause: signed-char/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type signed char.

Validation Clause: unsigned-short obj

Validation Clause: unsigned-short/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type unsigned short int.

Validation Clause: signed-short obj

Validation Clause: signed-short/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type signed short int.

Validation Clause: unsigned-int obj

Validation Clause: unsigned-int/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type unsigned int.

Validation Clause: unsigned-long obj

Validation Clause: unsigned-long/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type unsigned long.

Validation Clause: signed-long obj

Validation Clause: signed-long/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type signed long.

Validation Clause: unsigned-long-long obj

Validation Clause: unsigned-long-long/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type unsigned long long.

Validation Clause: signed-long-long obj

Validation Clause: signed-long-long/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type signed long long.

Validation Clause: pointer-integer obj

Validation Clause: pointer-integer/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type void *.

Validation Clause: size_t obj

Validation Clause: size_t/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type size_t.

Validation Clause: ssize_t obj

Validation Clause: ssize_t/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type ssize_t.

Validation Clause: off_t obj

Validation Clause: off_t/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type off_t.

Validation Clause: ptrdiff_t obj

Validation Clause: ptrdiff_t/false obj

Succeed if obj is an exact integer, or #f for the second variant, in the range of a C language type ptrdiff_t.