Idris2Doc : Compiler.Xla.HLO.Builder.XlaComputation

Compiler.Xla.HLO.Builder.XlaComputation

For internal spidr use only.

Definitions

dataXlaComputation : Type
Totality: total
Visibility: public export
Constructor: 
MkXlaComputation : GCAnyPtr->XlaComputation
delete : AnyPtr->IO ()
Totality: total
Visibility: export
mkXlaComputation : HasIOio=>HloModuleProto->ioXlaComputation
Totality: total
Visibility: export
proto : HasIOio=>XlaComputation->ioHloModuleProto
Totality: total
Visibility: export
serializeAsString : HasIOio=>XlaComputation->ioCharArray
Totality: total
Visibility: export