Idris2Doc : Compiler.Xla.HLO.Builder.Lib.Matrix

Compiler.Xla.HLO.Builder.Lib.Matrix

For internal spidr use only.

Definitions

identityMatrix : HasIOio=>Primitivedtype=>XlaBuilder->Nat->Nat->ioXlaOp
Totality: total
Visibility: export
getMatrixDiagonal : HasIOio=>XlaOp->ioXlaOp
Totality: total
Visibility: export
triangle : HasIOio=>XlaOp->Bool->ioXlaOp
Totality: total
Visibility: export