GLL.Combinators.Interface

Elementary parsers

term_parser

satisfy

Elementary parsers using the Token datatype

keychar

keyword

int_lit

bool_lit

char_lit

string_lit

alt_id_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

class SubsumesToken a

unlexTokens

unlexToken

Running a parser

parse

Running a parser with options

parseWithOptions

Possible options

type CombinatorOptions

type CombinatorOption

maximumErrors

throwErrors

maximumPivot

maximumPivotAtNt

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

Builtin lexers.

default_lexer

Lexer settings

lexer

data LexerSettings

emptyLanguage

Derived combinators

mkNt

Ignoring semantic results

(<$$)

(**>)

(<**)

EBNF patterns

optional

multiple

multiple1

multipleSepBy

multipleSepBy1

multipleSepBy2

within

parens

braces

brackets

angles

Disambiguation

(<:=)

(<::=)

(<<<**>)

(<**>>>)

(<<**>)

(<<<**)

(**>>>)

(<**>>)

rassoc

lassoc

assoc

many

many1

some

some1

manySepBy

manySepBy1

manySepBy2

someSepBy

someSepBy1

someSepBy2

Lifting

class HasAlts a

class IsSymbExpr a

class IsAltExpr a

Memoisation

memo

newMemoTable

memClear

type MemoTable a

type MemoRef a

useMemoisation