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

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

Ranged ParseTree

Selectable ParseTree

Tree ParseTree

Unparse ParseTree

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.