Trait snarkvm_console::prelude::ToFields

pub trait ToFields {
    type Field: FieldTrait;

    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> ToFields for Address<E>where
    E: Environment,

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

Returns the address as field elements.

type Field = Field<E>

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

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

Returns the group as field elements.

type Field = Field<E>

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>

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

fn to_fields(
    &self
) -> Result<Vec<<Record<N, Ciphertext<N>> as ToFields>::Field, Global>, Error>

Returns this record as a list of field elements.

type Field = Field<N>

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

fn to_fields(
    &self
) -> Result<Vec<<Record<N, Plaintext<N>> as ToFields>::Field, Global>, Error>

Returns this record as a list of field elements.

type Field = Field<N>

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

fn to_fields(&self) -> Result<Vec<<Value<N> as ToFields>::Field, Global>, Error>

Returns the stack value as a list of fields.

type Field = Field<N>

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

fn to_fields(
    &self
) -> Result<Vec<<Locator<N> as ToFields>::Field, Global>, Error>

Returns this locator as a list of field elements.

type Field = Field<N>

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

fn to_fields(
    &self
) -> Result<Vec<<ProgramID<N> as ToFields>::Field, Global>, Error>

Returns this program ID as a list of field elements.

type Field = Field<N>

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

fn to_fields(
    &self
) -> Result<Vec<<Ciphertext<N> as ToFields>::Field, Global>, Error>

Returns this ciphertext as a list of field elements.

type Field = Field<N>

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

fn to_fields(
    &self
) -> Result<Vec<<Plaintext<N> as ToFields>::Field, Global>, Error>

Returns this plaintext as a list of field elements.

type Field = Field<N>

Implementors