package plebeia

  1. Overview
  2. Docs
package plebeia
Legend:
Library
Module
Module type
Parameter
Class
Class type
module F = Plebeia.Fs_impl
module S = Simulation
module Name = F.Name
module Path = F.Path
include module type of struct include F.FsError end
type t = Plebeia.Fs_types.FsError.t =
  1. | Is_file of string * path
  2. | Is_directory of string * path
  3. | No_such_file_or_directory of string * path
  4. | File_or_directory_exists of string * path
  5. | Path_decode_failure of Plebeia.Segment.t
  6. | No_pagination_count
  7. | Other of string * string

File system errors

type Plebeia.Error.t +=
  1. | FS_error of t
val error : t -> ('a, Plebeia.Error.t) result
type name = Name.t
type cursor = F.cursor * S.cursor
type raw_cursor = cursor
type view = F.view * S.view
type hash = F.hash
val make : 'a -> 'b -> 'c
type 'a op_lwt = cursor -> (cursor * 'a, Plebeia.Error.t) result Lwt.t
val error_fs : t -> ('a, Plebeia.Error.t) result
val handle_conflict : string -> (('a, Plebeia.Error.t) result * ('b, Plebeia.Error.t) result) -> ('c, Plebeia.Error.t) result
module Op : sig ... end
module Op_lwt : sig ... end
val use_f : ('a -> ('b * 'c, 'd) result) -> ('e * 'f) -> (('g * 'h) * 'i, 'j) result
val write_top_cursor : (F.cursor * 'a) -> ((F.cursor * 'a) * (Plebeia.Index.t * Plebeia.Hash.Prefix.t), Plebeia.Error.t) result
val compute_hash : (Plebeia__Fs_impl.cursor * 'a) -> ((Plebeia__Fs_impl.cursor * 'a) * Plebeia.Hash.Prefix.t, 'b) result
val may_forget : (Plebeia__Fs_impl.cursor * 'a) -> ((Plebeia__Fs_impl.cursor * 'a) * unit, 'b) result