package datakit-server

  1. Overview
  2. Docs

Module Vfs.ErrorSource

Error codes.

Sourcetype err = {
  1. errno : int32 option;
  2. descr : string;
}

The type for generic errors.

Sourcetype t =
  1. | Noent
    (*

    No such file or directory.

    *)
  2. | Isdir
    (*

    The entry is a directory.

    *)
  3. | Notdir
    (*

    The entry is not a directory.

    *)
  4. | Read_only_file
    (*

    The file is read-only.

    *)
  5. | Perm
    (*

    The operation is not permitted.

    *)
  6. | Other of err
    (*

    Generic error function.

    *)

The type for FS errors.

Sourcemodule Infix : sig ... end

Infix operators.

Sourceval no_entry : ('a, t) Result.result

no_entry is Error Noent.

Sourceval is_dir : ('a, t) Result.result

is_dir is Error Isdir.

Sourceval not_dir : ('a, t) Result.result

not_dir is Error Notdir.

Sourceval read_only_file : ('a, t) Result.result

read_only_file is Error Read_only_file.

Sourceval perm : ('a, t) Result.result

perm is Error Perm.

Sourceval other : ?errno:int32 -> ('a, unit, string, ('b, t) Result.result) format4 -> 'a

Other ~errno descr is Error { errno; descr }. errno is 0 if not set.

Sourceval negative_offset : int64 -> ('a, t) Result.result

negative_offset o is an error saying that o is negative.

Sourceval offset_too_large : offset:int64 -> int64 -> ('a, t) Result.result

offset_too_large ~offset len is an error saying that offset is beyond the end of the file (len).

Sourceval pp : t Fmt.t