Compiler.Xla.ShapeUtil

For internal spidr use only.

Definitions

data ShapeIndex : Type

Totality: total
Visibility: public export
Constructor: 

MkShapeIndex : GCAnyPtr -> ShapeIndex

delete : HasIO io => AnyPtr -> io ()

Totality: total
Visibility: export

allocShapeIndex : HasIO io => io ShapeIndex

Totality: total
Visibility: export

pushBack : HasIO io => ShapeIndex -> Nat -> io ()

Totality: total
Visibility: export

pushFront : HasIO io => ShapeIndex -> Nat -> io ()

Totality: total
Visibility: export

mkTupleShape : HasIO io => List Shape -> io Shape

Totality: total
Visibility: export

mkShape : (HasIO io, Primitive dtype) => Shape -> io Shape

Totality: total
Visibility: export