Safe Haskell	None
Language	Haskell98

Happy.Grammar

Description

This module exports the Grammar data type, which

Synopsis

newtype Name = MkName {
- getName :: Int
}
data Production eliminator = Production Name [Name] (eliminator, [Int]) Priority
data TokenSpec
- = TokenFixed String
- | TokenWithValue ExpressionWithHole
data Grammar eliminator = Grammar {
- productions :: [Production eliminator]
- lookupProdNo :: Int -> Production eliminator
- lookupProdsOfName :: Name -> [Int]
- token_specs :: [(Name, TokenSpec)]
- terminals :: [Name]
- non_terminals :: [Name]
- starts :: [(String, Name, Name, Bool)]
- types :: Array Name (Maybe String)
- token_names :: Array Name String
- first_nonterm :: Name
- first_term :: Name
- eof_term :: Name
- priorities :: [(Name, Priority)]
}
data AttributeGrammarExtras = AttributeGrammarExtras {
- attributes :: [(String, String)]
- attributetype :: String
}
data Priority
- = No
- | Prio Assoc Int
- | PrioLowest
data Assoc
- = LeftAssoc
- | RightAssoc
- | None
data ErrorHandlerInfo
- = DefaultErrorHandler
- | CustomErrorHandler String
- | ResumptiveErrorHandler String String
data ErrorExpectedMode
- = NoExpected
- | OldExpected
- | NewExpected
data Directives = Directives {
- token_type :: String
- imported_identity :: Bool
- monad :: (Bool, String, String, String, String)
- expect :: Maybe Int
- lexer :: Maybe (String, String)
- error_handler :: ErrorHandlerInfo
- error_expected :: ErrorExpectedMode
}
errorName :: String
errorTok :: Name
catchName :: String
catchTok :: Name
startName :: String
dummyName :: String
firstStartTok :: Name
dummyTok :: Name
eofName :: String
epsilonTok :: Name

Documentation

newtype Name Source #

Constructors

MkName
Fields getName :: Int

Instances

Instances details

Enum Name Source #
Instance details Defined in Happy.Grammar Methods succ :: Name -> Name pred :: Name -> Name toEnum :: Int -> Name fromEnum :: Name -> Int enumFrom :: Name -> [Name] enumFromThen :: Name -> Name -> [Name] enumFromTo :: Name -> Name -> [Name] enumFromThenTo :: Name -> Name -> Name -> [Name]
Ix Name Source #
Instance details Defined in Happy.Grammar Methods range :: (Name, Name) -> [Name] index :: (Name, Name) -> Name -> Int unsafeIndex :: (Name, Name) -> Name -> Int inRange :: (Name, Name) -> Name -> Bool rangeSize :: (Name, Name) -> Int unsafeRangeSize :: (Name, Name) -> Int
Read Name Source #
Instance details Defined in Happy.Grammar Methods readsPrec :: Int -> ReadS Name readList :: ReadS [Name] readPrec :: ReadPrec Name readListPrec :: ReadPrec [Name]
Show Name Source #
Instance details Defined in Happy.Grammar Methods showsPrec :: Int -> Name -> ShowS show :: Name -> String showList :: [Name] -> ShowS
Eq Name Source #
Instance details Defined in Happy.Grammar Methods (==) :: Name -> Name -> Bool (/=) :: Name -> Name -> Bool
Ord Name Source #
Instance details Defined in Happy.Grammar Methods compare :: Name -> Name -> Ordering (<) :: Name -> Name -> Bool (<=) :: Name -> Name -> Bool (>) :: Name -> Name -> Bool (>=) :: Name -> Name -> Bool max :: Name -> Name -> Name min :: Name -> Name -> Name

data Production eliminator Source #

Constructors

Production Name [Name] (eliminator, [Int]) Priority

Instances

Instances details

Show eliminator => Show (Production eliminator) Source #
Instance details Defined in Happy.Grammar Methods showsPrec :: Int -> Production eliminator -> ShowS show :: Production eliminator -> String showList :: [Production eliminator] -> ShowS

