Idris2Doc : Spidr.Compiler.Xla.PJRT.PjrtExecutable

Spidr.Compiler.Xla.PJRT.PjrtExecutable

For internal spidr use only.

Definitions

data CompileOptions : Type
Totality: total
Visibility: export
Constructor: 
MkCompileOptions : GCAnyPtr -> CompileOptions
mkCompileOptions : HasIO io => ExecutableBuildOptions -> io CompileOptions
Totality: total
Visibility: export
serializeAsString : HasIO io => CompileOptions -> io CppString
  It is up to the caller to `delete` the `CppString`.

Totality: total
Visibility: export