SyntaxMacros-0.2: Syntax Macros in the form of an EDSL

Language.Grammars.SyntaxMacros

Documentation

type GramTrafo = Trafo Unit Productions Source

type ExtGram env nts = GramTrafo env () (nts env)Source

type SyntaxMacro env nts nts' = GramTrafo env (nts env) (nts' env)Source

data Export start nts env Source

Constructors

Export (Symbol start TNonT env) (nts env)

addNT :: GramTrafo env [Prod a env] (Symbol a TNonT env)Source

addProds :: GramTrafo env (Symbol a TNonT env, [Prod a env]) ()Source

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

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

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

newtype NTField nt a env Source

Constructors

NTField
Fields symbolNTField :: Symbol a TNonT env

labelNTField :: NTField nt a env -> ntSource

data NTCons nt v l env Source

Constructors

NTCons (NTField nt v 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 Source

Constructors

Instances

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

class NTRecord r Source

Instances

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

class Fail err Source

data Duplicated nt Source

class NotDuplicated nt r Source

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 envSource

(^=) :: nt -> Symbol a TNonT env -> NTField nt a envSource

(^|) :: NTRecord (NTCons nt a l env) => NTField nt a env -> l env -> NTCons nt a l envSource

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

Methods

getNT :: nt -> r -> vSource

Instances

Fail (NotFound nt) => GetNT nt (NTNil 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 Source

pInt :: Parser Token Int Source

pChr :: Parser Token Char Source

pCon :: Parser Token String Source

pVar :: Parser Token String Source

pOp :: Parser Token String Source

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

newtype Const f a s Source

Constructors

C
Fields unC :: f a

compile :: Grammar a -> Parser Token aSource

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

type ParseMsg = Message Token (Maybe Token)Source

data ParseResult a Source

Constructors

Ok a
Rep a [ParseMsg]

Instances

Show a => Show (ParseResult a)

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

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