Idris2Doc : System.FFI

System.FFI

dataFieldType : String -> Type -> List (String, Type) -> Type
Totality: total
Constructors:
First : FieldTypent ((n, t) ::ts)
Later : FieldTypentts -> FieldTypent (f::ts)
dataStruct : String -> List (String, Type) -> Type
Totality: total
free : HasIOio => AnyPtr -> io ()
  Release memory with libc `free`.

Totality: total
getField : Structsfs -> (n : String) -> FieldTypentyfs => ty
Totality: total
malloc : HasIOio => Int -> ioAnyPtr
  Allocate memory with libc `malloc`.

Totality: total
setField : Structsfs -> (n : String) -> FieldTypentyfs => ty -> IO ()
Totality: total