ivory-0.1.0.8: 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 #