plebeia 1.0.0 · OCaml Package

val string_of_node : Plebeia__.Node.node -> int -> string

Dump a node

val simple_string_of_node : Plebeia__.Node.node -> string

Dump a node, but not recursively

val dot_of_node : Plebeia__.Node.node -> string

Obtain Graphviz dot file representation of the tree

val dot_of_cursor : Plebeia__.Cursor.cursor -> string

Obtain Graphviz dot file representation of the cursor

val validate_node : 
  Plebeia__.Context.t ->
  Plebeia__.Node.node ->
  (unit, string) Result.t

Invariant checking of node

val save_cursor_to_dot : string -> Plebeia__.Cursor.cursor -> unit

val save_node_to_dot : string -> Plebeia__.Node.node -> unit

Graphviz visualization

module Exn : sig ... end

module Format : sig ... end

module String : sig ... end

module Hashtbl : sig ... end

module List : sig ... end

module Open : sig ... end

Recommended to open this module to use the values without module paths

val from_Some : 'a option -> 'a

val to_file : file:string -> string -> unit

Create a file with the given string

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

Filename.concat

val with_time : (unit -> 'a) -> 'a * float

Time the function in seconds

val failwithf : ('a, unit, string, 'b) format4 -> 'a

failwith with printf interface

val timed : (unit -> 'a) -> ('a, [> `Exn of exn ]) result * float

module RS = Random.State

val random_string : RS.t -> int -> string

val random_short_segment : ?length:int -> Random.State.t -> Segment.segment

val random_segment : ?length:int -> Random.State.t -> Segment.segment

val random_choice : RS.t -> 'a list -> 'a

val shuffle : Random.State.t -> 'a list -> 'a list

val tempfile : string

val test_with_context : int -> (Plebeia__.Context.t -> 'a) -> 'a

val test_with_cursor : (Plebeia__.Cursor.cursor -> 'a) -> 'a

val path_of_string : string -> Segment.segment

val ok_or_fail : ('a, Error.t) result -> 'a

val must_fail : ('a, 'b) result -> unit

val path : string -> Segment.segment

val value : string -> Value.t

val normalize : Plebeia__.Node.node -> Plebeia__.Node.node

val normalize_view : Plebeia__.Node.view -> Plebeia__.Node.view

val equal_nodes : Plebeia__.Node.node -> Plebeia__.Node.node -> bool

val random_node : Random.State.t -> int -> Plebeia__.Node.node

val all_children : 
  Plebeia__.Context.t ->
  Plebeia__.Node.node ->
  (Segment.segment * [> `Directory of Plebeia__.Node.node | `File ]) list

val every_leaves : 
  Plebeia__.Context.t ->
  Plebeia__.Node.node ->
  Segment.t list list

val xassert : bool -> unit

package plebeia