Compiler.Xla.HLO.Builder.XlaComputation

For internal spidr use only.

Definitions

data XlaComputation : Type

Totality: total
Visibility: public export
Constructor: 

MkXlaComputation : GCAnyPtr -> XlaComputation

delete : AnyPtr -> IO ()

Totality: total
Visibility: export

prim__xlaComputationSerializeAsString : GCAnyPtr -> PrimIO AnyPtr

serializeAsString : HasIO io => XlaComputation -> io CharArray

  It is up to the caller to deallocate the CharArray.

Totality: total
Visibility: export