Language.Parser.Ptera.Machine.LAPEG.Builder

Documentation

type T start varDoc altDoc a = BuilderT start varDoc altDoc a

type BuilderT start varDoc altDoc a = StateT (Context start varDoc altDoc a)

data Context start varDoc altDoc a

Constructors

Context

Fields

• ctxInitials :: EnumMap start VarNum
• ctxNextVarNum :: VarNum
• ctxNextAltNum :: AltNum
• ctxVars :: T VarNum (Var varDoc)
• ctxRules :: T VarNum Rule
• ctxAlts :: T AltNum (Alt altDoc a)

Instances

Functor (Context start varDoc altDoc)

Defined in Language.Parser.Ptera.Machine.LAPEG.Builder

Methods

fmap :: (a -> b) -> Context start varDoc altDoc a -> Context start varDoc altDoc b

(<$) :: a -> Context start varDoc altDoc b -> Context start varDoc altDoc a

(Eq varDoc, Eq a, Eq altDoc) => Eq (Context start varDoc altDoc a)

Defined in Language.Parser.Ptera.Machine.LAPEG.Builder

Methods

(==) :: Context start varDoc altDoc a -> Context start varDoc altDoc a -> Bool

(/=) :: Context start varDoc altDoc a -> Context start varDoc altDoc a -> Bool

(Enum start, Show start, Show varDoc, Show a, Show altDoc) => Show (Context start varDoc altDoc a)

Defined in Language.Parser.Ptera.Machine.LAPEG.Builder

Methods

showsPrec :: Int -> Context start varDoc altDoc a -> ShowS

show :: Context start varDoc altDoc a -> String

showList :: [Context start varDoc altDoc a] -> ShowS

build :: Monad m => BuilderT start varDoc altDoc a m () -> m (T start varDoc altDoc a)

genNewVar :: Monad m => Var varDoc -> BuilderT start varDoc altDoc a m VarNum

genNewAlt :: Monad m => Alt altDoc a -> BuilderT start varDoc altDoc a m AltNum

addInitial :: Monad m => Enum start => start -> VarNum -> BuilderT start varDoc altDoc a m ()

addRule :: Monad m => VarNum -> Rule -> BuilderT start varDoc altDoc a m ()