| Safe Haskell | Safe-Infered |
|---|
ForeignCall
- newtype ForeignCall = CCall CCallSpec
- isSafeForeignCall :: ForeignCall -> Bool
- data Safety
- playSafe :: Safety -> Bool
- playInterruptible :: Safety -> Bool
- data CExportSpec = CExportStatic CLabelString CCallConv
- type CLabelString = FastString
- isCLabelString :: CLabelString -> Bool
- pprCLabelString :: CLabelString -> SDoc
- data CCallSpec = CCallSpec CCallTarget CCallConv Safety
- data CCallTarget
- isDynamicTarget :: CCallTarget -> Bool
- data CCallConv
- = CCallConv
- | CApiConv
- | StdCallConv
- | CmmCallConv
- | PrimCallConv
- defaultCCallConv :: CCallConv
- ccallConvToInt :: CCallConv -> Int
- ccallConvAttribute :: CCallConv -> SDoc
Documentation
newtype ForeignCall
Instances
isSafeForeignCall :: ForeignCall -> Bool
data Safety
Constructors
| PlaySafe | |
| PlayInterruptible | |
| PlayRisky |
playInterruptible :: Safety -> Bool
data CExportSpec
Constructors
| CExportStatic CLabelString CCallConv |
type CLabelString = FastString
isCLabelString :: CLabelString -> Bool
pprCLabelString :: CLabelString -> SDoc
data CCallSpec
Constructors
| CCallSpec CCallTarget CCallConv Safety |
data CCallTarget
How to call a particular function in C-land.
Constructors
| StaticTarget CLabelString (Maybe PackageId) | |
| DynamicTarget |
Instances
isDynamicTarget :: CCallTarget -> Bool
data CCallConv
Constructors
| CCallConv | |
| CApiConv | |
| StdCallConv | |
| CmmCallConv | |
| PrimCallConv |
ccallConvToInt :: CCallConv -> Int
ccallConvAttribute :: CCallConv -> SDoc