Language.Grammars.Grammar

Documentation

data Grammar a

Constructors

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

type GramEnv = Env (Productions NF)

type PreGramEnv = Env (Productions TL)

data TL

data FL a

data NF

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

newtype Productions l a env

Constructors

PS

Fields

unPS :: [Prod l a env]

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)

Applicative (PreProductions l env)

Alternative (PreProductions l env)

data TTerm

data TNonT

Instances

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

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 TAttT env -> g)

data Symbol a t env where

Represents a symbol in a production, either a terminal or non terminal. Additional attributed terminal symbols exist for common lexical structures.

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

TermAnyOf :: [Char] -> Symbol (DTerm Char) TAttT env

TermAnyExcept :: [Char] -> Symbol (DTerm Char) TAttT env

Instances

Idiomatic l env f g => Idiomatic l env (a -> f) (Symbol a TNonT env -> 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 TAttT 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

Gets the reference into the environment from the non terminal.

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

Matches two symbols

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

int :: Symbol (DTerm Int) TAttT env

char :: Symbol (DTerm Char) TAttT env

var :: Symbol (DTerm String) TAttT env

op :: Symbol (DTerm String) TAttT env

con :: Symbol (DTerm String) TAttT env

anyOf :: [Char] -> Symbol (DTerm Char) TAttT env

anyExcept :: [Char] -> Symbol (DTerm Char) TAttT 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)

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

Eq a => Eq (DTerm a)

Show a => Show (DTerm a)

mkDTerm :: a -> DTerm a

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

Lifts a single symbol into a singleton PreProductions

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

Lifts a non terminal into a singleton PreProductions

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

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

Lifts a string, as terminal into a singleton PreProductions

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

Conversion between Productions and PreProductions

varPrd :: PreProductions (FL a) env a

A PreProductions for a variable used on fixpoint level

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

The fixpoint of a production

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 ((a -> b) -> f) ((a -> b) -> 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)

Idiomatic l env f g => Idiomatic l env ((Record HNil -> DTerm String) -> f) (Kw -> 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) (SF a -> g)

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

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

data Kw

Constructors

Kw String

Instances

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

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

kw :: String -> Kw