package datakit-server

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Vfs.DirSource

Directory operations.

Sourcetype t

The type for directories.

Sourceval pp : t Fmt.t

pp is a pretty-printer for directories.

Sourceval ls : t -> Inode.t list or_err

The ls commands.

Sourceval mkfile : t -> ?perm:perm -> string -> Inode.t or_err

The mkfile command.

Sourceval lookup : t -> string -> Inode.t or_err

The lookup command.

Sourceval mkdir : t -> string -> Inode.t or_err

The mkdir command.

Sourceval remove : t -> unit or_err

The remove command. FIXME: shouldn't it be string -> unit?

Sourceval rename : t -> Inode.t -> string -> unit or_err

The rename command.

Sourceval empty : t

empty is the empty directory.

Sourceval of_list : (unit -> Inode.t list or_err) -> t

of_list l is a read-only, static directory containing only the inodes l. The sub-directories are re-evaluated on every ls and read.

of_map_ref m is a read-only directory containing the inodes defined in m. The content of the directory is computed dynamically by accessing elements in the map on every access.

Sourceval read_only : ls:(unit -> Inode.t list or_err) -> lookup:(string -> Inode.t or_err) -> remove:(unit -> unit or_err) -> t

read_only is a read-only directory. FIXME.

Sourceval dir_only : ls:(unit -> Inode.t list or_err) -> lookup:(string -> Inode.t or_err) -> mkdir:(string -> Inode.t or_err) -> remove:(unit -> unit or_err) -> rename:(Inode.t -> string -> unit or_err) -> t

dir_only is a directory which contains only directories. FIXME.

Sourceval create : ls:(unit -> Inode.t list or_err) -> mkfile:(string -> perm -> Inode.t or_err) -> lookup:(string -> Inode.t or_err) -> mkdir:(string -> Inode.t or_err) -> remove:(unit -> unit or_err) -> rename:(Inode.t -> string -> unit or_err) -> t

creae is a generic directory.

Sourceval err_read_only : 'a or_err

Errors

Sourceval err_already_exists : 'a or_err
Sourceval err_dir_only : 'a or_err
Sourceval err_no_entry : 'a or_err
OCaml

Innovation. Community. Security.