Trait snarkvm_console_program::ToFields

pub trait ToFields {
    type Field: FieldTrait;

    // Required method
    fn to_fields(&self) -> Result<Vec<Self::Field, Global>, Error>;
}

Unary operator for converting to a list of base fields.

Required Associated Types

type Field: FieldTrait

Required Methods

fn to_fields(&self) -> Result<Vec<Self::Field, Global>, Error>

Returns the object as a list of base field elements.

Implementations on Foreign Types

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

fn to_fields( &self ) -> Result<Vec<<Integer<E, I> as ToFields>::Field, Global>, Error>

Returns the integer as field elements.

type Field = Field<E>

Implementors

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

type Field = Field<E>

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

type Field = Field<E>

impl<N: Network> ToFields for Plaintext<N>

type Field = Field<N>

impl<N: Network> ToFields for Value<N>

type Field = Field<N>

impl<N: Network> ToFields for Ciphertext<N>

type Field = Field<N>

impl<N: Network> ToFields for Locator<N>

type Field = Field<N>

impl<N: Network> ToFields for ProgramID<N>

type Field = Field<N>

impl<N: Network> ToFields for Record<N, Plaintext<N>>

type Field = Field<N>

impl<N: Network> ToFields for Record<N, Ciphertext<N>>

type Field = Field<N>