Ideas.Common.DerivationTree

Data types

data DerivationTree s a

Constructors

singleNode

addBranches

makeTree

Query

root

endpoint

branches

subtrees

leafs

lengthMax

Adapters

restrictHeight

restrictWidth

updateAnnotations

cutOnStep

mergeMaybeSteps

sortTree

cutOnTerm

Conversions

derivation

randomDerivation

derivations