Idris2Doc
: Compiler.Xla.ShapeUtil
Index
Default
Alternative
Black & White
Compiler.Xla.ShapeUtil
(
source
)
For internal spidr use only.
Definitions
mkShape
: (
HasIO
io
,
Primitive
dtype
)
=>
Shape
->
io
Shape
Totality
:
total
Visibility
:
export