Copyright	(c) Juan García Garland
License	GPL
Maintainer	jpgarcia@fing.edu.uy
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Language.Grammars.AspectAG.TH

Contents

Attribute labels
Non terminals
Productions

Description

Synopsis

str2Sym :: String -> TypeQ
attLabel :: String -> Name -> DecsQ
attMono :: String -> Name -> DecsQ
attPoly :: String -> DecsQ
attLabels :: [(String, Name)] -> Q [Dec]
addNont :: String -> Q [Dec]
addNTLabel :: String -> Q [Dec]
addNTType :: String -> Q [Dec]
type family Terminal s :: Either NT T where ...
type family NonTerminal s where ...
data SymTH
- = Ter Name
- | NonTer Name
- | Poly
addChi :: String -> Name -> SymTH -> Q [Dec]
addPrd :: String -> Name -> Q [Dec]
addPrdLabel :: String -> Name -> DecsQ
addPrdType :: Monad m => [Char] -> Name -> m [Dec]
addProd :: String -> Name -> [(String, SymTH)] -> Q [Dec]
class Prods (lhs :: NT) (name :: Symbol) (rhs :: [(Symbol, Symbol)])
getInstances :: Q [InstanceDec]
showInstances :: Q Exp
addInstance :: Name -> String -> [(Name, Name)] -> Q [Dec]
typeList :: [(Name, Name)] -> Q Type
nameToSymbol :: Show a => a -> TypeQ
nameToSymbolBase :: Name -> TypeQ
isNTName :: Name -> Bool
closeNT :: Name -> Q [Dec]
isInstanceOf :: Name -> Dec -> Bool
mkCon :: InstanceDec -> Con
mkBangP :: (a, Name) -> (Bang, Type)
mkBangPR :: (a, Name) -> (a, Bang, Type)
getTList :: Type -> [(Name, Name)]
getTListNT :: Type -> [(Name, Name)]
mkClause :: InstanceDec -> Clause
toSemRec :: [(Name, Name)] -> Exp
closeNTs :: [Name] -> Q [Dec]
mkSemFunc :: Name -> Q [Dec]
mkSemFuncs :: [Name] -> Q [Dec]

Attribute labels

str2Sym :: String -> TypeQ Source #

makes a type level lit (Symbol) from a String

attLabel :: String -> Name -> DecsQ Source #

TH function to define a typed attribute label given a name and a quoted type

attMono :: String -> Name -> DecsQ Source #

for completness, to have a name as the next one

attPoly :: String -> DecsQ Source #

TH function to define a polymorphic attribute

attLabels :: [(String, Name)] -> Q [Dec] Source #

multiple monomorphic attributes at once

Non terminals

addNont :: String -> Q [Dec] Source #

add a non terminal symbol

addNTLabel :: String -> Q [Dec] Source #

addNTType :: String -> Q [Dec] Source #

Productions

type family Terminal s :: Either NT T where ... Source #

Equations

Terminal s = Right (T s)

type family NonTerminal s where ... Source #

Equations

NonTerminal s = Left s

data SymTH Source #

Constructors

Ter Name
NonTer Name
Poly

addChi :: String -> Name -> SymTH -> Q [Dec] Source #

addPrd :: String -> Name -> Q [Dec] Source #

only prod symbol

addPrdLabel :: String -> Name -> DecsQ Source #

addPrdType :: Monad m => [Char] -> Name -> m [Dec] Source #

addProd :: String -> Name -> [(String, SymTH)] -> Q [Dec] Source #

Productions

class Prods (lhs :: NT) (name :: Symbol) (rhs :: [(Symbol, Symbol)]) Source #

class

getInstances :: Q [InstanceDec] Source #

showInstances :: Q Exp Source #

addInstance :: Name -> String -> [(Name, Name)] -> Q [Dec] Source #

typeList :: [(Name, Name)] -> Q Type Source #

nameToSymbol :: Show a => a -> TypeQ Source #

nameToSymbolBase :: Name -> TypeQ Source #

isNTName :: Name -> Bool Source #

closeNT :: Name -> Q [Dec] Source #

isInstanceOf :: Name -> Dec -> Bool Source #

mkCon :: InstanceDec -> Con Source #

mkBangP :: (a, Name) -> (Bang, Type) Source #

mkBangPR :: (a, Name) -> (a, Bang, Type) Source #

getTList :: Type -> [(Name, Name)] Source #

getTListNT :: Type -> [(Name, Name)] Source #

keeps nt info

mkClause :: InstanceDec -> Clause Source #

like |mkCon| in semantic functions, builds a case

toSemRec :: [(Name, Name)] -> Exp Source #

closeNTs :: [Name] -> Q [Dec] Source #

mkSemFunc :: Name -> Q [Dec] Source #

mkSemFuncs :: [Name] -> Q [Dec] Source #