Compiler.MLIR.IR.ValueRange

For internal spidr use only.

Definitions

data ValueRange : Type

Totality: total
Visibility: public export
Constructor: 

MkValueRange : GCAnyPtr -> ValueRange

mkValueRange : HasIO io => List Value -> io ValueRange

Totality: total
Visibility: public export

prim__deleteResultRange : AnyPtr -> PrimIO ()

data ResultRange : Type

Totality: total
Visibility: public export
Constructor: 

MkResultRange : GCAnyPtr -> ResultRange