文件名称：idris-ffi-example:Idris C FFI 的最小示例
文件大小：5KB
文件格式：ZIP
更新时间：2024-06-25 20:34:24
ffi idris Idris
idris-ffi-example 这是如何使用 Idris FFI 的示例集合。 我的第一个FFI 我们有一个带有函数int foo(int);的 C 库 testlib int foo(int); 它接受一个 int，给参数加 1 并返回结果。 Idris 程序使用42作为参数调用 foo，然后打印结果。 字符串 我们有两个返回char指针的函数。 其中一个将始终返回 C 字符串，而另一个始终返回NULL 。 请注意，该示例在 v0.9.9.2 中不起作用。
【文件预览】：
idris-ffi-example-master
----README.md(511B)
----myFirstFFI()
--------testlib.h(14B)
--------myFirstFFI.idr(204B)
--------testlib.c(54B)
--------Makefile(121B)
----LICENSE.txt(1KB)
----strings()
--------testlib.h(320B)
--------testlib.c(292B)
--------bad_strings.idr(284B)
--------strings.idr(1KB)
--------Makefile(238B)