Data.Extensible.Tree

Documentation

data ExtTreeData v p c where

Constructors

ExtRoot :: ExtTree v p p => ExtTreeData v p p

ExtNode :: ExtTree v pp p => (c -> (v, p)) -> ExtTreeData v p c

class Typeable c => ExtTree v p c | c -> p, p -> v where

Methods

treeData :: ExtTreeData v p c

normalChild :: p -> c

traceExtTree :: ExtTree v p c => c -> [v]

normalParent :: ExtTree v p c => c -> p

makeExtRoot :: Q Type -> Q Type -> Q [Dec]

data ExtTreeNode v where

Constructors

ExtTreeNode :: ExtTree v p c => c -> ExtTreeNode v

extAncestor :: (Typeable p, ExtTree v pp c) => c -> Maybe p

extAncestorAny :: Typeable p => ExtTreeNode v -> Maybe p