Spidr.Compiler.Stablehlo.Dialect.StablehloOps

For internal spidr use only.

Definitions

getOperationAux : HasIO io => GCAnyPtr -> (GCAnyPtr -> PrimIO AnyPtr) -> io Operation

Totality: total
Visibility: export

loadDialectStablehloDialect : HasIO io => MLIRContext -> io ()

Totality: total
Visibility: export

data ConstantOp : Type

Totality: total
Visibility: public export
Constructor: 

MkConstantOp : GCAnyPtr -> ConstantOp

Hint: 

Op ConstantOp

create : HasIO io => OpBuilder -> Location -> DenseElementsAttr -> io ConstantOp

Totality: total
Visibility: export

data IotaOp : Type

Totality: total
Visibility: public export
Constructor: 

MkIotaOp : GCAnyPtr -> IotaOp

Hint: 

Op IotaOp

create : HasIO io => OpBuilder -> Location -> Type_ -> Nat -> io IotaOp

Totality: total
Visibility: export

create : (GCAnyPtr -> opTy) -> (GCAnyPtr -> GCAnyPtr -> GCAnyPtr -> PrimIO AnyPtr) -> (AnyPtr -> PrimIO ()) -> HasIO io => OpBuilder -> Location -> Value -> io opTy

Totality: total
Visibility: export

data AbsOp : Type

Totality: total
Visibility: public export
Constructor: 

MkAbsOp : GCAnyPtr -> AbsOp

Hint: 

Op AbsOp

create : HasIO io => OpBuilder -> Location -> Value -> io AbsOp

Totality: total
Visibility: export

data CbrtOp : Type

Totality: total
Visibility: public export
Constructor: 

MkCbrtOp : GCAnyPtr -> CbrtOp

Hint: 

Op CbrtOp

create : HasIO io => OpBuilder -> Location -> Value -> io CbrtOp

Totality: total
Visibility: export

data CeilOp : Type

Totality: total
Visibility: public export
Constructor: 

MkCeilOp : GCAnyPtr -> CeilOp

Hint: 

Op CeilOp

create : HasIO io => OpBuilder -> Location -> Value -> io CeilOp

Totality: total
Visibility: export

data ConvertOp : Type

Totality: total
Visibility: public export
Constructor: 

MkConvertOp : GCAnyPtr -> ConvertOp

Hint: 

Op ConvertOp

create : HasIO io => OpBuilder -> Location -> Type_ -> Value -> io ConvertOp

Totality: total
Visibility: export

data CosineOp : Type

Totality: total
Visibility: public export
Constructor: 

MkCosineOp : GCAnyPtr -> CosineOp

Hint: 

Op CosineOp

create : HasIO io => OpBuilder -> Location -> Value -> io CosineOp

Totality: total
Visibility: export

data ExpOp : Type

Totality: total
Visibility: public export
Constructor: 

MkExpOp : GCAnyPtr -> ExpOp

Hint: 

Op ExpOp

create : HasIO io => OpBuilder -> Location -> Value -> io ExpOp

Totality: total
Visibility: export

data Expm1Op : Type

Totality: total
Visibility: public export
Constructor: 

MkExpm1Op : GCAnyPtr -> Expm1Op

Hint: 

Op Expm1Op

create : HasIO io => OpBuilder -> Location -> Value -> io Expm1Op

Totality: total
Visibility: export

data FloorOp : Type

Totality: total
Visibility: public export
Constructor: 

MkFloorOp : GCAnyPtr -> FloorOp

Hint: 

Op FloorOp

create : HasIO io => OpBuilder -> Location -> Value -> io FloorOp

Totality: total
Visibility: export

data IsFiniteOp : Type

Totality: total
Visibility: public export
Constructor: 

MkIsFiniteOp : GCAnyPtr -> IsFiniteOp

Hint: 

Op IsFiniteOp

create : HasIO io => OpBuilder -> Location -> Value -> io IsFiniteOp

Totality: total
Visibility: export

data LogOp : Type

Totality: total
Visibility: public export
Constructor: 

MkLogOp : GCAnyPtr -> LogOp

Hint: 

Op LogOp

create : HasIO io => OpBuilder -> Location -> Value -> io LogOp

Totality: total
Visibility: export

data Log1pOp : Type

Totality: total
Visibility: public export
Constructor: 

MkLog1pOp : GCAnyPtr -> Log1pOp

Hint: 

