package core_extended

  1. Overview
  2. Docs
Extra components that are not as closely vetted or as stable as Core

Install

dune-project
 Dependency

Authors

Maintainers

Sources

core_extended-v0.14.0.tar.gz
sha256=a7bf672f617891b10e405f1edb1c2ddc1db9e5b3169bd278bbb75b84d57d23ce
md5=00eb9b3ed6b0b02f74a2cf01e4d5827f

doc/core_extended.find_files/Find_files/Options/index.html

Module Find_files.OptionsSource

Sourcetype error_handler =
  1. | Ignore
  2. | Print
  3. | Raise
  4. | Handle_with of string -> unit
Sourcetype t = {
  1. min_depth : int;
  2. max_depth : int option;
  3. on_open_errors : error_handler;
  4. on_stat_errors : error_handler;
  5. filter : (file_info -> bool) option;
  6. skip_dir : (file_info -> bool) option;
  7. relative_paths : bool;
}
Sourceval default : t
Sourceval ignore_errors : t