Language.Grammars.Grammar

Documentation

data TL

data FL a

data NF

data Grammar a

Constructors

forall env . Grammar (Ref a env) (FinalEnv (Productions NF) env)

newtype Productions l a env

Constructors

PS

Fields

unPS :: [Prod l a env]

data Prod l a env where

Constructors

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

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

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

Pure :: a -> Prod l a env

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

Var :: Prod (FL a) a env

type GramEnv = Env (Productions NF)

type PreGramEnv = Env (Productions TL)

newtype PreProductions l env a

Constructors

PP

Fields

unPP :: [Prod l a env]

Instances

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

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

Functor (PreProductions l env)

Functor (PreProductions l env) => Applicative (PreProductions l env)

Applicative (PreProductions l env) => Alternative (PreProductions l env)

type Line = Int

type Column = Int

type Filename = String

data Pos

Constructors

Pos !Line !Column

PosFile !Line !Column Filename

Instances

Eq Pos

Show Pos

data DTerm a

Constructors

DTerm

Fields

pos :: Pos

value :: a

Instances

Idiomatic l env f g => Idiomatic l env ((Record HNil -> DTerm String) -> f) (Kw -> g)

Eq a => Eq (DTerm a)

Show a => Show (DTerm a)

mkDTerm :: a -> DTerm a

data TTerm

Instances

LabelSymbol TTerm v v

data TNonT

Instances

LabelSymbol TNonT v v

Idiomatic l env f g => Idiomatic l env (a -> f) (Symbol a TNonT env -> g)

GetNTBool HTrue nt1 (NTCons nt1 v l env) (Symbol v TNonT env) (tenv env)

GetNTLabel nt (nts env) (Symbol a TNonT env) (nts env) => GetNT nt (Export start nts env) (Symbol a TNonT env)

data TAttT

Instances

LabelSymbol TAttT v (Record HNil -> v)

Idiomatic l env f g => Idiomatic l env ((Record HNil -> a) -> f) (Symbol a TAttT env -> g)

data Symbol a t env where

Constructors

Term :: String -> Symbol (DTerm String) TTerm env

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

TermInt :: Symbol (DTerm Int) TAttT env

TermChar :: Symbol (DTerm Char) TAttT env

TermVarid :: Symbol (DTerm String) TAttT env

TermConid :: Symbol (DTerm String) TAttT env

TermOp :: Symbol (DTerm String) TAttT env

Instances

Idiomatic l env f g => Idiomatic l env ((Record HNil -> a) -> f) (Symbol a TAttT env -> g)

Idiomatic l env f g => Idiomatic l env (a -> f) (Symbol a TNonT env -> g)

GetNTBool HTrue nt1 (NTCons nt1 v l env) (Symbol v TNonT env) (tenv env)

GetNTLabel nt (nts env) (Symbol a TNonT env) (nts env) => GetNT nt (Export start nts env) (Symbol a TNonT 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 (DTerm Int) TAttT env

char :: Symbol (DTerm Char) TAttT env

var :: Symbol (DTerm String) TAttT env

con :: Symbol (DTerm String) TAttT env

op :: Symbol (DTerm String) TAttT env

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

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

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

tr :: String -> PreProductions l env (DTerm String)

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

varPrd :: PreProductions (FL a) env a

fixPrd :: PreProductions (FL a) env a -> PreProductions TL env a

pSome :: PreProductions (FL [a]) env a -> PreProductions TL env [a]

pMany :: PreProductions (FL [a]) env a -> PreProductions TL env [a]

opt :: PreProductions l env a -> a -> PreProductions l env a

pMaybe :: (b, a -> b) -> PreProductions TL env a -> PreProductions TL env b

pFoldr :: (a -> b -> b, b) -> PreProductions (FL b) env a -> PreProductions TL env b

data Ii

The Ii is to be pronounced as stop

Constructors

Ii

Instances

Idiomatic l env x (Ii -> PreProductions 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 :: PreProductions l env f -> g

Instances

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

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

Idiomatic l env f g => Idiomatic l env ((Record HNil -> DTerm String) -> f) (Kw -> g)

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

Idiomatic l env f g => Idiomatic l env ((Record HNil -> a) -> f) (Symbol a TAttT env -> g)

Idiomatic l env f g => Idiomatic l env (a -> f) (Symbol a TNonT env -> g)

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

data Kw

Constructors

Kw String

Instances

Idiomatic l env f g => Idiomatic l env ((Record HNil -> DTerm String) -> f) (Kw -> g)

kw :: String -> Kw

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 -> PreProductions l env (LVPair label v')

Instances

LabelSymbol TNonT v v

LabelSymbol TTerm v v

LabelSymbol TAttT v (Record HNil -> v)