Op Log1pOp

create : HasIO io => OpBuilder -> Location -> Value -> io Log1pOp

Totality: total
Visibility: export

data LogisticOp : Type

Totality: total
Visibility: public export
Constructor: 

MkLogisticOp : GCAnyPtr -> LogisticOp

Hint: 

Op LogisticOp

create : HasIO io => OpBuilder -> Location -> Value -> io LogisticOp

Totality: total
Visibility: export

data NotOp : Type

Totality: total
Visibility: public export
Constructor: 

MkNotOp : GCAnyPtr -> NotOp

Hint: 

Op NotOp

create : HasIO io => OpBuilder -> Location -> Value -> io NotOp

Totality: total
Visibility: export

data NegOp : Type

Totality: total
Visibility: public export
Constructor: 

MkNegOp : GCAnyPtr -> NegOp

Hint: 

Op NegOp

create : HasIO io => OpBuilder -> Location -> Value -> io NegOp

Totality: total
Visibility: export

data RoundOp : Type

Totality: total
Visibility: public export
Constructor: 

MkRoundOp : GCAnyPtr -> RoundOp

Hint: 

Op RoundOp

create : HasIO io => OpBuilder -> Location -> Value -> io RoundOp

Totality: total
Visibility: export

data RoundNearestEvenOp : Type

Totality: total
Visibility: public export
Constructor: 

MkRoundNearestEvenOp : GCAnyPtr -> RoundNearestEvenOp

Hint: 

Op RoundNearestEvenOp

create : HasIO io => OpBuilder -> Location -> Value -> io RoundNearestEvenOp

Totality: total
Visibility: export

data RsqrtOp : Type

Totality: total
Visibility: public export
Constructor: 

MkRsqrtOp : GCAnyPtr -> RsqrtOp

Hint: 

Op RsqrtOp

create : HasIO io => OpBuilder -> Location -> Value -> io RsqrtOp

Totality: total
Visibility: export

data SignOp : Type

Totality: total
Visibility: public export
Constructor: 

MkSignOp : GCAnyPtr -> SignOp

Hint: 

Op SignOp

create : HasIO io => OpBuilder -> Location -> Value -> io SignOp

Totality: total
Visibility: export

data SineOp : Type

Totality: total
Visibility: public export
Constructor: 

MkSineOp : GCAnyPtr -> SineOp

Hint: 

Op SineOp

create : HasIO io => OpBuilder -> Location -> Value -> io SineOp

Totality: total
Visibility: export

data SqrtOp : Type

Totality: total
Visibility: public export
Constructor: 

MkSqrtOp : GCAnyPtr -> SqrtOp

Hint: 

Op SqrtOp

create : HasIO io => OpBuilder -> Location -> Value -> io SqrtOp

Totality: total
Visibility: export

data TanOp : Type

Totality: total
Visibility: public export
Constructor: 

MkTanOp : GCAnyPtr -> TanOp

Hint: 

Op TanOp

create : HasIO io => OpBuilder -> Location -> Value -> io TanOp

Totality: total
Visibility: export

data TanhOp : Type

Totality: total
Visibility: public export
Constructor: 

MkTanhOp : GCAnyPtr -> TanhOp

Hint: 

Op TanhOp

create : HasIO io => OpBuilder -> Location -> Value -> io TanhOp

Totality: total
Visibility: export

create : (GCAnyPtr -> opTy) -> (GCAnyPtr -> GCAnyPtr -> GCAnyPtr -> GCAnyPtr -> PrimIO AnyPtr) -> (AnyPtr -> PrimIO ()) -> HasIO io => OpBuilder -> Location -> Value -> Value -> io opTy

Totality: total
Visibility: export

data AddOp : Type

Totality: total
Visibility: public export
Constructor: 

MkAddOp : GCAnyPtr -> AddOp

Hint: 

Op AddOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io AddOp

Totality: total
Visibility: export

data Atan2Op : Type

Totality: total
Visibility: public export
Constructor: 

MkAtan2Op : GCAnyPtr -> Atan2Op

Hint: 

Op Atan2Op

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io Atan2Op

Totality: total
Visibility: export

data DivOp : Type

Totality: total
Visibility: public export
Constructor: 

MkDivOp : GCAnyPtr -> DivOp

Hint: 

Op DivOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io DivOp

Totality: total
Visibility: export

data MaxOp : Type

Totality: total
Visibility: public export
Constructor: 

