Language.Parser.Ptera.TH.Pipeline.SRB2ParserDec

Documentation

type SemanticAction ctx = Action (SemActM ctx)

data PipelineParam

Constructors

PipelineParam

Fields

• startsTy :: Q Type
• rulesTy :: Q Type
• tokensTy :: Q Type
• tokenTy :: Q Type
• customCtxTy :: Q Type
• tokenBounds :: (Int, Int)

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

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

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

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

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

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

Should correspond pteraTHLookupTable*

toTransOpsExp :: OutTransOpsRepr -> Q Exp

toTransOpExp :: TransOp -> Q Exp

data OutTransRepr

Constructors

OutTransRepr

Fields

• outTransReprStates :: [Int]
• outTransReprOpsNums :: [Int]
• outTransReprTransOps :: [Q Exp]
• outTransReprNextOpsNum :: Int
• outTransReprOpsMap :: HashMap OutTransOpsRepr Int

data OutTransOpsRepr

Constructors

OutTransWithOpsRepr [TransOp]

OutTransReduce AltNum

Instances

Eq OutTransOpsRepr

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

Methods

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

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

Show OutTransOpsRepr

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

Methods

showsPrec :: Int -> OutTransOpsRepr -> ShowS

show :: OutTransOpsRepr -> String

showList :: [OutTransOpsRepr] -> ShowS

Generic OutTransOpsRepr

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

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

Methods

hashWithSalt :: Int -> OutTransOpsRepr -> Int

hash :: OutTransOpsRepr -> Int

type Rep OutTransOpsRepr

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

type Rep OutTransOpsRepr = D1 ('MetaData "OutTransOpsRepr" "Language.Parser.Ptera.TH.Pipeline.SRB2ParserDec" "ptera-th-0.1.0.0-HaNSAuERY4OB5ZTf38A0TZ" '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

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

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

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

outputRunnerFn :: Name -> Name -> Name -> Name -> Name -> Name -> Name -> Name -> Q Dec