liquidhaskell-0.5.0.0: Liquid Types for Haskell

Safe HaskellNone
LanguageHaskell98

Language.Haskell.Liquid.Desugar.DsForeign

Documentation

dsForeigns :: [LForeignDecl Id] -> DsM (ForeignStubs, OrdList Binding) Source

dsForeigns' :: [LForeignDecl Id] -> DsM (ForeignStubs, OrdList Binding) Source

dsFImport :: Id -> Coercion -> ForeignImport -> DsM ([Binding], SDoc, SDoc) Source

dsCImport :: Id -> Coercion -> CImportSpec -> CCallConv -> Safety -> Maybe Header -> DsM ([Binding], SDoc, SDoc) Source

dsFCall :: Id -> Coercion -> ForeignCall -> Maybe Header -> DsM ([(Id, Expr TyVar)], SDoc, SDoc) Source

dsPrimCall :: Id -> Coercion -> ForeignCall -> DsM ([(Id, Expr TyVar)], SDoc, SDoc) Source

dsFExport :: Id -> Coercion -> CLabelString -> CCallConv -> Bool -> DsM (SDoc, SDoc, String, Int) Source

dsFExportDynamic :: Id -> Coercion -> CCallConv -> DsM ([Binding], SDoc, SDoc) Source

mkFExportCBits :: DynFlags -> FastString -> Maybe Id -> [Type] -> Type -> Bool -> CCallConv -> (SDoc, SDoc, String, Int) Source

toCType :: Type -> (Maybe Header, SDoc) Source

foreignExportInitialiser :: Id -> SDoc Source