package plebeia

  1. Overview
  2. Docs

Module Fs_simulation.WithSimulationSource

Sourcemodule S = Simulation
Sourcemodule Name = F.Name
Sourcemodule Path = F.Path
include module type of struct include F.FsError end
Sourcetype 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

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