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

md5=104e71a50a29b96a4b508004a539c88a

sha512=5edcd6c73dc276011c6344e121e978d294e3b8847ce6e8b28b03a2c7f3ed6bd1a860775dfb9d5b399442d66eeffcb45d9aab6f08b4accdf9287b5b7dbbf91506

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

Module `WithSimulation.S`Source

Sourcemodule Name : sig ... end

Sourcemodule Path : sig ... end

Sourcetype name = Name.t

Sourcemodule Map : sig ... end

Sourcetype model_tree = Simulation(Base).model_tree =

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

Sourcetype raw_cursor = Simulation(Base).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 path = Path.t

Sourcetype t =

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

Sourcetype Plebeia.Error.t +=

| FS_error of t

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

Sourcemodule Context : sig ... end

Sourceval empty : 'a -> raw_cursor

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

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

Sourcemodule Op : sig ... end

Sourcemodule Op_lwt : sig ... end