Compiler.FFI

For internal spidr use only.

Reexports

Definitions

libxla : String -> String -> String

Totality: total
Visibility: public export

data CppString : Type

Totality: total
Visibility: public export
Constructor: 

MkCppString : AnyPtr -> CppString

onCollectAny' : HasIO io => AnyPtr -> (AnyPtr -> IO ()) -> io GCAnyPtr

Totality: total
Visibility: export

prim__mkString : PrimIO AnyPtr

cppString : HasIO io => io CppString

  It is up to the caller to `delete` the string.

Totality: total
Visibility: export

prim__stringDelete : AnyPtr -> PrimIO ()

delete : HasIO io => CppString -> io ()

Totality: total
Visibility: export

c_str : CppString -> String

Totality: total
Visibility: export

prim__stringData : AnyPtr -> 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

data Int64Array : Type

Totality: total
Visibility: public export
Constructor: 

MkInt64Array : GCPtr Int64 -> Int64Array

mkInt64Array : HasIO io => List Int64 -> io Int64Array

Totality: total
Visibility: export

sizeofPtr : Bits64

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