ModuleBNFC-2.9.5Haskell2010

BNFC.Backend.Common.NamedVariables

6 types
6 values

PackageBNFC-2.9.5
Exports12
LanguageHaskell2010
LicenceBSD-3-Clause
SourceNamedVariables.hs

typetype IVar = (String, Int)

typetype UserDef = TokenCat

typetype SymEnv = KeywordEnv

A symbol-mapping environment.

typetype KeywordEnv = [(String, String)]

Map keywords to their token name.

typetype SymMap = Map SymKey String

Map keywords and user-defined token types to their token name.

datadata SymKey

Constructors

Keyword String
Keyword like "(", "while", "true", ...
Tokentype String
Token type like Integer, Char, ...

Instances3Eq, Ord, Show

Eq SymKeyDefined in BNFC-2.9.5 · BNFC.Backend.Common.NamedVariables
Ord SymKeyDefined in BNFC-2.9.5 · BNFC.Backend.Common.NamedVariables
Show SymKeyDefined in BNFC-2.9.5 · BNFC.Backend.Common.NamedVariables

valuegetVars :: [Cat] -> [IVar]

Converts a list of categories into their types to be used as instance variables. If a category appears only once, it is given the number 0, if it appears more than once, its occurrences are numbered from 1. ex:

Example1 expression

>>> getVars [Cat "A", Cat "B", Cat "A"][("A",1),("B",0),("A",2)]

valuenumVars :: [Either Cat a] -> [Either (Cat, Doc) a]

Anotate the right hand side of a rule with variable names for the non-terminals. >>> numVars [Left (Cat A), Right "+", Left (Cat B)] [Left (A,a_),Right "+",Left (B,b_)] >>> numVars [Left (Cat A), Left (Cat A), Right ";"] [Left (A,a_1),Left (A,a_2),Right ";"]

valuefixCoercions :: [(Cat, [Rule])] -> [(Cat, [Rule])]

valuevarName :: String -> String

valueshowNum :: Int -> String

valuefirstLowerCase :: String -> String