Trait snarkvm_console_algorithms::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 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>