snarkvm_console_collections::environment::prelude

Trait Visibility

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

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

Required Associated Types§

Required Methods§

Source

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

Returns the number of field elements to encode self.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§

Source§

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

Source§

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