data TokenSpec Source #

Constructors

TokenFixed String	The token is just a fixed value
TokenWithValue ExpressionWithHole	The token is an expression involving the value of the lexed token.

Instances

Instances details

Show TokenSpec Source #
Instance details Defined in Happy.Grammar Methods showsPrec :: Int -> TokenSpec -> ShowS show :: TokenSpec -> String showList :: [TokenSpec] -> ShowS
Eq TokenSpec Source #
Instance details Defined in Happy.Grammar Methods (==) :: TokenSpec -> TokenSpec -> Bool (/=) :: TokenSpec -> TokenSpec -> Bool

data Grammar eliminator Source #

Constructors

Grammar

Fields

productions :: [Production eliminator]
lookupProdNo :: Int -> Production eliminator
lookupProdsOfName :: Name -> [Int]
token_specs :: [(Name, TokenSpec)]
terminals :: [Name]
non_terminals :: [Name]
starts :: [(String, Name, Name, Bool)]
types :: Array Name (Maybe String)
token_names :: Array Name String
first_nonterm :: Name
first_term :: Name
eof_term :: Name
priorities :: [(Name, Priority)]

Instances

Instances details

Show eliminator => Show (Grammar eliminator) Source #
Instance details Defined in Happy.Grammar Methods showsPrec :: Int -> Grammar eliminator -> ShowS show :: Grammar eliminator -> String showList :: [Grammar eliminator] -> ShowS

data AttributeGrammarExtras Source #

Constructors

AttributeGrammarExtras
Fields attributes :: [(String, String)] attributetype :: String

data Priority Source #

Constructors

No
Prio Assoc Int
PrioLowest

Instances

Instances details

Show Priority Source #
Instance details Defined in Happy.Grammar Methods showsPrec :: Int -> Priority -> ShowS show :: Priority -> String showList :: [Priority] -> ShowS
Eq Priority Source #
Instance details Defined in Happy.Grammar Methods (==) :: Priority -> Priority -> Bool (/=) :: Priority -> Priority -> Bool

data Assoc Source #

Constructors

LeftAssoc
RightAssoc
None

Instances

Instances details

Show Assoc Source #
Instance details Defined in Happy.Grammar Methods showsPrec :: Int -> Assoc -> ShowS show :: Assoc -> String showList :: [Assoc] -> ShowS

data ErrorHandlerInfo Source #

Constructors

DefaultErrorHandler	Default handler `happyError`
CustomErrorHandler String	Call this handler on error.
ResumptiveErrorHandler String String	`ResumptiveErrorHandler abort report`: Upon encountering a parse error, call non-fatal function `report`. Then try to resume parsing by finding a catch production. If that ultimately fails, call `abort`.

data ErrorExpectedMode Source #

Constructors

NoExpected	Neither `%errorhandertype explist` nor `%error.expected`
OldExpected	`%errorhandertype explist`. The error handler takes a pair `(Token, [String])`
NewExpected	`%error.expected`. The error handler takes two (or more) args `Token -> [String] -> ...`.

Instances

Instances details

Eq ErrorExpectedMode Source #
Instance details Defined in Happy.Grammar Methods (==) :: ErrorExpectedMode -> ErrorExpectedMode -> Bool (/=) :: ErrorExpectedMode -> ErrorExpectedMode -> Bool

data Directives Source #

Stuff like `%monad`, `%expect`

Constructors

Directives
Fields token_type :: String imported_identity :: Bool monad :: (Bool, String, String, String, String) expect :: Maybe Int lexer :: Maybe (String, String) error_handler :: ErrorHandlerInfo error_expected :: ErrorExpectedMode Error handler specified in `error_handler` takes a `[String]` carrying the pretty-printed expected tokens

errorName :: String Source #

errorTok :: Name Source #

catchName :: String Source #

catchTok :: Name Source #

startName :: String Source #

dummyName :: String Source #

firstStartTok :: Name Source #

dummyTok :: Name Source #

eofName :: String Source #

epsilonTok :: Name Source #