ptera-core-0.1.0.0: A parser generator
Safe HaskellNone
LanguageHaskell2010

Language.Parser.Ptera.Pipeline.LAPEG2SRB

Documentation

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

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

data Context start altDoc a Source #

Constructors

Context 

Fields

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

laPegStateQueuePipeline :: Pipeline start altDoc a () Source #

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

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

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

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

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

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

data AltItemsForTrans Source #

Constructors

AltMapForTrans 

Fields

Instances

Instances details
Eq AltItemsForTrans Source # 
Instance details

Defined in Language.Parser.Ptera.Pipeline.LAPEG2SRB

Methods

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

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

Show AltItemsForTrans Source # 
Instance details

Defined in Language.Parser.Ptera.Pipeline.LAPEG2SRB

Methods

showsPrec :: Int -> AltItemsForTrans -> ShowS #

show :: AltItemsForTrans -> String #

showList :: [AltItemsForTrans] -> ShowS #

data AltItemsOpForTrans Source #

Constructors

AltItemsOpShift 
AltItemsOpEnter VarNum Bool StateNum 
AltItemsOpNot 
AltItemsOpReduce 

Instances

Instances details
Eq AltItemsOpForTrans Source # 
Instance details

Defined in Language.Parser.Ptera.Pipeline.LAPEG2SRB

Methods

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

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

Show AltItemsOpForTrans Source # 
Instance details

Defined in Language.Parser.Ptera.Pipeline.LAPEG2SRB

Methods

showsPrec :: Int -> AltItemsOpForTrans -> ShowS #

show :: AltItemsOpForTrans -> String #

showList :: [AltItemsOpForTrans] -> ShowS #

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

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

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

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

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

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