Text.ANTLR.Allstar

This module contains the glue code for hooking Sam's ParserGenerator implementation into the rest of this package.

Documentation

parse :: CanParse nts tok => [tok] -> GrammarSymbol nts (Label tok) -> ATNEnv nts (Label tok) -> Bool -> Either String (AST nts tok)

No tokenizer required (chr == tok):

parse' :: (CanParse nts tok, Prettify chr) => Tokenizer chr tok -> [chr] -> GrammarSymbol nts (Label tok) -> ATNEnv nts (Label tok) -> Bool -> Either String (AST nts tok)

Entrypoint to the ALL(*) parsing algorithm.

atnOf :: (Ord nt, Ord t, Hashable nt, Hashable t) => Grammar s nt t dt -> ATNEnv nt t

Go from an antlr-haskell Grammar to an Allstar ATNEnv. ALL(*) does not currently support predicates and mutators.

data GrammarSymbol nt t

Grammar symbol types

Constructors

NT nt

T t

EPS

Instances

(Eq nt, Eq t) => Eq (GrammarSymbol nt t)

Defined in Text.ANTLR.Allstar.ParserGenerator

Methods

(==) :: GrammarSymbol nt t -> GrammarSymbol nt t -> Bool

(/=) :: GrammarSymbol nt t -> GrammarSymbol nt t -> Bool

(Ord nt, Ord t) => Ord (GrammarSymbol nt t)

Defined in Text.ANTLR.Allstar.ParserGenerator

Methods

compare :: GrammarSymbol nt t -> GrammarSymbol nt t -> Ordering

(<) :: GrammarSymbol nt t -> GrammarSymbol nt t -> Bool

(<=) :: GrammarSymbol nt t -> GrammarSymbol nt t -> Bool

(>) :: GrammarSymbol nt t -> GrammarSymbol nt t -> Bool

(>=) :: GrammarSymbol nt t -> GrammarSymbol nt t -> Bool

max :: GrammarSymbol nt t -> GrammarSymbol nt t -> GrammarSymbol nt t

min :: GrammarSymbol nt t -> GrammarSymbol nt t -> GrammarSymbol nt t

(Show nt, Show t) => Show (GrammarSymbol nt t)

Defined in Text.ANTLR.Allstar.ParserGenerator

Methods

showsPrec :: Int -> GrammarSymbol nt t -> ShowS

show :: GrammarSymbol nt t -> String

showList :: [GrammarSymbol nt t] -> ShowS

(Prettify nt, Prettify t) => Prettify (GrammarSymbol nt t)

Defined in Text.ANTLR.Allstar.ParserGenerator

Methods

prettify :: GrammarSymbol nt t -> Pretty

prettifyList :: [GrammarSymbol nt t] -> Pretty

type ATNEnv nt t = Set (ATNEdge nt t)

A set of ATN edges, defining the grammar over which the ALL(*) parsing algorithm operates.