Idris2Doc : Compiler.MLIR.IR.OpDefinition

Compiler.MLIR.IR.OpDefinition

(source)
For internal spidr use only.

Definitions

interface Op : Type -> Type
Parameters: a
Methods:
getOperation : HasIO io => a -> io Operation

Implementations:
Op AutoDiffRegionOp
Op ModuleOp
Op FuncOp
Op AcosOp
Op AcoshOp
Op AsinOp
Op AsinhOp
Op AtanOp
Op AtanhOp
Op CoshOp
Op SinhOp
Op ErfOp
Op ErfInvOp
Op SquareOp
Op ConstantOp
Op IotaOp
Op AbsOp
Op CeilOp
Op ConvertOp
Op CosineOp
Op ExpOp
Op FloorOp
Op LogOp
Op LogisticOp
Op NotOp
Op NegOp
Op SineOp
Op SqrtOp
Op TanOp
Op TanhOp
Op AddOp
Op DivOp
Op MaxOp
Op MinOp
Op MulOp
Op PowOp
Op RemOp
Op ShiftRightLogicalOp
Op SubtractOp
Op AndOp
Op OrOp
Op IfOp
Op WhileOp
Op ReduceOp
Op CompareOp
Op SliceOp
Op DynamicSliceOp
Op BitcastConvertOp
Op BroadcastInDimOp
Op CholeskyOp
Op ConcatenateOp
Op DotGeneralOp
Op MapOp
Op ReshapeOp
Op SelectOp
Op SortOp
Op ReverseOp
Op TransposeOp
Op TriangularSolveOp
Op ReturnOp
Op RngBitGeneratorOp
getOperation : Op a => HasIO io => a -> io Operation
Totality: total
Visibility: public export