pub trait IsSubFieldOf<F: IsField>: IsField {
// Required methods
fn mul(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType;
fn add(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType;
fn div(
a: &Self::BaseType,
b: &F::BaseType,
) -> Result<F::BaseType, FieldError>;
fn sub(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType;
fn embed(a: Self::BaseType) -> F::BaseType;
fn to_subfield_vec(b: F::BaseType) -> Vec<Self::BaseType>;
}
Expand description
Represents the subfield relation between two fields.
Required Methods§
fn mul(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType
fn add(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType
fn div(a: &Self::BaseType, b: &F::BaseType) -> Result<F::BaseType, FieldError>
fn sub(a: &Self::BaseType, b: &F::BaseType) -> F::BaseType
fn embed(a: Self::BaseType) -> F::BaseType
fn to_subfield_vec(b: F::BaseType) -> Vec<Self::BaseType>
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.