Module Kwvalid.Directory

module Directory: sig .. end

Directory Validators



val existing : Kwvalid.t
existing: considers valid any string that names an existing directory.
val subdir : ?dotok:bool -> string -> Kwvalid.t
subdir ?dotok dir: considers valid any pathname that is an existing direct subdirectory of dir
dotok : if true, then the pathname "." is also accepted (default: false)
dir : the directory to use as the root
val subtree : ?dotok:bool -> string -> Kwvalid.t
subtree ?dotok dir: considers valid any pathname that is an existing subdirectory (recursively) of dir
dotok : if true, then the pathname "." is also accepted (default: false)
dir : the directory to use as the root