Module Mlpost.Tree

Create and draw trees

type t

The type of trees

type arrow_style =
| Directed

edges are directed and an arrow is drawn at the end of an edge

| Undirected

edges are undirected and no arrow is drawn

The style of arrows between nodes

type edge_style =
| Straight

edges are straight lines between nodes

| Curve

edges are curved lines between nodes

| Square

edges are straight lines and branch out from the sides of nodes

| HalfSquare

edges are straight lines and branch out from below nodes

There are several styles available for edges

val leaf : Box.t -> t

Creation

leaf b creates a leaf with Box b.

val node : ?⁠ls:Num.t -> ?⁠cs:Num.t -> ?⁠arrow_style:arrow_style -> ?⁠edge_style:edge_style -> ?⁠stroke:Color.t -> ?⁠brush:Brush.t -> ?⁠pen:Pen.t -> ?⁠sep:Num.t -> Box.t -> t list -> t

node label children creates a node with label label and a list of children children. Default arrow_style is Directed. Default edge_style is Straight.

  • ls (level sep): vertical distance between levels. The default value is 1.0. A negative value draws the tree upward.
  • cs (children sep): horizontal distance between siblings. The default value is 0.2. Optional arguments are the same as in leaf.
val nodel : ?⁠ls:Num.t -> ?⁠cs:Num.t -> ?⁠arrow_style:arrow_style -> ?⁠edge_style:edge_style -> ?⁠stroke:Color.t -> ?⁠brush:Brush.t -> ?⁠pen:Pen.t -> ?⁠sep:Num.t -> Box.t -> (t * (Command.position * Picture.t)) list -> t

Similar to node but with labels on edges. Labels are taken into account only when edge_style is Straight.

val bin : ?⁠ls:Num.t -> ?⁠cs:Num.t -> ?⁠arrow_style:arrow_style -> ?⁠edge_style:edge_style -> ?⁠stroke:Color.t -> ?⁠brush:Brush.t -> ?⁠pen:Pen.t -> ?⁠sep:Num.t -> Box.t -> t -> t -> t

bin label l r creates a binary node with label label and children l and r. Optional arguments are the same as in leaf.

val to_box : t -> Box.t
val draw : ?⁠debug:bool -> t -> Command.t
module Simple : sig ... end