Text.GrammarCombinators.Parser.LL1

Documentation

data Token t => LL1Table phi t

Constructors

LL1Table (Memo phi (K0 (Map t Int))) (Memo phi (K0 (Maybe Int))) (Memo phi (K0 (Maybe Int)))

calcLL1Table :: forall phi r t rr. (Token t, Domain phi) => GContextFreeGrammar phi t r rr -> LL1Table phi t

parseLL1 :: forall phi ixT r t ix. (Domain phi, Token t, ProductionRule (LLRule phi ixT r t)) => ProcessingContextFreeGrammar phi t r -> LL1Table phi t -> phi ix -> [ConcreteToken t] -> Maybe (r ix)