Struct ark_test_curves::twisted_edwards::Projective
source · pub struct Projective<P>where
P: TECurveConfig,{
pub x: <P as CurveConfig>::BaseField,
pub y: <P as CurveConfig>::BaseField,
pub t: <P as CurveConfig>::BaseField,
pub z: <P as CurveConfig>::BaseField,
}
Expand description
Projective
implements Extended Twisted Edwards Coordinates
as described in [HKCD08].
This implementation uses the unified addition formulae from that paper (see Section 3.1).
Fields§
§x: <P as CurveConfig>::BaseField
§y: <P as CurveConfig>::BaseField
§t: <P as CurveConfig>::BaseField
§z: <P as CurveConfig>::BaseField
Implementations§
source§impl<P> Projective<P>where
P: TECurveConfig,
impl<P> Projective<P>where P: TECurveConfig,
sourcepub const fn new_unchecked(
x: <P as CurveConfig>::BaseField,
y: <P as CurveConfig>::BaseField,
t: <P as CurveConfig>::BaseField,
z: <P as CurveConfig>::BaseField
) -> Projective<P>
pub const fn new_unchecked( x: <P as CurveConfig>::BaseField, y: <P as CurveConfig>::BaseField, t: <P as CurveConfig>::BaseField, z: <P as CurveConfig>::BaseField ) -> Projective<P>
Construct a new group element without checking whether the coordinates specify a point in the subgroup.
sourcepub fn new(
x: <P as CurveConfig>::BaseField,
y: <P as CurveConfig>::BaseField,
t: <P as CurveConfig>::BaseField,
z: <P as CurveConfig>::BaseField
) -> Projective<P>
pub fn new( x: <P as CurveConfig>::BaseField, y: <P as CurveConfig>::BaseField, t: <P as CurveConfig>::BaseField, z: <P as CurveConfig>::BaseField ) -> Projective<P>
Construct a new group element in a way while enforcing that points are in the prime-order subgroup.
Trait Implementations§
source§impl<'a, 'b, P> Add<&'a Projective<P>> for &'b Projective<P>where
P: TECurveConfig,
impl<'a, 'b, P> Add<&'a Projective<P>> for &'b Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
+
operator.source§fn add(self, other: &'a Projective<P>) -> Projective<P>
fn add(self, other: &'a Projective<P>) -> Projective<P>
Performs the
+
operation. Read moresource§impl<'a, P> Add<&'a Projective<P>> for Affine<P>where
P: TECurveConfig,
impl<'a, P> Add<&'a Projective<P>> for Affine<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
+
operator.source§fn add(self, other: &'a Projective<P>) -> Projective<P>
fn add(self, other: &'a Projective<P>) -> Projective<P>
Performs the
+
operation. Read moresource§impl<'a, P> Add<&'a Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<'a, P> Add<&'a Projective<P>> for Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
+
operator.source§fn add(self, other: &'a Projective<P>) -> Projective<P>
fn add(self, other: &'a Projective<P>) -> Projective<P>
Performs the
+
operation. Read moresource§impl<'a, 'b, P> Add<&'a mut Projective<P>> for &'b Projective<P>where
P: TECurveConfig,
impl<'a, 'b, P> Add<&'a mut Projective<P>> for &'b Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
+
operator.source§fn add(self, other: &'a mut Projective<P>) -> Projective<P>
fn add(self, other: &'a mut Projective<P>) -> Projective<P>
Performs the
+
operation. Read moresource§impl<'a, P> Add<&'a mut Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<'a, P> Add<&'a mut Projective<P>> for Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
+
operator.source§fn add(self, other: &'a mut Projective<P>) -> Projective<P>
fn add(self, other: &'a mut Projective<P>) -> Projective<P>
Performs the
+
operation. Read moresource§impl<'b, P> Add<Projective<P>> for &'b Projective<P>where
P: TECurveConfig,
impl<'b, P> Add<Projective<P>> for &'b Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
+
operator.source§fn add(self, other: Projective<P>) -> Projective<P>
fn add(self, other: Projective<P>) -> Projective<P>
Performs the
+
operation. Read moresource§impl<P> Add<Projective<P>> for Affine<P>where
P: TECurveConfig,
impl<P> Add<Projective<P>> for Affine<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
+
operator.source§fn add(self, other: Projective<P>) -> Projective<P>
fn add(self, other: Projective<P>) -> Projective<P>
Performs the
+
operation. Read moresource§impl<P> Add<Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<P> Add<Projective<P>> for Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
+
operator.source§fn add(self, other: Projective<P>) -> Projective<P>
fn add(self, other: Projective<P>) -> Projective<P>
Performs the
+
operation. Read moresource§impl<P, T> Add<T> for Projective<P>where
P: TECurveConfig,
T: Borrow<Affine<P>>,
impl<P, T> Add<T> for Projective<P>where P: TECurveConfig, T: Borrow<Affine<P>>,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
+
operator.source§fn add(self, other: T) -> Projective<P>
fn add(self, other: T) -> Projective<P>
Performs the
+
operation. Read moresource§impl<'a, P> AddAssign<&'a Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<'a, P> AddAssign<&'a Projective<P>> for Projective<P>where P: TECurveConfig,
source§fn add_assign(&mut self, other: &'a Projective<P>)
fn add_assign(&mut self, other: &'a Projective<P>)
Performs the
+=
operation. Read moresource§impl<'a, P> AddAssign<&'a mut Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<'a, P> AddAssign<&'a mut Projective<P>> for Projective<P>where P: TECurveConfig,
source§fn add_assign(&mut self, other: &'a mut Projective<P>)
fn add_assign(&mut self, other: &'a mut Projective<P>)
Performs the
+=
operation. Read moresource§impl<P> AddAssign<Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<P> AddAssign<Projective<P>> for Projective<P>where P: TECurveConfig,
source§fn add_assign(&mut self, other: Projective<P>)
fn add_assign(&mut self, other: Projective<P>)
Performs the
+=
operation. Read moresource§impl<P, T> AddAssign<T> for Projective<P>where
P: TECurveConfig,
T: Borrow<Affine<P>>,
impl<P, T> AddAssign<T> for Projective<P>where P: TECurveConfig, T: Borrow<Affine<P>>,
source§fn add_assign(&mut self, other: T)
fn add_assign(&mut self, other: T)
Performs the
+=
operation. Read moresource§impl<P> CanonicalDeserialize for Projective<P>where
P: TECurveConfig,
impl<P> CanonicalDeserialize for Projective<P>where P: TECurveConfig,
source§fn deserialize_with_mode<R>(
reader: R,
compress: Compress,
validate: Validate
) -> Result<Projective<P>, SerializationError>where
R: Read,
fn deserialize_with_mode<R>( reader: R, compress: Compress, validate: Validate ) -> Result<Projective<P>, SerializationError>where R: Read,
The general deserialize method that takes in customization flags.
fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>where R: Read,
fn deserialize_compressed_unchecked<R>( reader: R ) -> Result<Self, SerializationError>where R: Read,
fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>where R: Read,
fn deserialize_uncompressed_unchecked<R>( reader: R ) -> Result<Self, SerializationError>where R: Read,
source§impl<P> CanonicalSerialize for Projective<P>where
P: TECurveConfig,
impl<P> CanonicalSerialize for Projective<P>where P: TECurveConfig,
source§fn serialize_with_mode<W>(
&self,
writer: W,
compress: Compress
) -> Result<(), SerializationError>where
W: Write,
fn serialize_with_mode<W>( &self, writer: W, compress: Compress ) -> Result<(), SerializationError>where W: Write,
The general serialize method that takes in customization flags.
fn serialized_size(&self, compress: Compress) -> usize
fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>where W: Write,
fn compressed_size(&self) -> usize
fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>where W: Write,
fn uncompressed_size(&self) -> usize
source§impl<P> Clone for Projective<P>where
P: TECurveConfig,
impl<P> Clone for Projective<P>where P: TECurveConfig,
source§fn clone(&self) -> Projective<P>
fn clone(&self) -> Projective<P>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<P> CurveGroup for Projective<P>where
P: TECurveConfig,
impl<P> CurveGroup for Projective<P>where P: TECurveConfig,
type Config = P
§type BaseField = <P as CurveConfig>::BaseField
type BaseField = <P as CurveConfig>::BaseField
The field over which this curve is defined.
§type FullGroup = Affine<P>
type FullGroup = Affine<P>
Type representing an element of the full elliptic curve group, not just the
prime order subgroup.
source§fn normalize_batch(
v: &[Projective<P>]
) -> Vec<<Projective<P> as CurveGroup>::Affine, Global> ⓘ
fn normalize_batch( v: &[Projective<P>] ) -> Vec<<Projective<P> as CurveGroup>::Affine, Global> ⓘ
Normalizes a slice of group elements into affine.
source§fn into_affine(self) -> Self::Affine
fn into_affine(self) -> Self::Affine
Converts
self
into the affine representation.source§impl<P> Debug for Projective<P>where
P: TECurveConfig,
impl<P> Debug for Projective<P>where P: TECurveConfig,
source§impl<P> Default for Projective<P>where
P: TECurveConfig,
impl<P> Default for Projective<P>where P: TECurveConfig,
source§fn default() -> Projective<P>
fn default() -> Projective<P>
Returns the “default value” for a type. Read more
source§impl<P> Display for Projective<P>where
P: TECurveConfig,
impl<P> Display for Projective<P>where P: TECurveConfig,
source§impl<P> From<Affine<P>> for Projective<P>where
P: TECurveConfig,
impl<P> From<Affine<P>> for Projective<P>where P: TECurveConfig,
source§fn from(p: Affine<P>) -> Projective<P>
fn from(p: Affine<P>) -> Projective<P>
Converts to this type from the input type.
source§impl<P> From<Projective<P>> for Affine<P>where
P: TECurveConfig,
impl<P> From<Projective<P>> for Affine<P>where P: TECurveConfig,
source§fn from(p: Projective<P>) -> Affine<P>
fn from(p: Projective<P>) -> Affine<P>
Converts to this type from the input type.
source§impl<P> Group for Projective<P>where
P: TECurveConfig,
impl<P> Group for Projective<P>where P: TECurveConfig,
§type ScalarField = <P as CurveConfig>::ScalarField
type ScalarField = <P as CurveConfig>::ScalarField
The scalar field
F_r
, where r
is the order of this group.source§fn generator() -> Projective<P>
fn generator() -> Projective<P>
Returns a fixed generator of this group.
source§fn double_in_place(&mut self) -> &mut Projective<P>
fn double_in_place(&mut self) -> &mut Projective<P>
Double
self
in place.source§fn mul_bigint(&self, other: impl AsRef<[u64]>) -> Projective<P>
fn mul_bigint(&self, other: impl AsRef<[u64]>) -> Projective<P>
Performs scalar multiplication of this element.
source§fn mul_bits_be(&self, other: impl Iterator<Item = bool>) -> Self
fn mul_bits_be(&self, other: impl Iterator<Item = bool>) -> Self
Computes
other * self
, where other
is a big-endian
bit representation of some integer.source§impl<P> Hash for Projective<P>where
P: TECurveConfig,
impl<P> Hash for Projective<P>where P: TECurveConfig,
source§impl<P, T> Mul<T> for Projective<P>where
P: TECurveConfig,
T: Borrow<<P as CurveConfig>::ScalarField>,
impl<P, T> Mul<T> for Projective<P>where P: TECurveConfig, T: Borrow<<P as CurveConfig>::ScalarField>,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
*
operator.source§fn mul(self, other: T) -> Projective<P>
fn mul(self, other: T) -> Projective<P>
Performs the
*
operation. Read moresource§impl<P, T> MulAssign<T> for Projective<P>where
P: TECurveConfig,
T: Borrow<<P as CurveConfig>::ScalarField>,
impl<P, T> MulAssign<T> for Projective<P>where P: TECurveConfig, T: Borrow<<P as CurveConfig>::ScalarField>,
source§fn mul_assign(&mut self, other: T)
fn mul_assign(&mut self, other: T)
Performs the
*=
operation. Read moresource§impl<P> Neg for Projective<P>where
P: TECurveConfig,
impl<P> Neg for Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
-
operator.source§fn neg(self) -> Projective<P>
fn neg(self) -> Projective<P>
Performs the unary
-
operation. Read moresource§impl<P> PartialEq<Affine<P>> for Projective<P>where
P: TECurveConfig,
impl<P> PartialEq<Affine<P>> for Projective<P>where P: TECurveConfig,
source§impl<P> PartialEq<Projective<P>> for Affine<P>where
P: TECurveConfig,
impl<P> PartialEq<Projective<P>> for Affine<P>where P: TECurveConfig,
source§fn eq(&self, other: &Projective<P>) -> bool
fn eq(&self, other: &Projective<P>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl<P> PartialEq<Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<P> PartialEq<Projective<P>> for Projective<P>where P: TECurveConfig,
source§fn eq(&self, other: &Projective<P>) -> bool
fn eq(&self, other: &Projective<P>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl<P> ScalarMul for Projective<P>where
P: TECurveConfig,
impl<P> ScalarMul for Projective<P>where P: TECurveConfig,
type MulBase = Affine<P>
const NEGATION_IS_CHEAP: bool = true
fn batch_convert_to_mul_base( bases: &[Projective<P>] ) -> Vec<<Projective<P> as ScalarMul>::MulBase, Global> ⓘ
source§impl<'a, 'b, P> Sub<&'a Projective<P>> for &'b Projective<P>where
P: TECurveConfig,
impl<'a, 'b, P> Sub<&'a Projective<P>> for &'b Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
-
operator.source§fn sub(self, other: &'a Projective<P>) -> Projective<P>
fn sub(self, other: &'a Projective<P>) -> Projective<P>
Performs the
-
operation. Read moresource§impl<'a, P> Sub<&'a Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<'a, P> Sub<&'a Projective<P>> for Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
-
operator.source§fn sub(self, other: &'a Projective<P>) -> Projective<P>
fn sub(self, other: &'a Projective<P>) -> Projective<P>
Performs the
-
operation. Read moresource§impl<'a, 'b, P> Sub<&'a mut Projective<P>> for &'b Projective<P>where
P: TECurveConfig,
impl<'a, 'b, P> Sub<&'a mut Projective<P>> for &'b Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
-
operator.source§fn sub(self, other: &'a mut Projective<P>) -> Projective<P>
fn sub(self, other: &'a mut Projective<P>) -> Projective<P>
Performs the
-
operation. Read moresource§impl<'a, P> Sub<&'a mut Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<'a, P> Sub<&'a mut Projective<P>> for Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
-
operator.source§fn sub(self, other: &'a mut Projective<P>) -> Projective<P>
fn sub(self, other: &'a mut Projective<P>) -> Projective<P>
Performs the
-
operation. Read moresource§impl<'b, P> Sub<Projective<P>> for &'b Projective<P>where
P: TECurveConfig,
impl<'b, P> Sub<Projective<P>> for &'b Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
-
operator.source§fn sub(self, other: Projective<P>) -> Projective<P>
fn sub(self, other: Projective<P>) -> Projective<P>
Performs the
-
operation. Read moresource§impl<P> Sub<Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<P> Sub<Projective<P>> for Projective<P>where P: TECurveConfig,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
-
operator.source§fn sub(self, other: Projective<P>) -> Projective<P>
fn sub(self, other: Projective<P>) -> Projective<P>
Performs the
-
operation. Read moresource§impl<P, T> Sub<T> for Projective<P>where
P: TECurveConfig,
T: Borrow<Affine<P>>,
impl<P, T> Sub<T> for Projective<P>where P: TECurveConfig, T: Borrow<Affine<P>>,
§type Output = Projective<P>
type Output = Projective<P>
The resulting type after applying the
-
operator.source§fn sub(self, other: T) -> Projective<P>
fn sub(self, other: T) -> Projective<P>
Performs the
-
operation. Read moresource§impl<'a, P> SubAssign<&'a Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<'a, P> SubAssign<&'a Projective<P>> for Projective<P>where P: TECurveConfig,
source§fn sub_assign(&mut self, other: &'a Projective<P>)
fn sub_assign(&mut self, other: &'a Projective<P>)
Performs the
-=
operation. Read moresource§impl<'a, P> SubAssign<&'a mut Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<'a, P> SubAssign<&'a mut Projective<P>> for Projective<P>where P: TECurveConfig,
source§fn sub_assign(&mut self, other: &'a mut Projective<P>)
fn sub_assign(&mut self, other: &'a mut Projective<P>)
Performs the
-=
operation. Read moresource§impl<P> SubAssign<Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<P> SubAssign<Projective<P>> for Projective<P>where P: TECurveConfig,
source§fn sub_assign(&mut self, other: Projective<P>)
fn sub_assign(&mut self, other: Projective<P>)
Performs the
-=
operation. Read moresource§impl<P, T> SubAssign<T> for Projective<P>where
P: TECurveConfig,
T: Borrow<Affine<P>>,
impl<P, T> SubAssign<T> for Projective<P>where P: TECurveConfig, T: Borrow<Affine<P>>,
source§fn sub_assign(&mut self, other: T)
fn sub_assign(&mut self, other: T)
Performs the
-=
operation. Read moresource§impl<'a, P> Sum<&'a Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<'a, P> Sum<&'a Projective<P>> for Projective<P>where P: TECurveConfig,
source§fn sum<I>(iter: I) -> Projective<P>where
I: Iterator<Item = &'a Projective<P>>,
fn sum<I>(iter: I) -> Projective<P>where I: Iterator<Item = &'a Projective<P>>,
Method which takes an iterator and generates
Self
from the elements by
“summing up” the items.source§impl<P> Sum<Projective<P>> for Projective<P>where
P: TECurveConfig,
impl<P> Sum<Projective<P>> for Projective<P>where P: TECurveConfig,
source§fn sum<I>(iter: I) -> Projective<P>where
I: Iterator<Item = Projective<P>>,
fn sum<I>(iter: I) -> Projective<P>where I: Iterator<Item = Projective<P>>,
Method which takes an iterator and generates
Self
from the elements by
“summing up” the items.source§impl<P, T> Sum<T> for Projective<P>where
P: TECurveConfig,
T: Borrow<Affine<P>>,
impl<P, T> Sum<T> for Projective<P>where P: TECurveConfig, T: Borrow<Affine<P>>,
source§fn sum<I>(iter: I) -> Projective<P>where
I: Iterator<Item = T>,
fn sum<I>(iter: I) -> Projective<P>where I: Iterator<Item = T>,
Method which takes an iterator and generates
Self
from the elements by
“summing up” the items.source§impl<M, ConstraintF> ToConstraintField<ConstraintF> for Projective<M>where
M: TECurveConfig,
ConstraintF: Field,
<M as CurveConfig>::BaseField: ToConstraintField<ConstraintF>,
impl<M, ConstraintF> ToConstraintField<ConstraintF> for Projective<M>where M: TECurveConfig, ConstraintF: Field, <M as CurveConfig>::BaseField: ToConstraintField<ConstraintF>,
source§impl<P> Valid for Projective<P>where
P: TECurveConfig,
impl<P> Valid for Projective<P>where P: TECurveConfig,
fn check(&self) -> Result<(), SerializationError>
fn batch_check<'a>( batch: impl Iterator<Item = &'a Projective<P>> + Send ) -> Result<(), SerializationError>where Projective<P>: 'a,
source§impl<P> VariableBaseMSM for Projective<P>where
P: TECurveConfig,
impl<P> VariableBaseMSM for Projective<P>where P: TECurveConfig,
source§fn msm(
bases: &[<Projective<P> as ScalarMul>::MulBase],
bigints: &[<Projective<P> as Group>::ScalarField]
) -> Result<Projective<P>, usize>
fn msm( bases: &[<Projective<P> as ScalarMul>::MulBase], bigints: &[<Projective<P> as Group>::ScalarField] ) -> Result<Projective<P>, usize>
Performs multi-scalar multiplication, without checking that
bases.len() == scalars.len()
. Read moresource§fn msm_unchecked(bases: &[Self::MulBase], scalars: &[Self::ScalarField]) -> Self
fn msm_unchecked(bases: &[Self::MulBase], scalars: &[Self::ScalarField]) -> Self
Computes an inner product between the
PrimeField
elements in scalars
and the corresponding group elements in bases
. Read moresource§fn msm_bigint(
bases: &[Self::MulBase],
bigints: &[<Self::ScalarField as PrimeField>::BigInt]
) -> Self
fn msm_bigint( bases: &[Self::MulBase], bigints: &[<Self::ScalarField as PrimeField>::BigInt] ) -> Self
Optimized implementation of multi-scalar multiplication.
source§impl<P> Zero for Projective<P>where
P: TECurveConfig,
impl<P> Zero for Projective<P>where P: TECurveConfig,
source§impl<P> Zeroize for Projective<P>where
P: TECurveConfig,
impl<P> Zeroize for Projective<P>where P: TECurveConfig,
impl<P> Copy for Projective<P>where P: TECurveConfig,
impl<P> Eq for Projective<P>where P: TECurveConfig,
Auto Trait Implementations§
impl<P> RefUnwindSafe for Projective<P>where <P as CurveConfig>::BaseField: RefUnwindSafe,
impl<P> Send for Projective<P>
impl<P> Sync for Projective<P>
impl<P> Unpin for Projective<P>where <P as CurveConfig>::BaseField: Unpin,
impl<P> UnwindSafe for Projective<P>where <P as CurveConfig>::BaseField: UnwindSafe,
Blanket Implementations§
§impl<T> CanonicalSerializeHashExt for Twhere
T: CanonicalSerialize,
impl<T> CanonicalSerializeHashExt for Twhere T: CanonicalSerialize,
§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more