Idris2Doc : Compiler.Stablehlo.Dialect.StablehloEnums

Compiler.Stablehlo.Dialect.StablehloEnums

(source)
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:
CastComparisonDirectionBits64
ShowComparisonDirection
dataTranspose : Type
Totality: total
Visibility: public export
Constructors:
NoTranspose : Transpose
Transpose_ : Transpose
Adjoint : Transpose

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

Hint: 
CastRngAlgorithmBits64