snarkvm_circuit_program/data/literal/
variant.rs

1// Copyright (c) 2019-2025 Provable Inc.
2// This file is part of the snarkVM library.
3
4// Licensed under the Apache License, Version 2.0 (the "License");
5// you may not use this file except in compliance with the License.
6// You may obtain a copy of the License at:
7
8// http://www.apache.org/licenses/LICENSE-2.0
9
10// Unless required by applicable law or agreed to in writing, software
11// distributed under the License is distributed on an "AS IS" BASIS,
12// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13// See the License for the specific language governing permissions and
14// limitations under the License.
15
16use super::*;
17
18impl<A: Aleo> Literal<A> {
19    /// Returns the variant of the literal.
20    pub fn variant(&self) -> U8<A> {
21        U8::constant(match self {
22            Self::Address(..) => console::U8::new(0),
23            Self::Boolean(..) => console::U8::new(1),
24            Self::Field(..) => console::U8::new(2),
25            Self::Group(..) => console::U8::new(3),
26            Self::I8(..) => console::U8::new(4),
27            Self::I16(..) => console::U8::new(5),
28            Self::I32(..) => console::U8::new(6),
29            Self::I64(..) => console::U8::new(7),
30            Self::I128(..) => console::U8::new(8),
31            Self::U8(..) => console::U8::new(9),
32            Self::U16(..) => console::U8::new(10),
33            Self::U32(..) => console::U8::new(11),
34            Self::U64(..) => console::U8::new(12),
35            Self::U128(..) => console::U8::new(13),
36            Self::Scalar(..) => console::U8::new(14),
37            Self::Signature(..) => console::U8::new(15),
38            Self::String(..) => console::U8::new(16),
39        })
40    }
41}
snarkvm_circuit_program/data/literal/variant.rs

snarkvm_circuit_program/data/literal/
variant.rs
