Compiler.Xla.Shape

For internal spidr use only.

Definitions

data Shape : Type

Totality: total
Visibility: public export
Constructor: 

MkShape : GCAnyPtr -> Shape

delete : AnyPtr -> IO ()

Totality: total
Visibility: export

data ShapeArray : Type

Totality: total
Visibility: public export
Constructor: 

MkShapeArray : GCAnyPtr -> ShapeArray

mkShapeArray : HasIO io => List Shape -> io ShapeArray

Totality: total
Visibility: export