Text.EBNF.SyntaxTree

Documentation

type Identifier = String

type Content = String

data SyntaxTree

Constructors

SyntaxTree

Fields

identifier :: !Identifier

content :: !Content

position :: !SourcePos

children :: ![SyntaxTree]

Instances

Eq SyntaxTree

Ord SyntaxTree

Show SyntaxTree

ToJSON SyntaxTree

flattenSyntaxTree :: SyntaxTree -> [SyntaxTree]

findST :: (SyntaxTree -> Bool) -> SyntaxTree -> Maybe SyntaxTree

replaceIdentifier :: Identifier -> SyntaxTree -> SyntaxTree

returns a syntax tree similar to the one passed but with the given identifier.

replaceContent :: Content -> SyntaxTree -> SyntaxTree

returns a syntax tree similar to the one passed but with the given content.

replacePosition :: SourcePos -> SyntaxTree -> SyntaxTree

returns a syntax tree similar to the one passed but with the given position.

replaceChildren :: [SyntaxTree] -> SyntaxTree -> SyntaxTree

returns a syntax tree similar to the one passed but with the given children.

insert :: SyntaxTree -> SyntaxTree -> SyntaxTree

inserts a syntax tree as a child, list is sorted by source code position

remove :: SyntaxTree -> SyntaxTree -> SyntaxTree

removes any children of st that equal st'

collapse :: (SyntaxTree -> Bool) -> SyntaxTree -> SyntaxTree

the content of the syntax tree is merged with it's parent if the predicate is met.

prune :: (SyntaxTree -> Bool) -> SyntaxTree -> SyntaxTree

prune will remove any children of tree that satisfy predicate, recursively

pruneUnderscored :: SyntaxTree -> SyntaxTree

prune any children of st whose identifier begins with an underscore. might be useful for preventing syntax trees from being polluted by base cases of single characters by annotating the EBNF definition of single-char base cases such as single letters as `_letters_ = ...`

isTerminal :: SyntaxTree -> Bool

nulltree :: SyntaxTree