Module Fs_simulation.WithSimulationSource

Parameters

Signature

Sourcemodule F : sig ... end
Sourcemodule S : sig ... end
Sourcemodule Path = F.Path
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
Sourcetype error = F.error =
  1. | Is_file of string * Path.t
  2. | Is_directory of string * Path.t
  3. | No_such_file_or_directory of string * Path.t
  4. | File_or_directory_exists of string * Path.t
  5. | Path_decode_failure of Plebeia.Segment.t
  6. | Other of string * string
Sourcetype Plebeia.Error.t +=
  1. | FS_error of error
Sourceval error_fs : error -> ('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 : (F.cursor * 'a) -> ((F.cursor * 'a) * Plebeia.Hash.Prefix.t, 'b) result
Sourceval may_forget : (F.cursor * 'a) -> ((F.cursor * 'a) * unit, 'b) result