8.5.15 String and bytevector pathnames

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

Validation Clause: file-pathname obj

Succeed if obj satisfies the predicate file-pathname? from (vicare language-extensions posix).

Validation Clause: file-string-pathname obj

Succeed if obj satisfies the predicate file-string-pathname? from (vicare language-extensions posix).

Validation Clause: file-bytevector-pathname obj

Succeed if obj satisfies the predicate file-bytevector-pathname? from (vicare language-extensions posix).

Validation Clause: file-colon-search-path obj

Succeed if obj satisfies the predicate file-colon-search-path? from (vicare language-extensions posix).

Validation Clause: file-string-colon-search-path obj

Succeed if obj satisfies the predicate file-string-colon-search-path? from (vicare language-extensions posix).

Validation Clause: file-bytevector-colon-search-path obj

Succeed if obj satisfies the predicate file-bytevector-colon-search-path? from (vicare language-extensions posix).