package plebeia

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

Install 

dune-project
 Dependency

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

Authors

  1. D
    DaiLambda, Inc

Maintainers

  1. J
    jun.furuse@dailambda.jp

Sources

plebeia-2.0.0.tar.gz
md5=f528f42d3e72d400265eb6bc51901fca
sha512=6cf070b2f1ea2e570a106b231a7e8e40c64c91c5a7abeddf072a5c413e74d5d9dd9b7df674cca559ddb33cabc9c0ec0b3a001306397d11b62888aac4cca9fd7e

doc/plebeia.test_utils/Test_utils/index.html

Module Test_utilsSource

include module type of struct include Plebeia.Debug end
Sourceval string_of_node : Plebeia.Node_type.node -> int -> string

Dump a node

Sourceval simple_string_of_node : Plebeia.Node_type.node -> string

Dump a node, but not recursively

Sourceval dot_of_node : Plebeia.Node_type.node -> string

Obtain Graphviz dot file representation of the tree

Sourceval dot_of_cursor : Plebeia.Cursor.cursor -> string

Obtain Graphviz dot file representation of the cursor

Sourceval save_cursor_to_dot : string -> Plebeia.Cursor.cursor -> unit
Sourceval save_node_to_dot : string -> Plebeia.Node_type.node -> unit

Graphviz visualization

include module type of struct include Plebeia.Utils end
include module type of Open
Sourceval from_Some : 'a option -> 'a
Sourceval from_Ok : ('a, 'b) result -> 'a
Sourceval from_Ok_lwt : ('a, 'b) result Lwt.t -> 'a Lwt.t
Sourceval to_file : file:string -> string -> unit

Create a file with the given string

Sourceval (^/) : string -> string -> string

Filename.concat

Sourceval with_time : (unit -> 'a) -> 'a * Mtime.span

Time the function in seconds

Sourceval with_time_lwt : (unit -> 'a Lwt.t) -> ('a * Mtime.span) Lwt.t

with_time for lwt

Sourceval failwithf : ('a, Plebeia.Utils.Format.formatter, unit, 'b) format4 -> 'a

failwith with printf interface

Sourceval (@) : 'a list -> 'a list -> 'a list

Tail recursive list concat

Sourceval reachable_words : 'a -> int

Return the words occupied by the object. Only for debugging. This costs a lot

Sourceval reachable_mbs : 'a -> float
Sourceval min : 'a -> 'a -> 'a
  • deprecated Use monomorphic min, or use Stdlib.min
Sourceval max : 'a -> 'a -> 'a
  • deprecated Use monomorphic max, or use Stdlib.max
Sourcemodule RS = Random.State
Sourceval temp_file : string -> string -> string
Sourceval with_tempdir : (string -> 'a) -> 'a
Sourceval context_confs : Plebeia.Context.config list
Sourceval with_context_conf : (Plebeia.Context.config -> 'a) -> (Plebeia.Context.config * 'a) list
Sourceval with_context_conf_lwt : (Plebeia.Context.config -> 'a Lwt.t) -> (Plebeia.Context.config * 'a) list Lwt.t
Sourceval resize_step_bytes : int
Sourceval with_context : (Plebeia.Context.t -> 'a) -> (Plebeia.Context.config * 'a) list Lwt.t
Sourceval with_context_lwt : (Plebeia.Context.t -> 'a Lwt.t) -> (Plebeia.Context.config * 'a) list Lwt.t
Sourceval with_memory_only_context : (Plebeia.Context.t -> 'a) -> (Plebeia.Context.config * 'a) list Lwt.t
Sourceval with_vc : ?prefix:string -> (Plebeia.Vc.t -> 'a Lwt.t) -> (Plebeia.Context.config * 'a) list Lwt.t
Sourceval with_cursor : (Plebeia.Cursor.t -> 'a) -> (Plebeia.Context.config * 'a) list Lwt.t
Sourceval with_memory_only_cursor : (Plebeia.Cursor.t -> 'a) -> (Plebeia.Context.config * 'a) list Lwt.t
Sourceval regression_by_hash : string -> int -> 'a -> unit
Sourceval path_of_string : string -> Plebeia.Segment.t
Sourceval ok_or_fail : ('a, Plebeia.Error.t) result -> 'a
Sourceval must_fail : ('a, 'b) result -> unit
Sourceval path : string -> Plebeia.Segment.t
Sourceval value : string -> Plebeia.Value.t
Sourceval normalize : clear_hash:bool -> Plebeia.Node.node -> Plebeia.Node.node
Sourceval normalize_view : clear_hash:bool -> Plebeia.Node.view -> Plebeia.Node.view
Sourceval equal_nodes : ignore_hash:bool -> Plebeia.Node.node -> Plebeia.Node.node -> bool
Sourceval all_children : Plebeia.Context.t -> Plebeia.Node_type.node -> (Plebeia.Segment.t * [> `Directory of Plebeia.Node.node | `File ]) list
Sourceval xassert : bool -> unit
Sourceval reraise_after : ('a -> 'b) -> 'a -> (exn -> 'c) -> 'b
Sourceval reraise_after_lwt : ('a -> 'b Lwt.t) -> 'a -> (exn -> 'c) -> 'b Lwt.t
Sourceval with_random : (RS.t -> 'a) -> 'a
Sourceval with_random_lwt : (RS.t -> 'a Lwt.t) -> 'a Lwt.t
Sourceval forget_random_nodes : RS.t -> float -> Plebeia.Node.node -> Plebeia.Node.node
Sourceval copy_file : string -> string -> unit Lwt.t
Sourceval count_nodes : Plebeia.Context.t -> Plebeia.Node_type.t -> int
Sourceval gen_node : Plebeia.Context.t -> Random.State.t -> ?min_nodes:int -> int -> Plebeia.Node_type.t
Sourceval validate_node : Plebeia.Context.t -> Plebeia.Node_type.node -> unit
Sourceval check_cursor_is_top : Plebeia.Cursor.cursor -> unit
Sourceval random_segs_to_bud_or_leaf : RS.t -> Plebeia.Cursor.cursor -> Plebeia.Segment.t list option
Sourceval dump_cursor : Plebeia.Cursor.cursor -> unit
Sourceval compare_trees : Dumb.cursor -> Plebeia.Cursor.cursor -> unit
Sourceval gen_segments : (int * int) -> int -> Plebeia.Segment.t list Plebeia.Gen.t
Sourceval prepare_tree : Random.State.t -> Plebeia.Cursor.t -> path_bits:int -> nfiles:int -> vbytes:int -> Plebeia.Cursor.t * Plebeia.Segment.t list
Sourceval random_terminal : Plebeia.Context.t -> Plebeia.Node_type.node -> Random.State.t -> Plebeia__Segment.segment list * Plebeia.Node_type.node
Sourceval ignore_lwt : 'a Lwt.t -> unit Lwt.t
Sourceval run_lwt : 'a Lwt.t -> 'a
Sourceval run_ignore_lwt : 'a Lwt.t -> unit
Sourceval exec_lwt : (unit -> 'a Lwt.t) -> unit -> 'a
Sourceval for_lwt : int -> int -> (int -> unit Lwt.t) -> unit Lwt.t
Sourcemodule SegmentSet : sig ... end
Sourcemodule SegmentListSet : sig ... end
Sourceval get_empty_buds : Plebeia.Cursor.t -> Plebeia.Path.t list
Sourcemodule NameStringSegment : sig ... end
Sourcemodule Dumb : sig ... end
Sourcemodule Do_random : sig ... end
Sourcemodule Fs_simulation : sig ... end