MkMaxOp : GCAnyPtr -> MaxOp

Hint: 

Op MaxOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io MaxOp

Totality: total
Visibility: export

data MinOp : Type

Totality: total
Visibility: public export
Constructor: 

MkMinOp : GCAnyPtr -> MinOp

Hint: 

Op MinOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io MinOp

Totality: total
Visibility: export

data MulOp : Type

Totality: total
Visibility: public export
Constructor: 

MkMulOp : GCAnyPtr -> MulOp

Hint: 

Op MulOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io MulOp

Totality: total
Visibility: export

data PowOp : Type

Totality: total
Visibility: public export
Constructor: 

MkPowOp : GCAnyPtr -> PowOp

Hint: 

Op PowOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io PowOp

Totality: total
Visibility: export

data RemOp : Type

Totality: total
Visibility: public export
Constructor: 

MkRemOp : GCAnyPtr -> RemOp

Hint: 

Op RemOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io RemOp

Totality: total
Visibility: export

data ShiftRightLogicalOp : Type

Totality: total
Visibility: public export
Constructor: 

MkShiftRightLogicalOp : GCAnyPtr -> ShiftRightLogicalOp

Hint: 

Op ShiftRightLogicalOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io ShiftRightLogicalOp

Totality: total
Visibility: export

data SubtractOp : Type

Totality: total
Visibility: public export
Constructor: 

MkSubtractOp : GCAnyPtr -> SubtractOp

Hint: 

Op SubtractOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io SubtractOp

Totality: total
Visibility: export

data AndOp : Type

Totality: total
Visibility: public export
Constructor: 

MkAndOp : GCAnyPtr -> AndOp

Hint: 

Op AndOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io AndOp

Totality: total
Visibility: export

data OrOp : Type

Totality: total
Visibility: public export
Constructor: 

MkOrOp : GCAnyPtr -> OrOp

Hint: 

Op OrOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> io OrOp

Totality: total
Visibility: export

data IfOp : Type

Totality: total
Visibility: public export
Constructor: 

MkIfOp : GCAnyPtr -> IfOp

Hint: 

Op IfOp

create : HasIO io => OpBuilder -> Location -> Type_ -> Value -> io IfOp

Totality: total
Visibility: export

getTrueBranch : IfOp -> Region

Totality: total
Visibility: export

getFalseBranch : IfOp -> Region

Totality: total
Visibility: export

data WhileOp : Type

Totality: total
Visibility: public export
Constructor: 

MkWhileOp : GCAnyPtr -> WhileOp

Hint: 

Op WhileOp

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

Totality: total
Visibility: export

getCond : WhileOp -> Region

Totality: total
Visibility: export

getBody : WhileOp -> Region

Totality: total
Visibility: export

data ReduceOp : Type

Totality: total
Visibility: public export
Constructor: 

MkReduceOp : GCAnyPtr -> ReduceOp

Hint: 

Op ReduceOp

create : HasIO io => OpBuilder -> Location -> ValueRange -> ValueRange -> List Nat -> io ReduceOp

Totality: total
Visibility: export

getBody : ReduceOp -> Region

Totality: total
Visibility: export

data CompareOp : Type

Totality: total
Visibility: public export
Constructor: 

MkCompareOp : GCAnyPtr -> CompareOp

Hint: 

Op CompareOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> ComparisonDirection -> io CompareOp

Totality: total
Visibility: export

data SliceOp : Type

Totality: total
Visibility: public export
Constructor: 

MkSliceOp : GCAnyPtr -> SliceOp

Hint: 

Op SliceOp

create : HasIO io => OpBuilder -> Location -> Value -> List Nat -> List Nat -> List Nat -> io SliceOp

Totality: total
Visibility: export

data DynamicSliceOp : Type

Totality: total
Visibility: public export
Constructor: 

MkDynamicSliceOp : GCAnyPtr -> DynamicSliceOp

Hint: 

Op DynamicSliceOp

create : HasIO io => OpBuilder -> Location -> Value -> ValueRange -> List Nat -> io DynamicSliceOp

Totality: total
Visibility: export

data DynamicUpdateSliceOp : Type

Totality: total
Visibility: public export
Constructor: 

MkDynamicUpdateSliceOp : GCAnyPtr -> DynamicUpdateSliceOp

Hint: 

Op DynamicUpdateSliceOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> ValueRange -> io DynamicUpdateSliceOp

