Module Kwvalid.File

module File: sig .. end

File Validators



val name : Kwvalid.t
name: considers valid any string that could name a file.
val existing : Kwvalid.t
existing: considers valid any string that names an existing file.
val readable : Kwvalid.t
readable: considers valid any string that names an existing readable file.
val writeable : Kwvalid.t
writeable: considers valid any string that names an existing writeable file.
val no_dot_dot : Kwvalid.t
no_dot_dot: considers valid any pathname that does NOT include ".."
val relative : Kwvalid.t
relative: considers valid any relative pathname
val absolute : Kwvalid.t
absolute: considers valid any absolute pathname