Language.Parser.Ptera.Syntax.SafeGrammar

Documentation

type T = Grammar

newtype Grammar action rules tokens elem initials

Constructors

UnsafeGrammar

Fields

• unsafeGrammar :: FixedGrammar StartPoint NonTerminal Terminal elem StringLit (Maybe ()) action

type family TokensTag (tokens :: Type) :: [Symbol]

type family RulesTag (rules :: Type) :: [Symbol]

type family RuleExprType (rules :: Type) :: Type -> Type

class GrammarToken tokens elem where

Methods

tokenToTerminal :: Proxy tokens -> elem -> T (TokensTag tokens)

fixGrammar :: forall initials action rules tokens elem. MemberInitials rules initials => Rules rules => RuleExprType rules ~ RuleExpr action rules tokens elem => rules -> Grammar action rules tokens elem initials

type StartPoint = Int

type Terminal = Int

type NonTerminal = Int

class (KnownSymbol v, HasField v rules (RuleExprType rules (RuleExprReturnType rules v))) => HasRuleExprField rules v where

Minimal complete definition

Nothing

Associated Types

type RuleExprReturnType rules v :: Type

Methods

nonTerminalName :: rules -> proxy v -> String

class MemberInitials rules initials where

Methods

memberInitials :: T (DictF (HasRuleExprField rules)) initials

class Rules rules where

Methods

generateRules :: T (DictF (HasRuleExprField rules)) (RulesTag rules)

genStartPoint :: forall initials v. Membership initials v -> StartPoint

newtype RuleExpr action rules tokens elem a

Constructors

RuleExpr

Fields

• unRuleExpr :: [Alt action rules tokens elem a]

newtype Alt action rules tokens elem a

Constructors

UnsafeAlt

Fields

• unsafeAlt :: Alt IntermNonTerminal Terminal elem (Maybe ()) action a

newtype Expr rules tokens elem us

Constructors

UnsafeExpr

Fields

• unsafeExpr :: Expr IntermNonTerminal Terminal elem us

ruleExpr :: [Alt action rules tokens elem a] -> RuleExpr action rules tokens elem a

(<^>) :: Expr rules tokens elem us1 -> Expr rules tokens elem us2 -> Expr rules tokens elem (Concat us1 us2) infixr 5

(<:>) :: Expr rules tokens elem us -> action us a -> Alt action rules tokens elem a infixl 4

eps :: action '[] a -> Alt action rules tokens elem a

var :: KnownSymbol v => proxy v -> Expr rules tokens elem '[RuleExprReturnType rules v]

varA :: forall v rules tokens elem. KnownSymbol v => Expr rules tokens elem '[RuleExprReturnType rules v]

tok :: Membership (TokensTag tokens) t -> Expr rules tokens elem '[elem]

class TokensMember tokens t where

Methods

tokensMembership :: Proxy# '(tokens, t) -> Membership (TokensTag tokens) t

tokA :: forall t rules tokens elem. TokensMember tokens t => Expr rules tokens elem '[elem]