c-ffi

Generic C FFI utilities for Idris.

This library is intended to remove the need to build and package some of the more common C FFI utilities with Idris projects.

Install

Install pack, then run

pack install c-ffi

Example

We can create a C array double*

doubles : IO (Ptr Double)
doubles = do
 xs <- malloc (3 * cast prim__sizeOfDouble)
 let xs = prim__castPtr xs
 primIO $ prim__setArrayDouble xs 0 3.14
 primIO $ prim__setArrayDouble xs 1 (-1.23)
 primIO $ prim__setArrayDouble xs 2 2.71
 pure xs

and then read and print the array

showDoubles : IO ()
showDoubles = do
 ds <- doubles
 let ds' = map (prim__getArrayDouble ds) [0, 1, 2]
 free (prim__forgetPtr ds)
 printLn ds'