Language.Parser.Ptera.Syntax.Grammar

Documentation

type T start nonTerminal terminal elem varDoc altDoc action = GrammarT start nonTerminal terminal elem varDoc altDoc action

type GrammarT start nonTerminal terminal elem varDoc altDoc action = StateT (Context start nonTerminal terminal elem varDoc altDoc action)

data Context start nonTerminal terminal elem varDoc altDoc action

Constructors

Context

Fields

• ctxStarts :: EnumMap start nonTerminal
• ctxRules :: EnumMap nonTerminal (RuleExpr nonTerminal terminal elem altDoc action)
• ctxDisplayNonTerminals :: EnumMap nonTerminal varDoc

fixGrammarT :: Monad m => GrammarT start nonTerminal terminal elem varDoc altDoc action m () -> m (FixedGrammar start nonTerminal terminal elem varDoc altDoc action)

data FixedGrammar start nonTerminal terminal elem varDoc altDoc action

Constructors

FixedGrammar

Fields

• grammarStarts :: EnumMap start nonTerminal
• grammarRules :: EnumMap nonTerminal (RuleExpr nonTerminal terminal elem altDoc action)
• grammarDisplayNonTerminals :: EnumMap nonTerminal varDoc

data Action (action :: [Type] -> Type -> Type) where

Constructors

Action :: action us a -> Action action

data RuleExpr nonTerminal terminal elem altDoc action where

Constructors

RuleExpr :: [Alt nonTerminal terminal elem altDoc action a] -> RuleExpr nonTerminal terminal elem altDoc action

data Alt nonTerminal terminal elem altDoc action a where

Constructors

Alt :: Expr nonTerminal terminal elem us -> altDoc -> action us a -> Alt nonTerminal terminal elem altDoc action a

type Expr nonTerminal terminal elem = T (Unit nonTerminal terminal elem)

data Unit nonTerminal terminal elem u where

Constructors

UnitToken :: terminal -> Unit nonTerminal terminal elem elem

UnitVar :: nonTerminal -> Unit nonTerminal terminal elem u

initialT :: Enum start => Monad m => start -> nonTerminal -> GrammarT start nonTerminal terminal elem varDoc altDoc action m ()

ruleT :: Enum nonTerminal => Monad m => nonTerminal -> varDoc -> RuleExpr nonTerminal terminal elem altDoc action -> GrammarT start nonTerminal terminal elem varDoc altDoc action m ()