| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
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
- defaultCCallConv :: CCallConv
- ccallConvToInt :: CCallConv -> Int
- ccallConvAttribute :: CCallConv -> SDoc
- newtype Header = Header FastString
- data CType = CType SourceText (Maybe Header) FastString
Documentation
newtype ForeignCall
Instances
isSafeForeignCall :: ForeignCall -> Bool
data Safety
Constructors
| PlaySafe | |
| PlayInterruptible | |
| PlayRisky |
playInterruptible :: Safety -> Bool
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 PackageKey) Bool | |
| DynamicTarget |
Instances
isDynamicTarget :: CCallTarget -> Bool
data CCallConv
Constructors
| CCallConv | |
| CApiConv | |
| StdCallConv | |
| PrimCallConv | |
| JavaScriptCallConv |
ccallConvToInt :: CCallConv -> Int
ccallConvAttribute :: CCallConv -> SDoc
newtype Header
Constructors
| Header FastString |
data CType
A C type, used in CAPI FFI calls
AnnKeywordId:AnnOpen'{-# CTYPE',AnnHeader,AnnVal,AnnClose'#-}',
Constructors
| CType SourceText (Maybe Header) FastString |