Trait snarkvm_console_algorithms::ToBits
pub trait ToBits: Sized {
// Required methods
fn to_bits_le(&self) -> Vec<bool, Global>;
fn to_bits_be(&self) -> Vec<bool, Global>;
}
Required Methods§
fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
Returns self
as a boolean array in little-endian order.
fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
Returns self
as a boolean array in big-endian order.
Implementations on Foreign Types§
§impl<'a, C0, C1, C2, C3, C4, C5, C6> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
C6: ToBits,
impl<'a, C0, C1, C2, C3, C4, C5, C6> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C0, C1, C2, C3, C4> ToBits for (C0, C1, C2, C3, C4)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
impl<C0, C1, C2, C3, C4> ToBits for (C0, C1, C2, C3, C4)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C0, C1, C2> ToBits for (C0, C1, C2)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
impl<C0, C1, C2> ToBits for (C0, C1, C2)where C0: ToBits, C1: ToBits, C2: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C, const N: usize> ToBits for [C; N]where
C: ToBits,
impl<C, const N: usize> ToBits for [C; N]where C: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits.
§impl<'a, C0, C1, C2, C3, C4, C5, C6, C7> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
C6: ToBits,
C7: ToBits,
impl<'a, C0, C1, C2, C3, C4, C5, C6, C7> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<'a, C0, C1, C2, C3> ToBits for &'a (C0, C1, C2, C3)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
impl<'a, C0, C1, C2, C3> ToBits for &'a (C0, C1, C2, C3)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
C6: ToBits,
C7: ToBits,
C8: ToBits,
C9: ToBits,
impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits, C9: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
C6: ToBits,
C7: ToBits,
C8: ToBits,
C9: ToBits,
impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits, C9: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C0, C1, C2, C3, C4, C5, C6> ToBits for (C0, C1, C2, C3, C4, C5, C6)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
C6: ToBits,
impl<C0, C1, C2, C3, C4, C5, C6> ToBits for (C0, C1, C2, C3, C4, C5, C6)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<'a, C0, C1, C2> ToBits for &'a (C0, C1, C2)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
impl<'a, C0, C1, C2> ToBits for &'a (C0, C1, C2)where C0: ToBits, C1: ToBits, C2: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
C6: ToBits,
C7: ToBits,
C8: ToBits,
C9: ToBits,
C10: ToBits,
impl<C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits, C9: ToBits, C10: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C0, C1, C2, C3, C4, C5, C6, C7> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
C6: ToBits,
C7: ToBits,
impl<C0, C1, C2, C3, C4, C5, C6, C7> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C0, C1, C2, C3, C4, C5> ToBits for (C0, C1, C2, C3, C4, C5)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
impl<C0, C1, C2, C3, C4, C5> ToBits for (C0, C1, C2, C3, C4, C5)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C0, C1, C2, C3, C4, C5, C6, C7, C8> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7, C8)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
C6: ToBits,
C7: ToBits,
C8: ToBits,
impl<C0, C1, C2, C3, C4, C5, C6, C7, C8> ToBits for (C0, C1, C2, C3, C4, C5, C6, C7, C8)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C0, C1> ToBits for (C0, C1)where
C0: ToBits,
C1: ToBits,
impl<C0, C1> ToBits for (C0, C1)where C0: ToBits, C1: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C0, C1, C2, C3> ToBits for (C0, C1, C2, C3)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
impl<C0, C1, C2, C3> ToBits for (C0, C1, C2, C3)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<'a, C0, C1, C2, C3, C4, C5> ToBits for &'a (C0, C1, C2, C3, C4, C5)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
impl<'a, C0, C1, C2, C3, C4, C5> ToBits for &'a (C0, C1, C2, C3, C4, C5)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
C6: ToBits,
C7: ToBits,
C8: ToBits,
C9: ToBits,
C10: ToBits,
impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits, C9: ToBits, C10: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
C5: ToBits,
C6: ToBits,
C7: ToBits,
C8: ToBits,
impl<'a, C0, C1, C2, C3, C4, C5, C6, C7, C8> ToBits for &'a (C0, C1, C2, C3, C4, C5, C6, C7, C8)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits, C5: ToBits, C6: ToBits, C7: ToBits, C8: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<C> ToBits for &[C]where
C: ToBits,
impl<C> ToBits for &[C]where C: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits.
§impl<C> ToBits for Vec<C, Global>where
C: ToBits,
impl<C> ToBits for Vec<C, Global>where C: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits.
§impl<'a, C0, C1, C2, C3, C4> ToBits for &'a (C0, C1, C2, C3, C4)where
C0: ToBits,
C1: ToBits,
C2: ToBits,
C3: ToBits,
C4: ToBits,
impl<'a, C0, C1, C2, C3, C4> ToBits for &'a (C0, C1, C2, C3, C4)where C0: ToBits, C1: ToBits, C2: ToBits, C3: ToBits, C4: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<'a, C0, C1> ToBits for &'a (C0, C1)where
C0: ToBits,
C1: ToBits,
impl<'a, C0, C1> ToBits for &'a (C0, C1)where C0: ToBits, C1: ToBits,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of little-endian bits from the circuits.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
A helper method to return a concatenated list of big-endian bits from the circuits.
§impl<E, I> ToBits for Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> ToBits for Integer<E, I>where E: Environment, I: IntegerType,
§fn to_bits_le(&self) -> Vec<bool, Global>
fn to_bits_le(&self) -> Vec<bool, Global>
Outputs the little-endian bit representation of self
without trailing zeros.
§fn to_bits_be(&self) -> Vec<bool, Global>
fn to_bits_be(&self) -> Vec<bool, Global>
Outputs the big-endian bit representation of self
without leading zeros.