Language.Grammars.Grammar

Documentation

data Grammar a

Constructors

forall env . Grammar (Ref a env) (Env Productions env env)

newtype Productions a env

Constructors

PS

Fields

unPS :: [Prod a env]

data Prod a env where

Constructors

Seq :: Symbol b env -> Prod (b -> a) env -> Prod a env

End :: a -> Prod a env

data DTerm

Constructors

DTerm

data Symbol a env where

Constructors

Term :: String -> Symbol DTerm env

Nont :: Ref a env -> Symbol a env

NontInt :: Symbol Int env

NontChar :: Symbol Char env

NontVarid :: Symbol String env

NontConid :: Symbol String env

NontOp :: Symbol String env

Instances

GetNT nt (NTCons nt v l env) (Symbol v env)

ext :: Env Productions env def' -> [Prod a env] -> Env Productions env (def', a)

matchSym :: Symbol a env -> Symbol b env -> Maybe (Equal a b)

append :: (a -> b -> c) -> Prod a env -> Symbol b env -> Prod c env

data Lit a env

Constructors

Lit (a env)

int :: Lit (Symbol Int) env

char :: Lit (Symbol Char) env

var :: Lit (Symbol String) env

con :: Lit (Symbol String) env

op :: Lit (Symbol String) env