Spidr.Compiler.MLIR.IR.BuiltinAttributes

For internal spidr use only.

Definitions

data DenseElementsAttr : Type

Totality: total
Visibility: public export
Constructor: 

MkDenseElementsAttr : GCAnyPtr -> DenseElementsAttr

prim__deleteDenseElementsAttr : AnyPtr -> PrimIO ()

get : HasIO io => RankedTensorType -> List Attribute -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> Array Int8 -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> Array Int16 -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> Array Int32 -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> Array Int64 -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> Array Bits8 -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> Array Bits16 -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> Array Bits32 -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> Array Bits64 -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> Array Double -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> Array Bool -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> APInt -> io DenseElementsAttr

Totality: total
Visibility: export

get : HasIO io => RankedTensorType -> APFloat -> io DenseElementsAttr

Totality: total
Visibility: export