Totality: total
Visibility: export

data BitcastConvertOp : Type

Totality: total
Visibility: public export
Constructor: 

MkBitcastConvertOp : GCAnyPtr -> BitcastConvertOp

Hint: 

Op BitcastConvertOp

create : HasIO io => OpBuilder -> Location -> Type_ -> Value -> io BitcastConvertOp

Totality: total
Visibility: export

data BroadcastInDimOp : Type

Totality: total
Visibility: public export
Constructor: 

MkBroadcastInDimOp : GCAnyPtr -> BroadcastInDimOp

Hint: 

Op BroadcastInDimOp

create : HasIO io => OpBuilder -> Location -> Type_ -> Value -> List Nat -> io BroadcastInDimOp

Totality: total
Visibility: export

data CholeskyOp : Type

Totality: total
Visibility: public export
Constructor: 

MkCholeskyOp : GCAnyPtr -> CholeskyOp

Hint: 

Op CholeskyOp

create : HasIO io => OpBuilder -> Location -> Value -> Bool -> io CholeskyOp

Totality: total
Visibility: export

data ConcatenateOp : Type

Totality: total
Visibility: public export
Constructor: 

MkConcatenateOp : GCAnyPtr -> ConcatenateOp

Hint: 

Op ConcatenateOp

create : HasIO io => OpBuilder -> Location -> ValueRange -> Nat -> io ConcatenateOp

Totality: total
Visibility: export

data DotGeneralOp : Type

Totality: total
Visibility: public export
Constructor: 

MkDotGeneralOp : GCAnyPtr -> DotGeneralOp

Hint: 

Op DotGeneralOp

create : HasIO io => OpBuilder -> Location -> Type_ -> Value -> Value -> DotDimensionNumbersAttr -> io DotGeneralOp

Totality: total
Visibility: export

data ReshapeOp : Type

Totality: total
Visibility: public export
Constructor: 

MkReshapeOp : GCAnyPtr -> ReshapeOp

Hint: 

Op ReshapeOp

create : HasIO io => OpBuilder -> Location -> Type_ -> Value -> io ReshapeOp

Totality: total
Visibility: export

data SelectOp : Type

Totality: total
Visibility: public export
Constructor: 

MkSelectOp : GCAnyPtr -> SelectOp

Hint: 

Op SelectOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> Value -> io SelectOp

Totality: total
Visibility: export

data SortOp : Type

Totality: total
Visibility: public export
Constructor: 

MkSortOp : GCAnyPtr -> SortOp

Hint: 

Op SortOp

create : HasIO io => OpBuilder -> Location -> Value -> Nat -> Bool -> io SortOp

Totality: total
Visibility: export

getComparator : SortOp -> Region

Totality: total
Visibility: export

data ReverseOp : Type

Totality: total
Visibility: public export
Constructor: 

MkReverseOp : GCAnyPtr -> ReverseOp

Hint: 

Op ReverseOp

create : HasIO io => OpBuilder -> Location -> Value -> List Nat -> io ReverseOp

Totality: total
Visibility: export

data TransposeOp : Type

Totality: total
Visibility: public export
Constructor: 

MkTransposeOp : GCAnyPtr -> TransposeOp

Hint: 

Op TransposeOp

create : HasIO io => OpBuilder -> Location -> Value -> List Nat -> io TransposeOp

Totality: total
Visibility: export

data TriangularSolveOp : Type

Totality: total
Visibility: public export
Constructor: 

MkTriangularSolveOp : GCAnyPtr -> TriangularSolveOp

Hint: 

Op TriangularSolveOp

create : HasIO io => OpBuilder -> Location -> Value -> Value -> Bool -> Bool -> Bool -> Transpose -> io TriangularSolveOp

Totality: total
Visibility: export

data ReturnOp : Type

Totality: total
Visibility: public export
Constructor: 

MkReturnOp : GCAnyPtr -> ReturnOp

Hint: 

Op ReturnOp

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

Totality: total
Visibility: export

data RngBitGeneratorOp : Type

Totality: total
Visibility: public export
Constructor: 

MkRngBitGeneratorOp : GCAnyPtr -> RngBitGeneratorOp

Hint: 

Op RngBitGeneratorOp

create : HasIO io => OpBuilder -> Location -> Type_ -> Type_ -> RngAlgorithm -> Value -> io RngBitGeneratorOp

Totality: total
Visibility: export