Idris2Doc : Compiler.Stablehlo.Dialect.StablehloEnums

Compiler.Stablehlo.Dialect.StablehloEnums

For internal spidr use only.

Definitions

dataComparisonDirection : Type
Totality: total
Visibility: public export
Constructors:
Eq : ComparisonDirection
Ne : ComparisonDirection
Ge : ComparisonDirection
Gt : ComparisonDirection
Le : ComparisonDirection
Lt : ComparisonDirection

Hints:
CastComparisonDirectionInt
ShowComparisonDirection
dataTranspose : Type
Totality: total
Visibility: public export
Constructors:
NoTranspose : Transpose
Transpose_ : Transpose
Adjoint : Transpose

Hint: 
CastTransposeInt
dataRngAlgorithm : Type
Totality: total
Visibility: public export
Constructors:
Default : RngAlgorithm
ThreeFry : RngAlgorithm
Philox : RngAlgorithm

Hint: 
CastRngAlgorithmInt