haskell - 如何通过 FFI 从包含数据类型的 haskell 导出函数

Question

我能够通过包含标准数据类型的 FFI 导出简单的 haskell 函数。但是，我不知道如何导出采用标准数据类型以外的数据类型的函数。

例如。

data SomeType a = SomeType a
data SomeOtherType b = SomeOtherType b

doSomething:: SomeType a -> SomeOtherType b

如何导出函数 doSomething？

现有文档讨论了非常简单的示例。

Answer 1

另一种方法是将函数提升为使用 StablePtr，并使用 StablePtr 导出函数。当然，正如上面的答案所指出的，您已经使用了带有甘蔗导出实例的函数。

使用 H/Direct 之类的东西将这段代码插入 c++ 对象，以便它可以作为对象访问，这将是很棒的。