Spidr.Compiler.Enzyme.MLIR.Dialect.Ops

For internal spidr use only.

Definitions

data AutoDiffRegionOp : Type

Totality: total
Visibility: public export
Constructor: 

MkAutoDiffRegionOp : GCAnyPtr -> AutoDiffRegionOp

Hint: 

Op AutoDiffRegionOp

data Activity : Type

Totality: total
Visibility: public export
Constructors:

EnzymeActive : Activity

EnzymeDup : Activity

EnzymeConst : Activity

EnzymeDupnoneed : Activity

EnzymeActivenoneed : Activity

EnzymeConstnoneed : Activity

Hint: 

Cast Activity Int

create : HasIO io => OpBuilder -> MLIRContext -> Location -> TypeRange -> ValueRange -> Activity -> Activity -> io AutoDiffRegionOp

Totality: total
Visibility: export

getBody : AutoDiffRegionOp -> Region

Totality: total
Visibility: export

data YieldOp : Type

Totality: total
Visibility: public export
Constructor: 

MkYieldOp : GCAnyPtr -> YieldOp

create : HasIO io => OpBuilder -> Location -> ValueRange -> io YieldOp

Totality: total
Visibility: export

data BatchOp : Type

Totality: total
Visibility: public export
Constructor: 

MkBatchOp : GCAnyPtr -> BatchOp

Hint: 

Op BatchOp

create : HasIO io => OpBuilder -> MLIRContext -> Location -> TypeRange -> String -> ValueRange -> List Nat -> io BatchOp

Totality: total
Visibility: export