Trait snarkvm_console_types_string::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> FromField for Scalar<E>where E: Environment,

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

Casts a scalar from a base field element.

This method guarantees the following:

1. If the field element is larger than the scalar field modulus, then the operation will fail.
2. If the field element is smaller than the scalar field modulus, then the operation will succeed. - This is particularly useful for the case where a user called, Scalar::from_field(scalar.to_field()), and the scalar bit representation is between size_in_data_bits < bits.len() < size_in_bits.

type Field = Field<E>

Implementors

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

type Field = Field<E>