package eio

  1. Overview
  2. Docs

File-system types.

Defines types used by file-systems.

module Unix_perm : sig ... end

Tranditional Unix permissions.

type path = string
exception Already_exists of path * exn
exception Not_found of path * exn
exception Permission_denied of path * exn
type create = [
  1. | `Never
    (*

    fail if the named file doesn't exist

    *)
  2. | `If_missing of Unix_perm.t
    (*

    create if file doesn't already exist

    *)
  3. | `Or_truncate of Unix_perm.t
    (*

    any existing file is truncated to zero length

    *)
  4. | `Exclusive of Unix_perm.t
    (*

    always create; fail if the file already exists

    *)
]

When to create a new file.

If a new file is created, the given permissions are used for it.

class virtual dir : object ... end

Note: use the functions in Path to access directories.

class virtual dir_with_close : object ... end