Trait snarkvm_console_algorithms::FromField

pub trait FromField {
    type Field: FieldTrait;

    // Required method
    fn from_field(field: &Self::Field) -> Result<Self, Error>
       where Self: Sized;
}

Unary operator for converting from a base field element.

Required Associated Types

type Field: FieldTrait

Required Methods

fn from_field(field: &Self::Field) -> Result<Self, Error>where Self: Sized,

Initializes an object from a base field element.

Implementations on Foreign Types

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

fn from_field( field: &<Integer<E, I> as FromField>::Field ) -> Result<Integer<E, I>, Error>

Casts an integer from a base field.

This method guarantees the following:

1. If the field element is larger than the integer domain, then the operation will fail.
2. If the field element is smaller than the integer domain, then the operation will succeed.

type Field = Field<E>

Implementors

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

type Field = Field<E>

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

type Field = Field<E>