Idris2Doc : Spidr.Compiler.MLIR.IR.OpDefinition

Spidr.Compiler.MLIR.IR.OpDefinition

For internal spidr use only.

Definitions

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

Implementations:
Op AutoDiffRegionOp
Op BatchOp
Op ModuleOp
Op CallOp
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 CbrtOp
Op CeilOp
Op ConvertOp
Op CosineOp
Op ExpOp
Op Expm1Op
Op FloorOp
Op IsFiniteOp
Op LogOp
Op Log1pOp
Op LogisticOp
Op NotOp
Op NegOp
Op RoundOp
Op RoundNearestEvenOp
Op RsqrtOp
Op SignOp
Op SineOp
Op SqrtOp
Op TanOp
Op TanhOp
Op AddOp
Op Atan2Op
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 DynamicUpdateSliceOp
Op BitcastConvertOp
Op BroadcastInDimOp
Op CholeskyOp
Op ConcatenateOp
Op DotGeneralOp
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