Trait snarkvm_console_program::group::ToField

pub trait ToField {
    type Field: FieldTrait;

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

Unary operator for converting to a base field.

Required Associated Types

type Field: FieldTrait

Required Methods

fn to_field(&self) -> Result<Self::Field, Error>

Returns the object as a base field element.

Implementors

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

type Field = Field<E>

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

type Field = Field<E>

impl<E> ToField for Scalar<E>where E: Environment,

type Field = Field<E>

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

type Field = Field<E>

impl<N: Network> ToField for &Identifier<N>

type Field = Field<N>

impl<N: Network> ToField for Identifier<N>

type Field = Field<N>