package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

Dune Dependency

gitlab.com Readme MIT License Edit opam file Versions (6)

Authors

D

DaiLambda, Inc

Maintainers

J

jun.furuse@dailambda.jp

Sources

plebeia-2.0.2.tar.gz

md5=aecc184507170faed53e543195687233

sha512=9799144ea7ebc997681353136393815ac73040e2ae5227f2787c1331bb393dbd318b1fa3ae8d075b383cda4fe7584b80f7f32a4aa99c870a0bd2d76e91024bf5

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

Module `Fs_simulation.WithSimulation`Source

Parameters

module Name : Plebeia.Fs_intf.NAME

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 empty : Plebeia.Context.t -> F.cursor * S.raw_cursor

Sourceval make : 'a -> 'b -> 'c

Sourcetype 'a op_lwt = cursor -> (cursor * 'a, Plebeia.Error.t) result Lwt.t

Sourcetype error = F.error =

| Is_file of string * Path.t
| Is_directory of string * Path.t
| No_such_file_or_directory of string * Path.t
| File_or_directory_exists of string * Path.t
| Path_decode_failure of Plebeia.Segment.t
| Other of string * string

Sourcetype Plebeia.Error.t +=

| FS_error of error

Sourceval error_fs : error -> ('a, Plebeia.Error.t) result

Source

val 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

Source

val use_f : 
  ('a -> ('b * 'c, 'd) result) ->
  ('a * 'e) ->
  (('b * 'e) * 'c, 'd) result

Source

val write_top_cursor : 
  (F.cursor * 'a) ->
  ((F.cursor * 'a) * (Plebeia.Index.t * Plebeia.Hash.Prefix.t),
    Plebeia.Error.t)
    result

Source

val 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

On This Page

Parameters
Signature

package plebeia

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Fs_simulation.WithSimulationSource

Parameters

Signature

Module `Fs_simulation.WithSimulation`Source