Language.GroteTrap

Re-exports

module Language.GroteTrap.Range

module Language.GroteTrap.Trees

module Language.GroteTrap.Language

module Language.GroteTrap.Unparse

module Language.GroteTrap.ShowTree

module Language.GroteTrap.Util

module Language.GroteTrap.Show

Parsing and evaluating

parseSentence :: Monad m => Language a -> String -> m ParseTree

Given a language and a string, yields the parse tree.

readParseTree :: Language a -> String -> ParseTree

Given a language and a string, yields the parse tree or throws an exception.

readExpression :: Language a -> String -> a

Given a language and a string, parses and evaluates the string.

data ParseTree

A generic parse tree.

Instances

Show ParseTree

Methods

showsPrec :: Int -> ParseTree -> ShowS

show :: ParseTree -> String

showList :: [ParseTree] -> ShowS

Ranged ParseTree

Methods

range :: ParseTree -> Range

begin :: ParseTree -> Pos

end :: ParseTree -> Pos

Selectable ParseTree

Methods

allowSubranges :: ParseTree -> Bool

Tree ParseTree

Methods

children :: ParseTree -> [ParseTree]

Unparse ParseTree

Methods

unparse :: ParseTree -> String

evaluate :: Language a -> ParseTree -> a

Evaluates a parse tree from a language.

evalRange :: Monad m => Language a -> ParseTree -> Range -> m [a]

Evaluates part of a parse tree. The relevant part is indicated by the range.