Idris2Doc : Compiler.LiteralRW

Compiler.LiteralRW

(source)
For internal spidr use only.

Reexports

import public Compiler.Xla.Literal

Definitions

set : (dtype : DType) -> Literal -> Int64Array -> idrisType dtype -> IO ()
Totality: total
Visibility: export
get : (dtype : DType) -> Literal -> Int64Array -> idrisType dtype
Totality: total
Visibility: export
write : HasIO io => (dtype : DType) -> Literal shape (idrisType dtype) -> io Literal
Totality: total
Visibility: export
read : HasIO io => (dtype : DType) -> Literal -> io (Literal shape (idrisType dtype))
Totality: total
Visibility: export