Trait snarkvm_circuit::from::FromBits

pub trait FromBits {
    type Boolean: BooleanTrait;

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

Unary operator for instantiating from bits.

Required Associated Types

type Boolean: BooleanTrait

Required Methods

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

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

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>