pub trait FromField {
type Field: FieldTrait;
// Required method
fn from_field(field: &Self::Field) -> Result<Self, Error>
where Self: Sized;
}
Expand description
Unary operator for converting from a base field element.
Required Associated Types§
type Field: FieldTrait
Required Methods§
Implementations on Foreign Types§
Source§impl<E, I> FromField for Integer<E, I>where
E: Environment,
I: IntegerType,
impl<E, I> FromField for Integer<E, I>where
E: Environment,
I: IntegerType,
Source§fn from_field(
field: &<Integer<E, I> as FromField>::Field,
) -> Result<Integer<E, I>, Error>
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:
- If the field element is larger than the integer domain, then the operation will fail.
- If the field element is smaller than the integer domain, then the operation will succeed.