Ivory.Language.Syntax.Concrete.QQ.Common

Documentation

type VarEnv = [(Key, Name)]

Dereference expression environment

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

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

data QStM a b

Instances

Monad (QStM a)

Defined in Ivory.Language.Syntax.Concrete.QQ.Common

Methods

(>>=) :: QStM a a0 -> (a0 -> QStM a b) -> QStM a b

(>>) :: QStM a a0 -> QStM a b -> QStM a b

return :: a0 -> QStM a a0

fail :: String -> QStM a a0

Functor (QStM a)

Defined in Ivory.Language.Syntax.Concrete.QQ.Common

Methods

fmap :: (a0 -> b) -> QStM a a0 -> QStM a b

(<$) :: a0 -> QStM a b -> QStM a a0

Applicative (QStM a)

Defined in Ivory.Language.Syntax.Concrete.QQ.Common

Methods

pure :: a0 -> QStM a a0

(<*>) :: QStM a (a0 -> b) -> QStM a a0 -> QStM a b

liftA2 :: (a0 -> b -> c) -> QStM a a0 -> QStM a b -> QStM a c

(*>) :: QStM a a0 -> QStM a b -> QStM a b

(<*) :: QStM a a0 -> QStM a b -> QStM a a0

StateM (QStM a) (DList a)

Defined in Ivory.Language.Syntax.Concrete.QQ.Common

Methods

get :: QStM a (DList a)

set :: DList a -> QStM a ()

data Area

Constructors

AreaVar String

AddrOf Area

ArrayArea Area Exp

StructArea Area Area

Instances

Eq Area

Defined in Ivory.Language.Syntax.Concrete.QQ.Common

Methods

(==) :: Area -> Area -> Bool

(/=) :: Area -> Area -> Bool

Read Area

Defined in Ivory.Language.Syntax.Concrete.QQ.Common

Methods

readsPrec :: Int -> ReadS Area

readList :: ReadS [Area]

readPrec :: ReadPrec Area

readListPrec :: ReadPrec [Area]

Show Area

Defined in Ivory.Language.Syntax.Concrete.QQ.Common

Methods

showsPrec :: Int -> Area -> ShowS

show :: Area -> String

showList :: [Area] -> ShowS

type Key = Either Area Call

data Call

Constructors

Call FnSym [Exp]

Instances

Eq Call

Defined in Ivory.Language.Syntax.Concrete.QQ.Common

Methods

(==) :: Call -> Call -> Bool

(/=) :: Call -> Call -> Bool

Read Call

Defined in Ivory.Language.Syntax.Concrete.QQ.Common

Methods

readsPrec :: Int -> ReadS Call

readList :: ReadS [Call]

readPrec :: ReadPrec Call

readListPrec :: ReadPrec [Call]

Show Call

Defined in Ivory.Language.Syntax.Concrete.QQ.Common

Methods

showsPrec :: Int -> Call -> ShowS

show :: Call -> String

showList :: [Call] -> ShowS

type TStmtM a = QStM Stmt a

getVar :: Key -> VarEnv -> Name

lookupVar :: Call -> VarEnv -> Name

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

mkVar :: String -> Exp

lookupDerefVar :: Area -> VarEnv -> Name

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

expToArea :: Exp -> Area

liftQ :: Q b -> QStM a b

insert :: a -> QStM a ()

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

keyToCall :: Key -> Call

keyToArea :: Key -> Area

isCall :: Key -> Bool

isArea :: Key -> Bool

collectBindExps :: Exp -> [Key]

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

lnPragma :: SrcLoc -> Q [Dec]