liquidhaskell-0.6.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Desugar710.DsCCall

Documentation

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

mkFCall :: DynFlags -> 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