Data.LabeledTree

Documentation

data Tree k a

Constructors

Node

Fields

rootLabel :: a

subForest :: Forest k a

Instances

Functor (Tree k)

Foldable (Tree k)

Traversable (Tree k)

(Show k, Show a) => Show (Tree k a)

data k ::> a

Constructors

k ::> a

Instances

Functor (::> k)

Foldable (::> k)

Traversable (::> k)

(Show k, Show a) => Show (::> k a)

type Forest k a = [k ::> Tree k a]