Struct AddField

pub struct AddField<L, R> { /* private fields */ }

Trait Implementations

impl<Rhs, L, R> Add<Rhs> for AddField<L, R>

where Rhs: ScalarField<Point = <AddField<L, R> as ScalarField>::Point>, <AddField<L, R> as ScalarField>::Scalar: Add<Rhs::Scalar>, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = AddField<AddField<L, R>, Rhs>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<Rhs, L, R> BitAnd<Rhs> for AddField<L, R>

where Rhs: ScalarField<Point = <AddField<L, R> as ScalarField>::Point>, <AddField<L, R> as ScalarField>::Scalar: BitAnd<Rhs::Scalar>, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = BitAndField<AddField<L, R>, Rhs>

The resulting type after applying the & operator.

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

Performs the & operation.

impl<Rhs, L, R> BitOr<Rhs> for AddField<L, R>

where Rhs: ScalarField<Point = <AddField<L, R> as ScalarField>::Point>, <AddField<L, R> as ScalarField>::Scalar: BitOr<Rhs::Scalar>, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = BitOrField<AddField<L, R>, Rhs>

The resulting type after applying the | operator.

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

Performs the | operation.

impl<Rhs, L, R> BitXor<Rhs> for AddField<L, R>

where Rhs: ScalarField<Point = <AddField<L, R> as ScalarField>::Point>, <AddField<L, R> as ScalarField>::Scalar: BitXor<Rhs::Scalar>, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = BitXorField<AddField<L, R>, Rhs>

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl<L: Clone, R: Clone> Clone for AddField<L, R>

fn clone(&self) -> AddField<L, R>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<L: Debug, R: Debug> Debug for AddField<L, R>

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

Formats the value using the given formatter.

impl<Rhs, L, R> Div<Rhs> for AddField<L, R>

where Rhs: ScalarField<Point = <AddField<L, R> as ScalarField>::Point>, <AddField<L, R> as ScalarField>::Scalar: Div<Rhs::Scalar>, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = DivField<AddField<L, R>, Rhs>

The resulting type after applying the / operator.

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

Performs the / operation.

impl<Rhs, L, R> Mul<Rhs> for AddField<L, R>

where Rhs: ScalarField<Point = <AddField<L, R> as ScalarField>::Point>, <AddField<L, R> as ScalarField>::Scalar: Mul<Rhs::Scalar>, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = MulField<AddField<L, R>, Rhs>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<L, R> Neg for AddField<L, R>

where <AddField<L, R> as ScalarField>::Scalar: Neg, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = NegField<AddField<L, R>>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<L, R> Not for AddField<L, R>

where <AddField<L, R> as ScalarField>::Scalar: Not, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = NotField<AddField<L, R>>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<Rhs, L, R> Rem<Rhs> for AddField<L, R>

where Rhs: ScalarField<Point = <AddField<L, R> as ScalarField>::Point>, <AddField<L, R> as ScalarField>::Scalar: Rem<Rhs::Scalar>, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = RemField<AddField<L, R>, Rhs>

The resulting type after applying the % operator.

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

Performs the % operation.

impl<L, R> ScalarField for AddField<L, R>

where L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Point = <L as ScalarField>::Point

type Scalar = <<L as ScalarField>::Scalar as Add<<R as ScalarField>::Scalar>>::Output

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, L, R> Shl<Rhs> for AddField<L, R>

where Rhs: ScalarField<Point = <AddField<L, R> as ScalarField>::Point>, <AddField<L, R> as ScalarField>::Scalar: Shl<Rhs::Scalar>, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = ShlField<AddField<L, R>, Rhs>

The resulting type after applying the << operator.

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

Performs the << operation.

impl<Rhs, L, R> Shr<Rhs> for AddField<L, R>

where Rhs: ScalarField<Point = <AddField<L, R> as ScalarField>::Point>, <AddField<L, R> as ScalarField>::Scalar: Shr<Rhs::Scalar>, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = ShrField<AddField<L, R>, Rhs>

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl<Rhs, L, R> Sub<Rhs> for AddField<L, R>

where Rhs: ScalarField<Point = <AddField<L, R> as ScalarField>::Point>, <AddField<L, R> as ScalarField>::Scalar: Sub<Rhs::Scalar>, L: ScalarField, R: ScalarField<Point = L::Point>, L::Scalar: Add<R::Scalar>, L::Point: Clone,

type Output = SubField<AddField<L, R>, Rhs>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<L: Copy, R: Copy> Copy for AddField<L, R>