Idris2Doc : Compiler.FFI

Compiler.FFI

For internal spidr use only.

Reexports

import public System.FFI

Definitions

libxla : String -> String -> String
Totality: total
Visibility: public export
onCollectAny' : HasIO io => AnyPtr -> (AnyPtr -> IO ()) -> io GCAnyPtr
Totality: total
Visibility: export
cIntToBool : Int -> Bool
Totality: total
Visibility: export
boolToCInt : Bool -> Int
Totality: total
Visibility: export
isNullPtr : AnyPtr -> Bool
Totality: total
Visibility: export