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


8.5.18 Validating pointers

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

Validation Clause: pointer obj

Succeed if obj is a pointer.

Validation Clause: pointer/false obj

Succeed if obj is #f or a pointer.

Validation Clause: non-null-pointer obj

Succeed if obj is a pointer and it does not represent NULL.

Validation Clause: c-callback obj

Succeed if obj is a pointer object.

Validation Clause: c-callback/false obj

Succeed if obj is #f or a pointer object.