Language.LBNF.Grammar

Documentation

tokens :: String -> [Token]

pGrammar :: [Token] -> ParseMonad Grammar

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

pMinimumSize :: [Token] -> ParseMonad MinimumSize

pReg :: [Token] -> ParseMonad Reg

qGrammar :: [Token] -> ParseMonad BNFC_QQType

qDef :: [Token] -> ParseMonad BNFC_QQType

qRHS :: [Token] -> ParseMonad BNFC_QQType

qItem :: [Token] -> ParseMonad BNFC_QQType

qCat :: [Token] -> ParseMonad BNFC_QQType

qLabel :: [Token] -> ParseMonad BNFC_QQType

qMIdent :: [Token] -> ParseMonad BNFC_QQType

qHsTyp :: [Token] -> ParseMonad BNFC_QQType

qArg :: [Token] -> ParseMonad BNFC_QQType

qExp :: [Token] -> ParseMonad BNFC_QQType

qMinimumSize :: [Token] -> ParseMonad BNFC_QQType

qReg :: [Token] -> ParseMonad BNFC_QQType

grammar :: QuasiQuoter

def :: QuasiQuoter

rHS :: QuasiQuoter

item :: QuasiQuoter

cat :: QuasiQuoter

label :: QuasiQuoter

mIdent :: QuasiQuoter

hsTyp :: QuasiQuoter

arg :: QuasiQuoter

exp :: QuasiQuoter

minimumSize :: QuasiQuoter

reg :: QuasiQuoter

data Grammar

Constructors

Grammar [Def]

Instances

Eq Grammar

Ord Grammar

Show Grammar

Print Grammar

data Def

Constructors

Rule Label Cat RHS

Comment String

Comments String String

Internal Label Cat [Item]

Token Ident Reg

PosToken Ident Reg

Entryp [Ident]

Separator MinimumSize Cat String

Terminator MinimumSize Cat String

Coercions Ident Integer

Rules Ident [RHS]

Function Ident [Arg] Exp

External Ident HsTyp

AntiQuote String String String

Layout [String]

LayoutStop [String]

LayoutTop

Instances

Eq Def

Ord Def

Show Def

Print Def

data RHS

Constructors

RHS [Item]

TRHS Reg

Instances

Eq RHS

Ord RHS

Show RHS

Print RHS

data Item

Constructors

Terminal String

NTerminal Cat

Instances

Eq Item

Ord Item

Show Item

Print Item

data Cat

Constructors

OptCat Cat

ListCat Cat

IdCat Ident

Instances

Eq Cat

Ord Cat

Show Cat

Print Cat

data Label

Constructors

Id Ident

Wild

ListE

ListCons

ListOne

Aq MIdent

Instances

Eq Label

Ord Label

Show Label

Print Label

data MIdent

Constructors

JIdent Ident

NIdent

Instances

Eq MIdent

Ord MIdent

Show MIdent

Print MIdent

data HsTyp

Constructors

HsApp HsTyp HsTyp

HsCon Ident

HsTup [HsTyp]

HsList HsTyp

Instances

Eq HsTyp

Ord HsTyp

Show HsTyp

Print HsTyp

data Arg

Constructors

Arg Ident

Instances

Eq Arg

Ord Arg

Show Arg

Print Arg

data Exp

Constructors

Cons Exp Exp

App Ident [Exp]

Var Ident

LitInt Integer

LitChar Char

LitString String

LitDouble Double

List [Exp]

Instances

Eq Exp

Ord Exp

Show Exp

Print Exp

data MinimumSize

Constructors

MNonempty

MEmpty

Instances

Eq MinimumSize

Ord MinimumSize

Show MinimumSize

Print MinimumSize

data Reg

Constructors

RSeq Reg Reg

RAlt Reg Reg

RMinus Reg Reg

RStar Reg

RPlus Reg

ROpt Reg

REps

RChar Char

RAlts String

RSeqs String

RDigit

RLetter

RUpper

RLower

RAny

Instances

Eq Reg

Ord Reg

Show Reg

Print Reg

Print Reg

newtype Ident

Constructors

Ident String

Instances

Eq Ident

Ord Ident

Show Ident

Print Ident

Print Ident