Language.Grammars.Grammar

Documentation

data TL

data FL a

data Grammar a

Constructors

forall env . Grammar (Ref a env) (GramEnv env env)

Instances

Show (Grammar a)

type GramEnv = Env (Productions TL)

newtype Productions l a env

Constructors

PS

Fields

unPS :: [Prod l a env]

Instances

ShowEnv (Env (Productions l) env env') => Show (Env (Productions l) env env')

Show (Productions l a env)

ShowEnv (Env (Productions l) env env')

data Prod l a env where

Constructors

Star :: Prod l (a -> b) env -> Prod l a env -> Prod l b env

FlipStar :: Prod l a env -> Prod l (a -> b) env -> Prod l b env

Sym :: Symbol a t env -> Prod l a env

Pure :: a -> Prod l a env

Fix :: Productions (FL a) a env -> Prod l a env

Var :: Prod (FL a) a env

Instances

Show (Prod l a env)

type DTerm = String

data TTerm

Instances

LabelSymbol TTerm v v

data TNonT

Instances

LabelSymbol TNonT v v

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

data TAttT

Instances

LabelSymbol TAttT v (Record HNil -> v)

data Symbol a t env where

Constructors

Term :: String -> Symbol DTerm TTerm env

Nont :: Ref a env -> Symbol a TNonT env

TermInt :: Symbol Int TAttT env

TermChar :: Symbol Char TAttT env

TermVarid :: Symbol String TAttT env

TermConid :: Symbol String TAttT env

TermOp :: Symbol String TAttT env

Instances

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

Show (Symbol a t env)

getRefNT :: Symbol a TNonT env -> Ref a env

pairEq :: Maybe (Equal a b) -> Maybe (Equal (a, t) (b, t))

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

int :: Symbol Int TAttT env

char :: Symbol Char TAttT env

var :: Symbol String TAttT env

con :: Symbol String TAttT env

op :: Symbol String TAttT env

newtype ListProd l env a

Constructors

PP

Fields

unPP :: [Prod l a env]

Instances

Idiomatic l env x (Ii -> ListProd l env x)

Idiomatic l env f g => Idiomatic l env (a -> f) (ListProd l env a -> g)

Functor (ListProd l env)

Applicative (ListProd l env)

Alternative (ListProd l env)

prod :: ListProd l env a -> Productions l a env

sym :: Symbol a t env -> ListProd l env a

nt :: Symbol a TNonT env -> ListProd l env a

ntPrd :: Symbol a TNonT env -> ListProd l env a

tr :: String -> ListProd l env DTerm

varPrd :: ListProd (FL a) env a

fixPrd :: ListProd (FL a) env a -> ListProd l env a

toFL :: ListProd l env a -> ListProd (FL b) env a

prodToFL :: Prod l a env -> Prod (FL b) a env

pSome :: ListProd (FL [a]) env a -> ListProd l env [a]

pMany :: ListProd (FL [a]) env a -> ListProd l env [a]

data Ii

The Ii is to be pronounced as stop

Constructors

Ii

Instances

Idiomatic l env x (Ii -> ListProd l env x)

iI :: Idiomatic l env (a -> a) g => g

The function iI is to be pronounced as start

class Idiomatic l env f g | g -> f l env where

Methods

idiomatic :: ListProd l env f -> g

Instances

Idiomatic l env f g => Idiomatic l env f (String -> g)

Idiomatic l env x (Ii -> ListProd l env x)

Idiomatic l env f g => Idiomatic l env ((a -> b) -> f) ((a -> b) -> g)

Idiomatic l env f g => Idiomatic l env (a -> f) (ListProd l env a -> g)

newtype LSPair nt a t env

Constructors

LSPair

Fields

symLSPair :: Symbol a t env

labelLSPair :: LSPair nt a t env -> nt

(^=) :: nt -> Symbol a t env -> LSPair nt a t env

class LabelSymbol t v v' | t v -> v' where

Methods

(<=>) :: label -> Symbol v t env -> ListProd l env (LVPair label v')

Instances

LabelSymbol TNonT v v

LabelSymbol TTerm v v

LabelSymbol TAttT v (Record HNil -> v)

class ShowEnv a where

Methods

showEnv :: Int -> a -> String

Instances

ShowEnv (Env (Productions l) env env')