ivory-0.1.0.3: Safe embedded C programming.

Safe HaskellNone
LanguageHaskell2010

Ivory.Language.Syntax.Concrete.QQ.Common

Synopsis

Documentation

type VarEnv = [(Key, Name)] Source

Dereference expression environment

type Insert a = Key -> Name -> Exp -> QStM a () Source

How to insert an expression, given its type, the binding variable, and the TH expression.

data QStM a b Source

Instances

data Area Source

Constructors

AreaVar String 
AddrOf Area 
ArrayArea Area Exp 
StructArea Area Area 

Instances

type Key = Either Area Call Source

data Call Source

Constructors

Call FnSym [Exp] 

Instances

type TStmtM a = QStM Stmt a Source

getVar :: Key -> VarEnv -> Name Source

lookupVar :: Call -> VarEnv -> Name Source

callit :: Exp -> [Exp] -> Exp Source

mkVar :: String -> Exp Source

lookupDerefVar :: Area -> VarEnv -> Name Source

expToCall :: FnSym -> [Exp] -> Call Source

expToArea :: Exp -> Area Source

liftQ :: Q b -> QStM a b Source

insert :: a -> QStM a () Source

runToQ :: QStM a b -> Q (b, [a]) Source

keyToCall :: Key -> Call Source

keyToArea :: Key -> Area Source

isCall :: Key -> Bool Source

isArea :: Key -> Bool Source

collectBindExps :: Exp -> [Key] Source

runToSt :: QStM a b -> Q [a] Source

lnPragma :: SrcLoc -> Q [Dec] Source