BNFC-meta-0.2.2: Deriving Quasi-Quoters from BNF Grammars

Language.LBNF.Grammar

Documentation

tokens :: String -> [Token]

pDef :: [Token] -> ParseMonad Def

pRHS :: [Token] -> ParseMonad RHS

pItem :: [Token] -> ParseMonad Item

pCat :: [Token] -> ParseMonad Cat

pLabel :: [Token] -> ParseMonad Label

pMIdent :: [Token] -> ParseMonad MIdent

pHsTyp :: [Token] -> ParseMonad HsTyp

pArg :: [Token] -> ParseMonad Arg

pExp :: [Token] -> ParseMonad Exp

pReg :: [Token] -> ParseMonad Reg

data Grammar

Constructors

Grammar [Def] 

data RHS

Constructors

RHS [Item] 
TRHS Reg 

Instances

data Item

Constructors

Terminal String 
NTerminal Cat 

Instances

data Cat

Constructors

OptCat Cat 
ListCat Cat 
IdCat Ident 

Instances

data Label

Constructors

Id Ident 
Wild 
ListE 
ListCons 
ListOne 
Aq MIdent 

data MIdent

Constructors

JIdent Ident 
NIdent 

data Arg

Constructors

Arg Ident 

Instances

newtype Ident

Constructors

Ident String 

Instances