Module `Test_utils`Source

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

Sourcemodule Exn = Plebeia.Utils.Exn

Sourcemodule Format = Plebeia.Utils.Format

Sourcemodule String = Plebeia.Utils.String

Sourcemodule List = Plebeia.Utils.List

Sourcemodule Array = Plebeia.Utils.Array

Sourcemodule Open = Plebeia.Utils.Open

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 Int = Plebeia.Utils.Int

Sourcemodule RS = Random.State

Sourceval temp_file : string -> string -> string

Sourceval with_tempdir : (string -> 'a) -> 'a

Sourceval context_confs : Plebeia.Context.config list

Source

val with_context_conf : 
  (Plebeia.Context.config -> 'a) ->
  (Plebeia.Context.config * 'a) list

Source

val with_context_conf_lwt : 
  (Plebeia.Context.config -> 'a Lwt.t) ->
  (Plebeia.Context.config * 'a) list Lwt.t

Sourceval resize_step_bytes : int

Source

val with_context : 
  (Plebeia.Context.t -> 'a) ->
  (Plebeia.Context.config * 'a) list Lwt.t

Source

val with_context_lwt : 
  (Plebeia.Context.t -> 'a Lwt.t) ->
  (Plebeia.Context.config * 'a) list Lwt.t

Source

val with_memory_only_context : 
  (Plebeia.Context.t -> 'a) ->
  (Plebeia.Context.config * 'a) list Lwt.t

Source

val with_vc : 
  ?prefix:string ->
  (Plebeia.Vc.t -> 'a Lwt.t) ->
  (Plebeia.Context.config * 'a) list Lwt.t

Source

val with_cursor : 
  (Plebeia.Cursor.t -> 'a) ->
  (Plebeia.Context.config * 'a) list Lwt.t

Source

val 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

Source

val equal_nodes : 
  ignore_hash:bool ->
  Plebeia.Node.node ->
  Plebeia.Node.node ->
  bool

Source

val 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

Source

val forget_random_nodes : 
  RS.t ->
  float ->
  Plebeia.Node.node ->
  Plebeia.Node.node

Source

val leaves : 
  Plebeia.Context.t ->
  Plebeia.Node_type.node ->
  Plebeia.Segment.t list list

Source

val choose_random_node : 
  float ->
  RS.t ->
  Plebeia.Context.t ->
  Plebeia.Node_type.node ->
  Plebeia.Segment.Segs.t

Source

val make_resemble : 
  RS.t ->
  Plebeia.Context.t ->
  Plebeia.Node_type.node ->
  Plebeia.Node_type.node

Sourceval copy_file : string -> string -> unit Lwt.t

Sourceval count_nodes : Plebeia.Context.t -> Plebeia.Node_type.t -> int

Source

val 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

Source

val 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

Source

val prepare_tree : 
  Random.State.t ->
  Plebeia.Cursor.t ->
  path_bits:int ->
  nfiles:int ->
  vbytes:int ->
  Plebeia.Cursor.t * Plebeia.Segment.t list

Source

val 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_leaves : Plebeia.Cursor.t -> SegmentListSet.t

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

package plebeia

Module Test_utilsSource

Module `Test_utils`Source