Struct IdentityField

pub struct IdentityField<T>(/* private fields */);

Trait Implementations

impl<Rhs, T> Add<Rhs> for IdentityField<T>

where Rhs: ScalarField<Point = <IdentityField<T> as ScalarField>::Point>, <IdentityField<T> as ScalarField>::Scalar: Add<Rhs::Scalar>,

type Output = AddField<IdentityField<T>, Rhs>

The resulting type after applying the + operator.

fn add(self, rhs: Rhs) -> Self::Output

Performs the + operation.

impl<Rhs, T> BitAnd<Rhs> for IdentityField<T>

where Rhs: ScalarField<Point = <IdentityField<T> as ScalarField>::Point>, <IdentityField<T> as ScalarField>::Scalar: BitAnd<Rhs::Scalar>,

type Output = BitAndField<IdentityField<T>, Rhs>

The resulting type after applying the & operator.

fn bitand(self, rhs: Rhs) -> Self::Output

Performs the & operation.

impl<Rhs, T> BitOr<Rhs> for IdentityField<T>

where Rhs: ScalarField<Point = <IdentityField<T> as ScalarField>::Point>, <IdentityField<T> as ScalarField>::Scalar: BitOr<Rhs::Scalar>,

type Output = BitOrField<IdentityField<T>, Rhs>

The resulting type after applying the | operator.

fn bitor(self, rhs: Rhs) -> Self::Output

Performs the | operation.

impl<Rhs, T> BitXor<Rhs> for IdentityField<T>

where Rhs: ScalarField<Point = <IdentityField<T> as ScalarField>::Point>, <IdentityField<T> as ScalarField>::Scalar: BitXor<Rhs::Scalar>,

type Output = BitXorField<IdentityField<T>, Rhs>

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Rhs) -> Self::Output

Performs the ^ operation.

impl<T: Clone> Clone for IdentityField<T>

fn clone(&self) -> IdentityField<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for IdentityField<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Rhs, T> Div<Rhs> for IdentityField<T>

where Rhs: ScalarField<Point = <IdentityField<T> as ScalarField>::Point>, <IdentityField<T> as ScalarField>::Scalar: Div<Rhs::Scalar>,

type Output = DivField<IdentityField<T>, Rhs>

The resulting type after applying the / operator.

fn div(self, rhs: Rhs) -> Self::Output

Performs the / operation.

impl<Rhs, T> Mul<Rhs> for IdentityField<T>

where Rhs: ScalarField<Point = <IdentityField<T> as ScalarField>::Point>, <IdentityField<T> as ScalarField>::Scalar: Mul<Rhs::Scalar>,

type Output = MulField<IdentityField<T>, Rhs>

The resulting type after applying the * operator.

fn mul(self, rhs: Rhs) -> Self::Output

Performs the * operation.

impl<T> Neg for IdentityField<T>

where <IdentityField<T> as ScalarField>::Scalar: Neg,

type Output = NegField<IdentityField<T>>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<T> Not for IdentityField<T>

where <IdentityField<T> as ScalarField>::Scalar: Not,

type Output = NotField<IdentityField<T>>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<Rhs, T> Rem<Rhs> for IdentityField<T>

where Rhs: ScalarField<Point = <IdentityField<T> as ScalarField>::Point>, <IdentityField<T> as ScalarField>::Scalar: Rem<Rhs::Scalar>,

type Output = RemField<IdentityField<T>, Rhs>

The resulting type after applying the % operator.

fn rem(self, rhs: Rhs) -> Self::Output

Performs the % operation.

impl<T> ScalarField for IdentityField<T>

type Point = T

type Scalar = T

fn value(&self, point: Self::Point) -> Self::Scalar

fn map<S, F>(self, func: F) -> MapField<Self, F>

where Self: Sized, F: Fn(Self::Scalar) -> S,

fn transform<P, F>(self, func: F) -> TransformField<Self, P, F>

where Self: Sized, F: Fn(P) -> Self::Point,

impl<Rhs, T> Shl<Rhs> for IdentityField<T>

where Rhs: ScalarField<Point = <IdentityField<T> as ScalarField>::Point>, <IdentityField<T> as ScalarField>::Scalar: Shl<Rhs::Scalar>,

type Output = ShlField<IdentityField<T>, Rhs>

The resulting type after applying the << operator.

fn shl(self, rhs: Rhs) -> Self::Output

Performs the << operation.

impl<Rhs, T> Shr<Rhs> for IdentityField<T>

where Rhs: ScalarField<Point = <IdentityField<T> as ScalarField>::Point>, <IdentityField<T> as ScalarField>::Scalar: Shr<Rhs::Scalar>,

type Output = ShrField<IdentityField<T>, Rhs>

The resulting type after applying the >> operator.

fn shr(self, rhs: Rhs) -> Self::Output

Performs the >> operation.

impl<Rhs, T> Sub<Rhs> for IdentityField<T>

where Rhs: ScalarField<Point = <IdentityField<T> as ScalarField>::Point>, <IdentityField<T> as ScalarField>::Scalar: Sub<Rhs::Scalar>,

type Output = SubField<IdentityField<T>, Rhs>

The resulting type after applying the - operator.

fn sub(self, rhs: Rhs) -> Self::Output

Performs the - operation.

impl<T: Copy> Copy for IdentityField<T>