examples - 0.0.0

Data.Tree

Description

N-Ary trees with pretty printing.

Definitions

Forest (A : Type) : TypeSource#

A List of trees.

positive type Tree (A : Type)Source#

N-Ary tree.

Constructors

| node A (List (Tree A))

shift (first other : String) (xs : List String) : List StringSource#

terminating draw {A} {{Show A}} : Tree A -> List StringSource#

terminating drawForest {A} {{Show A}} : Forest A -> List StringSource#

treeToString {A} {{Show A}} : Tree A -> StringSource#

forestToString {A} {{Show A}} : Forest A -> StringSource#