Data.Tree.Knuth

data KnuthTree a

firstTree

Query

size

elem

elemPath

isSubtreeOf

isSubtreeOf'

isProperSubtreeOf

isProperSubtreeOf'

isChildOf

isDescendantOf

isProperDescendantOf

Construction

singleton

delete

Combination

union

intersection

difference

toTree

fromTree