Compiler.MLIR.IR.Operation

For internal spidr use only.

Definitions

data Operation : Type

Totality: total
Visibility: public export
Constructor: 

MkOperation : GCAnyPtr -> Operation

erase : HasIO io => Operation -> io ()

Totality: total
Visibility: export

getOpResults : HasIO io => Operation -> io ResultRange

Totality: total
Visibility: export

getOpResult : HasIO io => Operation -> Nat -> io OpResult

Totality: total
Visibility: export