Language.Parser.Ptera.Machine.SRB.Builder

Documentation

type T start a = BuilderT start a

type BuilderT start a = StateT (Context start a)

data Context start a

Constructors

Context

Fields

• ctxInitials :: EnumMap start StateNum
• ctxNextStateNum :: StateNum
• ctxStates :: T StateNum MState

Instances

Eq (Context start a)

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

Methods

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

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

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

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

Methods

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

show :: Context start a -> String

showList :: [Context start a] -> ShowS

type Vars varDoc = T VarNum (Var varDoc)

type Alts altDoc a = T AltNum (Alt altDoc a)

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

genNewStateNum :: Monad m => BuilderT start a m StateNum

registerInitial :: Monad m => Enum start => start -> StateNum -> BuilderT start a m ()

addState :: Monad m => MState -> BuilderT s a m ()