Language.Parser.Ptera.Machine.SRB.Builder
type T start a = BuilderT start a Source #
type BuilderT start a = StateT (Context start a) Source #
data Context start a Source #
Constructors
Fields
Defined in Language.Parser.Ptera.Machine.SRB.Builder
Methods
(==) :: Context start a -> Context start a -> Bool #
(/=) :: Context start a -> Context start a -> Bool #
showsPrec :: Int -> Context start a -> ShowS #
show :: Context start a -> String #
showList :: [Context start a] -> ShowS #
type Vars varDoc = T VarNum (Var varDoc) Source #
type Alts altDoc a = T AltNum (Alt altDoc a) Source #
build :: Monad m => Vars varDoc -> Alts altDoc a -> BuilderT start a m () -> m (T start varDoc altDoc a) Source #
genNewStateNum :: Monad m => BuilderT start a m StateNum Source #
registerInitial :: Monad m => Enum start => start -> StateNum -> BuilderT start a m () Source #
addState :: Monad m => MState -> BuilderT s a m () Source #