ptera-th-0.6.0.0: A parser generator
Safe HaskellNone
LanguageHaskell2010

Language.Parser.Ptera.TH.Pipeline.SRB2ParserDec

Synopsis

Documentation

type SemanticAction ctx = Action (SemActM ctx) Source #

data PipelineParam Source #

Constructors

PipelineParam 

Fields

srb2QParser :: PipelineParam -> T Int StringLit (Maybe altDoc) (SemanticAction ctx) -> Q [Dec] Source #

outputParserInitialFn :: Name -> EnumMap Int StateNum -> Q Dec Source #

outputParserTransFn :: Name -> (Int, Int) -> T StateNum MState -> Q Dec Source #

genOutTransRepr :: Int -> T StateNum MState -> OutTransRepr Source #

tableAddrExp :: Int -> [Int] -> Q Exp Source #

addrCodeUnitsLE :: Int -> Int -> [Word8] Source #

Should correspond pteraTHLookupTable*

toTransOpsExp :: OutTransOpsRepr -> Q Exp Source #

toTransOpExp :: TransOp -> Q Exp Source #

data OutTransRepr Source #

Constructors

OutTransRepr 

Fields

data OutTransOpsRepr Source #

Constructors

OutTransWithOpsRepr [TransOp] 
OutTransReduce AltNum 

Instances

Instances details
Eq OutTransOpsRepr Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Pipeline.SRB2ParserDec

Methods

(==) :: OutTransOpsRepr -> OutTransOpsRepr -> Bool #

(/=) :: OutTransOpsRepr -> OutTransOpsRepr -> Bool #

Show OutTransOpsRepr Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Pipeline.SRB2ParserDec

Methods

showsPrec :: Int -> OutTransOpsRepr -> ShowS #

show :: OutTransOpsRepr -> String #

showList :: [OutTransOpsRepr] -> ShowS #

Generic OutTransOpsRepr Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Pipeline.SRB2ParserDec

Associated Types

type Rep OutTransOpsRepr :: Type -> Type #

Methods

from :: OutTransOpsRepr -> Rep OutTransOpsRepr x #

to :: Rep OutTransOpsRepr x -> OutTransOpsRepr #

Hashable OutTransOpsRepr Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Pipeline.SRB2ParserDec

Methods

hashWithSalt :: Int -> OutTransOpsRepr -> Int #

hash :: OutTransOpsRepr -> Int #

type Rep OutTransOpsRepr Source # 
Instance details

Defined in Language.Parser.Ptera.TH.Pipeline.SRB2ParserDec

type Rep OutTransOpsRepr = D1 ('MetaData "OutTransOpsRepr" "Language.Parser.Ptera.TH.Pipeline.SRB2ParserDec" "ptera-th-0.6.0.0-2SYtAURTLcqDzzo09V0AAt" 'False) (C1 ('MetaCons "OutTransWithOpsRepr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TransOp])) :+: C1 ('MetaCons "OutTransReduce" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 AltNum)))

outputParserAltKindFn :: Name -> T AltNum (Alt altDoc a) -> Q Dec Source #

outputParserStateHelpFn :: Name -> T StateNum MState -> Q Dec Source #

outputParserAltHelpFn :: Name -> T AltNum (Alt altDoc a) -> T VarNum (Var StringLit) -> Q Dec Source #

outputParserActionFn :: Name -> T AltNum (Alt altHelp (SemanticAction ctx)) -> Q Dec Source #

outputRunnerFn :: Name -> Name -> Name -> Name -> Name -> Name -> Name -> Name -> Q Dec Source #