bnfc

AbsBNF

Documentation

newtype Ident

Constructors

Ident String 

Instances

Eq Ident 
Ord Ident 
Show Ident 
Print Ident 
Print Ident 
Print Ident 
Print Ident 
Print Ident 
Print Ident 
Print Ident 

data LGrammar

Constructors

LGr [LDef] 

Instances

data LDef

Constructors

DefAll Def 
DefSome [Ident] Def 
LDefView [Ident] 

Instances

data Grammar

Constructors

Grammar [Def] 

Instances

data Def

Constructors

Rule Label Cat [Item] 
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 
Layout [String] 
LayoutStop [String] 
LayoutTop 

Instances

data Item

Constructors

Terminal String 
NTerminal Cat 

Instances

data Cat

Constructors

ListCat Cat 
IdCat Ident 

Instances

data Label

Constructors

LabNoP LabelId 
LabP LabelId [ProfItem] 
LabPF LabelId LabelId [ProfItem] 
LabF LabelId LabelId 

Instances

data LabelId

Constructors

Id Ident 
Wild 
ListE 
ListCons 
ListOne 

Instances

data ProfItem

Constructors

ProfIt [IntList] [Integer] 

Instances

data IntList

Constructors

Ints [Integer] 

Instances

data Arg

Constructors

Arg Ident 

Instances

data Exp

Constructors

Cons Exp Exp 
App Ident [Exp] 
Var Ident 
LitInt Integer 
LitChar Char 
LitString String 
LitDouble Double 
List [Exp] 

Instances

data RHS

Constructors

RHS [Item] 

Instances

data MinimumSize

Constructors

MNonempty 
MEmpty 

Instances

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 
Print Reg 
Print Reg 
Print Reg 
Print Reg 
Print Reg