Haskellのinline-cでCブロックからリストまたは配列を返すには？

Question

Haskellのinline-cのCブロックからリストまたは配列を取得するにはどうすればよいですか？つまり、Cで複雑なデータを構築し、Haskellでそれを処理する方法です。このような 何か：

foo :: IO [Int] 
foo = do 
what? <- [C.block| <what?> { 
    ints = calloc(10, sizeof(int)); 
    // ... 
    return <what?>; 
    } |] 
    return <what?> 

Answer 1

など、私はいくつかのHaskellの型ではポインタとサイズを包むことができますが、私はHaskellでリストと協力したいと思い、それを印刷し、JSONでエンコード

Cコードから配列へのポインタを返し、peekArrayを使用してリストにマーシャリングします。

import Foreign.Marshal.Array 
import Language.C.Inline 

foo :: Int -> IO [Int] 
foo size = [exp| int* { calloc($(int size), sizeof(int)) }] >>= peekArray size 

peekArrayは、読み込むポインタ引数と要素の数を受け入れます。それは、ポインタsizeを繰り返しインクリメントし、型のStorableインスタンス（この場合はInt）を使用して配列から要素を引き出します。

turn your array into an unboxed Vectorより効率的です。