Trait snarkvm_circuit::from::FromBits

pub trait FromBits {
    type Boolean: BooleanTrait;

    fn from_bits_le(bits_le: &[Self::Boolean]) -> Self
    where
        Self: Sized;
    fn from_bits_be(bits_be: &[Self::Boolean]) -> Self
    where
        Self: Sized;
}

Unary operator for instantiating from bits.

Required Associated Types

type Boolean: BooleanTrait

Required Methods

fn from_bits_le(bits_le: &[Self::Boolean]) -> Selfwhere
    Self: Sized,

fn from_bits_be(bits_be: &[Self::Boolean]) -> Selfwhere
    Self: Sized,

Trait Implementations

impl<E> Metrics<dyn FromBits<Boolean = Boolean<E>> + 'static> for Field<E>where
    E: Environment,

type Case = Vec<Mode, Global>

fn count(
    _modes: &<Field<E> as Metrics<dyn FromBits<Boolean = Boolean<E>> + 'static>>::Case
) -> Count

Returns the number of constants, public inputs, private inputs, and constraints.

impl<E> OutputMode<dyn FromBits<Boolean = Boolean<E>> + 'static> for Field<E>where
    E: Environment,

type Case = Vec<Mode, Global>

fn output_mode(
    case: &<Field<E> as OutputMode<dyn FromBits<Boolean = Boolean<E>> + 'static>>::Case
) -> Mode

Returns the mode of the output.

Implementors

impl<A> FromBits for Plaintext<A>where
    A: Aleo,

type Boolean = Boolean<A>

impl<A> FromBits for Ciphertext<A>where
    A: Aleo,

type Boolean = Boolean<A>

impl<A> FromBits for Identifier<A>where
    A: Aleo,

type Boolean = Boolean<A>

impl<E> FromBits for Address<E>where
    E: Environment,

type Boolean = Boolean<E>

impl<E> FromBits for Boolean<E>where
    E: Environment,

type Boolean = Boolean<E>

impl<E> FromBits for Field<E>where
    E: Environment,

type Boolean = Boolean<E>

impl<E> FromBits for Group<E>where
    E: Environment,

type Boolean = Boolean<E>

impl<E> FromBits for Scalar<E>where
    E: Environment,

type Boolean = Boolean<E>

impl<E> FromBits for StringType<E>where
    E: Environment,

type Boolean = Boolean<E>

impl<E, I> FromBits for Integer<E, I>where
    E: Environment,
    I: IntegerType,

type Boolean = Boolean<E>