Trait snarkvm_circuit_types::prelude::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.

Implementations on Foreign Types

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

fn from_bits_le(
    bits_le: &[<Integer<E, I> as FromBits>::Boolean]
) -> Integer<E, I>

Initializes a new integer from a list of little-endian bits with trailing zeros.

fn from_bits_be(
    bits_be: &[<Integer<E, I> as FromBits>::Boolean]
) -> Integer<E, I>

Initializes a new integer from a list of big-endian bits with leading zeros.

type Boolean = Boolean<E>

Implementors

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>