package plebeia

  1. Overview
  2. Docs
Functional storage using Merkle Patricia tree

Install

Dune Dependency

Authors

Maintainers

Sources

plebeia-2.1.0.tar.gz
md5=104e71a50a29b96a4b508004a539c88a
sha512=5edcd6c73dc276011c6344e121e978d294e3b8847ce6e8b28b03a2c7f3ed6bd1a860775dfb9d5b399442d66eeffcb45d9aab6f08b4accdf9287b5b7dbbf91506

doc/plebeia.test_utils/Test_utils/Fs_simulation/WithSimulation/index.html

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.