HaskellとFFIを使用してC enumとどのようにインタフェースしますか？

Question

charm.cにenum keyがあり、key型の値を返す関数get_key()があるとします。

対応するHaskell Keyレコードと関数getKey :: IO Keyを公開するにはどうすればよいですか？

そして、どのように単一の列挙値がどのようにHaskell値にマッピングされるかを手動で指定することなく、これを行うにはどうすればよいですか？

Answer 1

@KevinReidについては、c2hsでこれを行う方法の例です。

あなたはこのようc2hsの列挙型のフックを使用することができます（私は列挙型で何見当がつかないので、私はほんの数値で満たされた）ファイルcharm.hに

typedef enum 
    { 
    PLAIN_KEY = 0, 
    SPECIAL_KEY = 1, 
    NO_KEY = 2 
    } 
key; 

key get_key(); 

を列挙keyを考える：

{#enum key as Key {underscoreToCase} deriving (Eq, Show)#} 

関数にバインドするには、callまたはfunのいずれかを使用できます。 callは簡単ですが、マーシャリングは行いません。両方の例があります。 ffi-wrapped get_keyはCIntを返しますので、手動でマーシャリング（callを使用する場合）またはマーシャラー（funを使用する場合）を指定する必要があります。

module Interface where -- file Interface.chs 

{#enum key as Key {underscoreToCase} deriving (Eq, Show)#} 

getKey = cIntToEnum `fmap` {#call get_key #} 

{#fun get_key as getKey2 { } -> `Key' cIntToEnum #} 

cIntToEnum :: Enum a => CInt -> a 
cIntToEnum = toEnum . cIntConv 

C2hsは（少しクリーンアップ）このことから、次のHaskellのが生成されます：私はここに私自身が書いたように、c2hsは、列挙型のマーシャラーが含まれていません

data Key = PlainKey 
     | SpecialKey 
     | NoKey 
     deriving (Eq,Show) 
instance Enum Key where 
    fromEnum PlainKey = 0 
    fromEnum SpecialKey = 1 
    fromEnum NoKey = 2 

    toEnum 0 = PlainKey 
    toEnum 1 = SpecialKey 
    toEnum 2 = NoKey 
    toEnum unmatched = error ("Key.toEnum: Cannot match " ++ show unmatched) 

getKey = cIntToEnum `fmap` get_key 

getKey2 :: IO (Key) 
getKey2 = 
    getKey2'_ >>= \res -> 
    let {res' = cIntToEnum res} in 
    return (res') 

cIntToEnum :: Enum a => CInt -> a 
cIntToEnum = toEnum . cIntConv 

foreign import ccall safe "foo.chs.h get_key" 
    get_key :: (IO CInt) 

foreign import ccall safe "foo.chs.h get_key" 
    getKey2'_ :: (IO CInt)