stdlib - 0.0.1

Stdlib.Data.Tree

Description

N-Ary trees with pretty printing.

Definitions

Forest (A : Type) : TypeSource#

A List of trees.

type Tree (A : Type)Source#

N-Ary tree.

Constructors

| node@{ element : A; children : List (Tree A); }

terminating draw {A} {{Show A}} (tree : Tree A) : List StringSource#

terminating drawForest {A} {{Show A}} (forest : Forest A) : List StringSource#

treeToString {A} {{Show A}} (tree : Tree A) : StringSource#

forestToString {A} {{Show A}} (forest : Forest A) : StringSource#