Language.Grammars.SyntaxMacros

Documentation

type GramTrafo = Trafo Unit (Productions TL)

type ExtGram env start nts = GramTrafo env () (Export start nts env)

type SyntaxMacro env start nts start' nts' = GramTrafo env (Export start nts env) (Export start' nts' env)

data Export start nts env

Constructors

Export (Symbol start TNonT env) (nts env)

Instances

GetNT nt (nts env) r => GetNT nt (Export start nts env) r

addNT :: GramTrafo env (ListProd TL env a) (Symbol a TNonT env)

addProds :: GramTrafo env (Symbol a TNonT env, ListProd TL env a) ()

closeGram :: (forall env. ExtGram env a nts) -> Grammar a

extendGram :: (NTRecord (nts env), NTRecord (nts' env)) => ExtGram env start nts -> SyntaxMacro env start nts start' nts' -> ExtGram env start' nts'

(<++>) :: (NTRecord (nts env), NTRecord (nts' env)) => ExtGram env start nts -> SyntaxMacro env start nts start' nts' -> ExtGram env start' nts'

exportNTs :: NTRecord (nts env) => GramTrafo env (Export start nts env) (Export start nts env)

data NTCons nt v l env

Constructors

NTCons (LSPair nt v TNonT env) (l env)

Instances

NotDuplicated nt1 (l env) => NotDuplicated nt1 (NTCons nt2 v l env)

Fail (Duplicated nt) => NotDuplicated nt (NTCons nt v l env)

GetNT nt1 (l env) r => GetNT nt1 (NTCons nt2 v l env) r

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

(NTRecord (l env), NotDuplicated nt (l env)) => NTRecord (NTCons nt v l env)

data NTNil env

Constructors

NTNil

Instances

NotDuplicated nt (NTNil env)

Fail (NotFound nt) => GetNT nt (NTNil env) r

NTRecord (NTNil env)

class NTRecord r

Instances

NTRecord (NTNil env)

(NTRecord (l env), NotDuplicated nt (l env)) => NTRecord (NTCons nt v l env)

class Fail err

data Duplicated nt

class NotDuplicated nt r

Instances

NotDuplicated nt (NTNil env)

NotDuplicated nt1 (l env) => NotDuplicated nt1 (NTCons nt2 v l env)

Fail (Duplicated nt) => NotDuplicated nt (NTCons nt v l env)

ntNil :: NTNil env

(^|) :: NTRecord (NTCons nt a l env) => LSPair nt a TNonT env -> l env -> NTCons nt a l env

class GetNT nt r v | nt r -> v where

Methods

getNT :: nt -> r -> v

Instances

Fail (NotFound nt) => GetNT nt (NTNil env) r

GetNT nt (nts env) r => GetNT nt (Export start nts env) r

GetNT nt1 (l env) r => GetNT nt1 (NTCons nt2 v l env) r

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

data NotFound nt

getStart :: Export start nts env -> Symbol start TNonT env

exportList :: Symbol start TNonT env -> (NTNil env -> nts env) -> Export start nts env

export :: (NTRecord (l env), NotDuplicated nt (l env)) => nt -> Symbol a TNonT env -> l env -> NTCons nt a l env

pInt :: Parser Token Int

pChr :: Parser Token Char

pCon :: Parser Token String

pVar :: Parser Token String

pOp :: Parser Token String

pTerm :: IsParser p Token => String -> p DTerm

newtype Const f a s

Constructors

C

Fields

unC :: f a

compile :: Grammar a -> Parser Token a

mapEnv :: (forall a. f a s -> g a s) -> Env f s env -> Env g s env

type ParseMsg = Message Token (Maybe Token)

data ParseResult a

Constructors

Ok a

Rep a [ParseMsg]

Instances

Show a => Show (ParseResult a)

parse :: Parser Token a -> [Token] -> ParseResult a

rparse :: Parser Token a -> [Token] -> (a, [ParseMsg])