Language.Parser.Ptera.Pipeline.LAPEG2SRB

Documentation

laPeg2Srb :: Enum start => T start varDoc altDoc a -> T start varDoc altDoc a

type Pipeline start altDoc a = State (Context start altDoc a)

data Context start altDoc a

Constructors

Context

Fields

• ctxBuilder :: Context start a
• ctxInitialVarState :: T VarNum StateNum
• ctxReduceNotState :: T AltNum StateNum
• ctxVarMap :: T VarNum (T (Bool, StateNum))
• ctxStateMap :: HashMap (Position, NonEmpty AltNum) StateNum
• ctxStateQueue :: [(StateNum, Position, NonEmpty AltNum)]
• ctxOriginalRules :: T VarNum Rule
• ctxOriginalAlts :: T AltNum (Alt altDoc a)

laPegInitialPipeline :: Enum start => start -> VarNum -> Pipeline start altDoc a ()

laPegStateQueuePipeline :: Pipeline start altDoc a ()

laPegVarPipeline :: VarNum -> Pipeline start altDoc a (T (Bool, StateNum))

laPegRulePipeline :: VarNum -> Rule -> Pipeline start altDoc a (T (Bool, StateNum))

laPegEnterStatePipeline :: NonEmpty AltNum -> Pipeline start altDoc a (T (Bool, StateNum))

laPegStatePipeline :: StateNum -> Position -> NonEmpty AltNum -> Pipeline start altDoc a ()

laPegTransPipeline :: Position -> NonEmpty AltNum -> Pipeline start altDoc a (T Trans)

genAltMapForTrans :: Position -> NonEmpty AltNum -> Pipeline start altDoc a (T AltItemsForTrans)

data AltItemsForTrans

Constructors

AltMapForTrans

Fields

• altItemsForTransOp :: AltItemsOpForTrans
• altItemsForTransRevAlts :: NonEmpty AltNum
• altItemsForTransRest :: [AltNum]

Instances

Show AltItemsForTrans

Defined in Language.Parser.Ptera.Pipeline.LAPEG2SRB

Methods

showsPrec :: Int -> AltItemsForTrans -> ShowS

show :: AltItemsForTrans -> String

showList :: [AltItemsForTrans] -> ShowS

Eq AltItemsForTrans

Defined in Language.Parser.Ptera.Pipeline.LAPEG2SRB

Methods

(==) :: AltItemsForTrans -> AltItemsForTrans -> Bool

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

data AltItemsOpForTrans

Constructors

AltItemsOpShift

AltItemsOpEnter VarNum Bool StateNum

AltItemsOpNot

AltItemsOpReduce

Instances

Show AltItemsOpForTrans

Defined in Language.Parser.Ptera.Pipeline.LAPEG2SRB

Methods

showsPrec :: Int -> AltItemsOpForTrans -> ShowS

show :: AltItemsOpForTrans -> String

showList :: [AltItemsOpForTrans] -> ShowS

Eq AltItemsOpForTrans

Defined in Language.Parser.Ptera.Pipeline.LAPEG2SRB

Methods

(==) :: AltItemsOpForTrans -> AltItemsOpForTrans -> Bool

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

getStateForAltItems :: Position -> NonEmpty AltNum -> Pipeline start altDoc a StateNum

isNeedBackAlts :: NonEmpty AltNum -> Pipeline start altDoc a Bool

getUnitForAltItem :: Position -> AltNum -> Pipeline start altDoc a (Maybe (T, Unit))

getAlt :: AltNum -> Pipeline start altDoc a (Alt altDoc a)

getCtx :: (Context start altDoc a -> r) -> Pipeline start altDoc a r

liftBuilder :: T start a Identity r -> Pipeline start altDoc a r