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 => ShapedType -> APInt -> io DenseElementsAttr

Totality: total
Visibility: export

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

Totality: total
Visibility: export