Trait snarkvm_console_algorithms::Visibility

pub trait Visibility: Equal<Self, Output = Self::Boolean> + ToBytes + FromBytes + ToBits + FromBits + ToFields + FromFields {
    type Boolean: BooleanTrait;

    fn size_in_fields(&self) -> Result<u16, Error>;
}

Required Associated Types

type Boolean: BooleanTrait

Required Methods

fn size_in_fields(&self) -> Result<u16, Error>

Returns the number of field elements to encode self.

Implementations on Foreign Types

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

fn size_in_fields(&self) -> Result<u16, Error>

Returns the number of field elements to encode self.

type Boolean = Boolean<E>

Implementors

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

type Boolean = Boolean<E>