Idris2Doc : Compiler.Xla.ShapeUtil

Compiler.Xla.ShapeUtil

(source)
For internal spidr use only.

Definitions

mkShape : (HasIOio, Primitivedtype) =>Shape->ioShape
Totality: total
Visibility: export