Safe Haskell | None |
---|
Language.LBNF.Grammar
Documentation
myLexer :: String -> [Token]
tokens :: String -> [Token]
pGrammar :: [Token] -> ParseMonad Grammar
pListDef :: [Token] -> ParseMonad [Def]
pListItem :: [Token] -> ParseMonad [Item]
pDef :: [Token] -> ParseMonad Def
pRHS :: [Token] -> ParseMonad RHS
pListRHS :: [Token] -> ParseMonad [RHS]
pItem :: [Token] -> ParseMonad Item
pCat :: [Token] -> ParseMonad Cat
pCat1 :: [Token] -> ParseMonad Cat
pLabel :: [Token] -> ParseMonad Label
pMIdent :: [Token] -> ParseMonad MIdent
pHsTyp :: [Token] -> ParseMonad HsTyp
pHsTyp1 :: [Token] -> ParseMonad HsTyp
pListHsTyp :: [Token] -> ParseMonad [HsTyp]
pArg :: [Token] -> ParseMonad Arg
pListArg :: [Token] -> ParseMonad [Arg]
pExp :: [Token] -> ParseMonad Exp
pExp1 :: [Token] -> ParseMonad Exp
pExp2 :: [Token] -> ParseMonad Exp
pListExp2 :: [Token] -> ParseMonad [Exp]
pListExp :: [Token] -> ParseMonad [Exp]
pListString :: [Token] -> ParseMonad [String]
pMinimumSize :: [Token] -> ParseMonad MinimumSize
pReg2 :: [Token] -> ParseMonad Reg
pReg1 :: [Token] -> ParseMonad Reg
pReg3 :: [Token] -> ParseMonad Reg
pReg :: [Token] -> ParseMonad Reg
pListIdent :: [Token] -> ParseMonad [Ident]
qGrammar :: [Token] -> ParseMonad BNFC_QQType
qListDef :: [Token] -> ParseMonad BNFC_QQType
qListItem :: [Token] -> ParseMonad BNFC_QQType
qDef :: [Token] -> ParseMonad BNFC_QQType
qRHS :: [Token] -> ParseMonad BNFC_QQType
qListRHS :: [Token] -> ParseMonad BNFC_QQType
qItem :: [Token] -> ParseMonad BNFC_QQType
qCat :: [Token] -> ParseMonad BNFC_QQType
qCat1 :: [Token] -> ParseMonad BNFC_QQType
qLabel :: [Token] -> ParseMonad BNFC_QQType
qMIdent :: [Token] -> ParseMonad BNFC_QQType
qHsTyp :: [Token] -> ParseMonad BNFC_QQType
qHsTyp1 :: [Token] -> ParseMonad BNFC_QQType
qListHsTyp :: [Token] -> ParseMonad BNFC_QQType
qArg :: [Token] -> ParseMonad BNFC_QQType
qListArg :: [Token] -> ParseMonad BNFC_QQType
qExp :: [Token] -> ParseMonad BNFC_QQType
qExp1 :: [Token] -> ParseMonad BNFC_QQType
qExp2 :: [Token] -> ParseMonad BNFC_QQType
qListExp2 :: [Token] -> ParseMonad BNFC_QQType
qListExp :: [Token] -> ParseMonad BNFC_QQType
qListString :: [Token] -> ParseMonad BNFC_QQType
qMinimumSize :: [Token] -> ParseMonad BNFC_QQType
qReg2 :: [Token] -> ParseMonad BNFC_QQType
qReg1 :: [Token] -> ParseMonad BNFC_QQType
qReg3 :: [Token] -> ParseMonad BNFC_QQType
qReg :: [Token] -> ParseMonad BNFC_QQType
qListIdent :: [Token] -> ParseMonad BNFC_QQType
grammar :: QuasiQuoter
listDef :: QuasiQuoter
listItem :: QuasiQuoter
def :: QuasiQuoter
rHS :: QuasiQuoter
listRHS :: QuasiQuoter
item :: QuasiQuoter
cat :: QuasiQuoter
cat1 :: QuasiQuoter
label :: QuasiQuoter
mIdent :: QuasiQuoter
hsTyp :: QuasiQuoter
hsTyp1 :: QuasiQuoter
listHsTyp :: QuasiQuoter
arg :: QuasiQuoter
listArg :: QuasiQuoter
exp :: QuasiQuoter
exp1 :: QuasiQuoter
exp2 :: QuasiQuoter
listExp2 :: QuasiQuoter
listExp :: QuasiQuoter
listString :: QuasiQuoter
minimumSize :: QuasiQuoter
reg2 :: QuasiQuoter
reg1 :: QuasiQuoter
reg3 :: QuasiQuoter
reg :: QuasiQuoter
listIdent :: QuasiQuoter
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 | |
Derive [Ident] | |
Layout [String] | |
LayoutStop [String] | |
LayoutTop |
data Label
data HsTyp
data Exp
data MinimumSize
Instances
Eq MinimumSize | |
Ord MinimumSize | |
Show MinimumSize | |
Print MinimumSize |