Safe Haskell | None |
---|---|
Language | Haskell2010 |
- newtype ForeignCall = CCall CCallSpec
- isSafeForeignCall :: ForeignCall -> Bool
- data Safety
- playSafe :: Safety -> Bool
- playInterruptible :: Safety -> Bool
- data CExportSpec = CExportStatic SourceText 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
- data Header = Header SourceText FastString
- data CType = CType SourceText (Maybe Header) (SourceText, FastString)
Documentation
isSafeForeignCall :: ForeignCall -> Bool #
playInterruptible :: Safety -> Bool #
data CExportSpec #
type CLabelString = FastString #
isCLabelString :: CLabelString -> Bool #
pprCLabelString :: CLabelString -> SDoc #
data CCallTarget #
How to call a particular function in C-land.
isDynamicTarget :: CCallTarget -> Bool #
ccallConvToInt :: CCallConv -> Int #
ccallConvAttribute :: CCallConv -> SDoc #
A C type, used in CAPI FFI calls
AnnKeywordId
:AnnOpen
'{-# CTYPE'
,AnnHeader
,AnnVal
,AnnClose
'#-}'
,