Попутный-структуры, как данные между C и Haskell через FFI

Question

Рассмотрим Haskell тип данных, который выглядит как этот

data MyData = MyData { arrInt :: [Int] , arrDouble :: [Double], arraySize :: N } 

Здесь N представляет размеры обоих массивов рекорд MyData.

Возможно ли передать этот (или какой-либо указатель «Haskell» объекта MyData) функции C, которая выглядит так.

int myfunc (int* a, double* b, int N) 

Я могу использовать FFI для вызова функций C прием и возврат простых datat-типа, такие как распашные, Int, Char и т.д. Но для более сложных типов я не знаю, что делать.

Answer 1

Вы могли бы сделать что-то вроде этого:

import Foreign 
import Foreign.C 

myfunc :: MyData -> IO CInt 
myfunc d = 
    withArray (map fromIntegral $ arrInt d) $ \arr1 -> 
     withArray (map CDouble $ arrDouble d) $ \arr2 -> 
      c_myfunc arr1 arr2 (fromIntegral $ arraySize d) 

foreign import ccall safe "myfunc" 
    c_myfunc :: Ptr CInt -> Ptr CDouble -> CInt -> IO CInt