package plebeia

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

Module Fs_simulation.WithSimulationSource

Parameters

Signature

Sourcemodule F : sig ... end
Sourcemodule S : sig ... end
Sourcemodule Name = Base.Name
Sourcemodule Path = Base.Path
Sourcemodule FsError = Base.FsError
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 : FsError.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 : (F.cursor * 'a) -> ((F.cursor * 'a) * Plebeia.Hash.Prefix.t, 'b) result
Sourceval may_forget : (F.cursor * 'a) -> ((F.cursor * 'a) * unit, 'b) result
OCaml

Innovation. Community. Security.