Documentation

dsCCall :: CLabelString -> [CoreExpr] -> Safety -> Type -> DsM CoreExpr Source #

mkFCall :: Unique -> ForeignCall -> [CoreExpr] -> Type -> CoreExpr Source #

unboxArg :: CoreExpr -> DsM (CoreExpr, CoreExpr -> CoreExpr) Source #

boxResult :: Type -> DsM (Type, CoreExpr -> CoreExpr) Source #

resultWrapper :: Type -> DsM (Maybe Type, CoreExpr -> CoreExpr) Source #