package plebeia

You can search for identifiers within the package.

in-package search v0.2.0

Functional storage using Merkle Patricia tree

Install

dune-project

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.1.tar.gz

md5=f7d5a3c433784118777699713d437f00

sha512=56d88855cd5553f8f398436c67df2229e4ccad75143057704e7af3153aad47ee6f09e6aeada049514a77871096aeb912ea3ddc4ad620970bf8301c2ee27f4c54

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

Module `WithSimulation.S`Source

Sourcemodule Path : sig ... end

Sourcetype name = Name.t

Sourcemodule Map : sig ... end

Sourcetype model_tree = Simulation(Name).model_tree =

| File of Plebeia.Value.t
| Dir of model_tree Map.t

Sourcetype raw_cursor = Simulation(Name).raw_cursor =

| Z of model_tree * (name * model_tree Map.t) list

Sourcetype cursor = raw_cursor

Sourcetype view = model_tree

Sourcetype hash = string

Sourceval pp_model_tree_map : Format.formatter -> model_tree Map.t -> unit

Sourceval pp_view : Format.formatter -> model_tree -> unit

Sourceval pp_trail : Format.formatter -> (Name.t * model_tree Map.t) list -> unit

Sourceval pp_cursor : Format.formatter -> raw_cursor -> unit

Sourcetype 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

Sourcemodule Context : sig ... end

Sourceval empty : 'a -> raw_cursor

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

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

Sourcemodule Op : sig ... end

Sourcemodule Op_lwt : sig ... end