Compiler.FFI

For internal spidr use only.

Reexports

Definitions

libxla : String -> String

Totality: total
Visibility: public export

data CharArray : Type

Totality: total
Visibility: public export
Constructor: 

MkCharArray : Ptr Char -> Bits64 -> CharArray

free : HasIO io => CharArray -> io ()

Totality: total
Visibility: export

prim__stringDelete : AnyPtr -> PrimIO ()

prim__stringData : AnyPtr -> PrimIO (Ptr Char)

prim__stringSize : AnyPtr -> Bits64

prim__index : Int -> AnyPtr -> AnyPtr

cIntToBool : Int -> Bool

Totality: total
Visibility: export

isNullPtr : AnyPtr -> Bool

Totality: total
Visibility: export

boolToCInt : Bool -> Int

Totality: total
Visibility: export

data IntArray : Type

Totality: total
Visibility: public export
Constructor: 

MkIntArray : GCPtr Int -> IntArray

mkIntArray : (HasIO io, Cast a Int) => List a -> io IntArray

Totality: total
Visibility: export

sizeofPtr : Int

prim__setArrayPtr : AnyPtr -> Int -> AnyPtr -> PrimIO ()