Text.GrammarCombinators.Parser.RealLL1

This is an experiment, do not use.

Documentation

data Token t => FirstSet t

Constructors

FS

Fields

firstTokens :: Set t

canBeEmpty :: Bool

canBeEOI :: Bool

Instances

Token t => Show (FirstSet t)

Token t => Lift (FirstSet t)

data BranchSelectorMemo t

Constructors

DefaultBranchSelectorMemo

SplitBranchSelectorMemoL (FirstSet t) (BranchSelectorMemo t) (BranchSelectorMemo t)

FlipBS (BranchSelectorMemo t)

Instances

Token t => Lift (BranchSelectorMemo t)

newtype RealLL1Table phi t

Constructors

MkRealLL1Table (Memo phi (K0 (BranchSelectorMemo t)))

parseRealLL1 :: forall phi ixT t r ix. (Domain phi, Token t) => RealLL1Grammar phi ixT r r t -> RealLL1Table phi t -> phi ix -> [ConcreteToken t] -> Maybe (r ix)

prepareLL1Parser :: (Domain phi, Token t) => BSCGrammar phi r t rr -> RealLL1Table phi t