javascript – 在GHCJS中ccall导入emscripten导出
内容导读
互联网集市收集整理的这篇技术教程文章主要介绍了javascript – 在GHCJS中ccall导入emscripten导出,小编现在分享给大家,供广大互联网技能从业者学习和参考。文章包含1130字,纯文字阅读大概需要2分钟。
内容图文
![javascript – 在GHCJS中ccall导入emscripten导出](/upload/InfoBanner/zyjiaocheng/768/31b2854dde7240519b71486d40495109.jpg)
我正在尝试使用ghcjs将haskell库minisat移植到JavaScript,以便集成到更大的haskell-ghcjs项目中.
minisat包含从c库导入的几个ffi.我已经使用emscripten将c库编译为javascript,并导出minisat所需的函数.到现在为止还挺好.
但是,有几个导入看起来像这样:
foreign import ccall safe minisat_solve :: Solver – > Int – > Ptr(Lit) – > IO(布尔)
导入一个如下所示的函数:
int minisat_solve(minisat_solver * s,int len,minisat_Lit * ps)
从the documentation开始,我的理解是,当emscripten导出一个获取或返回指针的函数时,指针变为JavaScript数字类型.
ghcjs documentation表明应该可以通过适当地包装JavaScript函数来保留现有的外国导入.但是,ghcjs表示指针类型大致是由JavaScript对象和数字组成的对.
我认为包装器代码应该粗略
function h$minisat_solve(...){
...
minisat_solve(...)
...
}
function minisat_solve = Module.cwrap('minisat_solve',...,...)
但我被类型不匹配所困扰.
所以,这里面临的挑战是:解释如何使用上面的包装器代码作为示例正确包装由ghcjs进行ccall导入的emscripten导出(或者反问题,如果我完全错误的话)
解决方法:
指针类型可以转换为整数:https://hackage.haskell.org/package/base-4.10.0.0/docs/Foreign-Ptr.html#t:IntPtr.因此,您应该能够使用这些函数转换为emscripten所需的任何格式.
内容总结
以上是互联网集市为您收集整理的javascript – 在GHCJS中ccall导入emscripten导出全部内容,希望文章能够帮你解决javascript – 在GHCJS中ccall导入emscripten导出所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错,欢迎将互联网集市网站推荐给程序员好友。
内容备注
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 gblab@vip.qq.com 举报,一经查实,本站将立刻删除。
内容手机端
扫描二维码推送至手机访问。