blob: de101ea76938152c2c70ae2a5d090637abaaf01f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
-- !!! Same as ffi006, but using the stdcall calling convention.
import Foreign
import Foreign.C
-- With Ints: ---------------------------------
type IOF = Int -> IO Int
type F = Int -> Int
foreign import stdcall "wrapper" wrap_f :: F -> IO (FunPtr F)
foreign import stdcall "wrapper" wrap_f_io :: IOF -> IO (FunPtr IOF)
foreign import stdcall "dynamic" f :: FunPtr F -> F
foreign import stdcall "dynamic" f_io :: FunPtr IOF -> IOF
fn_int :: Int -> Int
fn_int x = x * 2
fn_int_io :: Int -> IO Int
fn_int_io x = return (x * 2)
-- With Doubles: ---------------------------------
type IOD = Double -> IO Double
type D = Double -> Double
foreign import stdcall "wrapper" wrap_d :: D -> IO (FunPtr D)
foreign import stdcall "wrapper" wrap_d_io :: IOD -> IO (FunPtr IOD)
foreign import stdcall "dynamic" d :: FunPtr D -> D
foreign import stdcall "dynamic" d_io :: FunPtr IOD -> IOD
fn_double :: Double -> Double
fn_double x = x * 2
fn_double_io :: Double -> IO Double
fn_double_io x = return (x * 2)
--------------------------------------------------
main = do
wrapped_fn_int <- wrap_f fn_int
print (f wrapped_fn_int 42)
wrapped_fn_int_io <- wrap_f_io fn_int_io
x <- f_io wrapped_fn_int_io 42
print x
wrapped_fn_double <- wrap_d fn_double
print (d wrapped_fn_double 42)
wrapped_fn_double_io <- wrap_d_io fn_double_io
x <- d_io wrapped_fn_double_io 42
print x
|
