GLL.Combinators.Interface

Elementary parsers

term_parser

satisfy

Elementary parsers using the Token datatype

keychar

keyword

int_lit

bool_lit

string_lit

id_lit

token

Elementary character-level parsers

char

Elementary combinators

Sequencing

(<**>)

Choice

(<||>)

Semantic actions

(<$$>)

Nonterminal introduction

(<:=>)

(<::=>)

Types

Grammar (combinator expression) types

type BNF t a

data SymbExpr t a

data AltExpr t a

type AltExprs

Parseable token types

data Token

class Parseable a

Running a parser

parse

Running a parser with options

parseWithOptions

Possible options

type CombinatorOptions

type CombinatorOption

leftBiased

maximumPivot

maximumPivotAtNt

maximumErrors

throwErrors

Parser options

fullSPPF

allNodes

packedNodesOnly

strictBinarisation

Running a parser with options and explicit failure

parseWithOptionsAndError

Runing a parser to obtain ParseResult.

parseResult

parseResultWithOptions

data ParseResult t

Derived combinators

mkNt

Ignoring semantic results

(<$$)

(**>)

(<**)

Post-parse disambiguation

(<::=)

EBNF patterns

optional

many

some

Lifting

class HasAlts a

class IsSymbExpr a

class IsAltExpr a

Memoisation

memo

newMemoTable

memClear

type MemoTable a

type MemoRef a

useMemoisation