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

data CppString : Type

Totality: total
Visibility: public export
Constructor: 

MkCppString : AnyPtr -> CppString

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

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

prim__stringCStr : AnyPtr -> PrimIO String

toString : HasIO io => CppString -> io String

Totality: total
Visibility: export

prim__stringData : AnyPtr -> PrimIO (Ptr Char)

prim__stringSize : AnyPtr -> Bits64

prim__index : Int -> AnyPtr -> AnyPtr

stringToCharArray : HasIO io => CppString -> io CharArray

  Deletes the `string`. It is up to the caller to `free` the `CharArray`.

Totality: total
Visibility: export

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 ()