ivory-0.1.0.3: Safe embedded C programming.
Ivory.Language.Syntax.Concrete.QQ.CondQQ
mkPrePostConds :: [PrePost] -> Exp -> Q Exp Source
fromExpCond :: Exp -> QStM (Exp, Name) Exp Source
insertDerefCond :: Insert (Exp, Name) Source