Language.GroteTrap.ParseTree

A generic parse tree. A ParseTree and a Language together provide enough information to fully evaluate the input sentence.

Type ParseTree

data ParseTree

A generic parse tree.

Constructors

PId Pos String

PInt Pos Int

PUnary Range String ParseTree

PBinary Range String ParseTree ParseTree

PList Bool [Range] String [ParseTree]

PCall Range String [ParseTree]

PParens Range ParseTree

Instances

Show ParseTree

KnowsPosition ParseTree

Selectable ParseTree

Tree ParseTree

Unparse ParseTree

Catamorphisms

data ParseTreeAlg a

An algebra for parse trees catamorphisms.

Constructors

ParseTreeAlg

Fields

algId :: Pos -> String -> a

algInt :: Pos -> Int -> a

algUnary :: Range -> String -> a -> a

algBinary :: Range -> String -> a -> a -> a

algList :: Bool -> [Range] -> String -> [a] -> a

algCall :: Range -> String -> [a] -> a

algParens :: Range -> a -> a

foldParseTree :: ParseTreeAlg a -> ParseTree -> a

Folds parse trees using an algebra.

Evaluation

evaluate :: Language a -> ParseTree -> a

Evaluates a parse tree from a language.