Language.Grammars.Murder

Documentation

type GramTrafo = Trafo Unit (Productions NF)

type PreGramTrafo = Trafo Unit (Productions TL)

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

type GramExt env start nts start' nts' = PreGramTrafo 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 :: PreGramTrafo env (PreProductions TL env a) (Symbol a TNonT env)

addProds :: PreGramTrafo env (Symbol a TNonT env, PreProductions TL env a) ()

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

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

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

exportNTs :: NTRecord (nts env) => PreGramTrafo 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

extendExport :: Export start t env -> (t env -> nts env) -> Export start nts env