Module Conex_ioSource

IO operations

Conex relies on providers to read data from and write data to. Each access consists of a path used as key. Only basic file types are supported (no symbolic links).

IO provider

Sourcetype t = {
  1. basedir : string;
  2. description : string;
  3. file_type : Conex_utils.path -> (Conex_utils.file_type, string) result;
  4. read : Conex_utils.path -> (string, string) result;
  5. write : Conex_utils.path -> string -> (unit, string) result;
  6. read_dir : Conex_utils.path -> (Conex_utils.item list, string) result;
  7. exists : Conex_utils.path -> bool;
}

A provider contains its base directory, a description, and read/write/exist functionality. TODO: define this as a module type.

pp t is a pretty printer for t.

Reading of resource files

The variant of read and parse errors.

pp_r_err is a pretty printer for r_err.

Sourcemodule Make (L : Conex_utils.LOGS) : sig ... end