Compiler.LiteralRW

For internal spidr use only.

Definitions

dtypeIsArrayType : (dtype : DType) -> ArrayType (idrisType dtype)

Totality: total
Visibility: export

mkDenseElementsAttr : HasIO io => MLIRContext -> Literal shape (idrisType dtype) -> io DenseElementsAttr

Totality: total
Visibility: export

read : (dtype : DType) -> Array (idrisType dtype) -> Literal shape (idrisType dtype)

Totality: total
Visibility: export