snarkvm-circuit-program 4.6.1

// Copyright (c) 2019-2026 Provable Inc.
// This file is part of the snarkVM library.

// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at:

// http://www.apache.org/licenses/LICENSE-2.0

// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

use super::*;

impl<A: Aleo> ToBitsRaw for Plaintext<A> {
    /// Returns this plaintext as a list of raw **little-endian** bits.
    fn write_bits_raw_le(&self, vec: &mut Vec<Boolean<A>>) {
        match self {
            Self::Literal(literal, _) => {
                // Extend the vector with the bits of the literal.
                vec.extend_from_slice(&literal.to_bits_le());
            }
            Self::Struct(members, _) => {
                // Compute the bits of the struct.
                for (_, value) in members {
                    vec.extend(value.to_bits_raw_le());
                }
            }
            Self::Array(elements, _) => {
                // Compute the bits of the array.
                for value in elements {
                    vec.extend(value.to_bits_raw_le());
                }
            }
        }
    }

    /// Returns this plaintext as a list of raw **big-endian** bits.
    fn write_bits_raw_be(&self, vec: &mut Vec<Boolean<A>>) {
        match self {
            Self::Literal(literal, _) => {
                // Extend the vector with the bits of the literal.
                vec.extend_from_slice(&literal.to_bits_be());
            }
            Self::Struct(members, _) => {
                // Compute the bits of the struct.
                for (_, value) in members {
                    vec.extend(value.to_bits_raw_be());
                }
            }
            Self::Array(elements, _) => {
                // Compute the bits of the array.
                for value in elements {
                    vec.extend(value.to_bits_raw_be());
                }
            }
        }
    }
}