type synonyms for dynamic imports and wrappers
Henning Thielemann
lemming at henning-thielemann.de
Thu Aug 18 15:17:08 UTC 2016
The Haskell FFI report says that imports and exports of dynamic functions
always have those types:
foreign import ccall "dynamic"
mkFun :: FunPtr fun -> fun
foreign import ccall "wrapper"
mkCallback :: fun -> IO (FunPtr fun)
where 'fun' is an IO function. Since 'fn' can be a considerably large type
expression I usually define
type Importer fun = FunPtr fun -> fun
type Exporter fun = fun -> IO (FunPtr fun)
How about adding these type synonyms to Foreign?
More information about the FFI
mailing list