0 | {--
 1 | Copyright (C) 2025  Joel Berkeley
 2 |
 3 | This program is free software: you can redistribute it and/or modify
 4 | it under the terms of the GNU Affero General Public License as published
 5 | by the Free Software Foundation, either version 3 of the License, or
 6 | (at your option) any later version.
 7 |
 8 | This program is distributed in the hope that it will be useful,
 9 | but WITHOUT ANY WARRANTY; without even the implied warranty of
10 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
11 | GNU Affero General Public License for more details.
12 |
13 | You should have received a copy of the GNU Affero General Public License
14 | along with this program.  If not, see <https://www.gnu.org/licenses/>.
15 | --}
16 | ||| For internal spidr use only.
17 | module Compiler.Stablehlo.Dialect.StablehloEnums
18 |
19 | public export
20 | data ComparisonDirection = Eq | Ne | Ge | Gt | Le | Lt
21 |
22 | export
23 | Cast ComparisonDirection Bits64 where
24 |   cast Eq = 0
25 |   cast Ne = 1
26 |   cast Ge = 2
27 |   cast Gt = 3
28 |   cast Le = 4
29 |   cast Lt = 5
30 |
31 | public export
32 | data Transpose = NoTranspose | Transpose_ | Adjoint
33 |
34 | export
35 | Cast Transpose Bits64 where
36 |   cast NoTranspose = 1
37 |   cast Transpose_ = 2
38 |   cast Adjoint = 3
39 |
40 | public export
41 | data RngAlgorithm = Default | ThreeFry | Philox
42 |
43 | export
44 | Cast RngAlgorithm Bits64 where
45 |   cast Default = 0
46 |   cast ThreeFry = 1
47 |   cast Philox = 2
48 |