Struct ConstantField

pub struct ConstantField<P, S>(/* private fields */);

Trait Implementations

impl<Rhs, P, S> Add<Rhs> for ConstantField<P, S>

where Rhs: ScalarField<Point = <ConstantField<P, S> as ScalarField>::Point>, <ConstantField<P, S> as ScalarField>::Scalar: Add<Rhs::Scalar>, S: Clone,

type Output = AddField<ConstantField<P, S>, Rhs>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<Rhs, P, S> BitAnd<Rhs> for ConstantField<P, S>

where Rhs: ScalarField<Point = <ConstantField<P, S> as ScalarField>::Point>, <ConstantField<P, S> as ScalarField>::Scalar: BitAnd<Rhs::Scalar>, S: Clone,

type Output = BitAndField<ConstantField<P, S>, Rhs>

The resulting type after applying the & operator.

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

Performs the & operation.

impl<Rhs, P, S> BitOr<Rhs> for ConstantField<P, S>

where Rhs: ScalarField<Point = <ConstantField<P, S> as ScalarField>::Point>, <ConstantField<P, S> as ScalarField>::Scalar: BitOr<Rhs::Scalar>, S: Clone,

type Output = BitOrField<ConstantField<P, S>, Rhs>

The resulting type after applying the | operator.

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

Performs the | operation.

impl<Rhs, P, S> BitXor<Rhs> for ConstantField<P, S>

where Rhs: ScalarField<Point = <ConstantField<P, S> as ScalarField>::Point>, <ConstantField<P, S> as ScalarField>::Scalar: BitXor<Rhs::Scalar>, S: Clone,

type Output = BitXorField<ConstantField<P, S>, Rhs>

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl<P: Clone, S: Clone> Clone for ConstantField<P, S>

fn clone(&self) -> ConstantField<P, S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug, S: Debug> Debug for ConstantField<P, S>

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

Formats the value using the given formatter.

impl<Rhs, P, S> Div<Rhs> for ConstantField<P, S>

where Rhs: ScalarField<Point = <ConstantField<P, S> as ScalarField>::Point>, <ConstantField<P, S> as ScalarField>::Scalar: Div<Rhs::Scalar>, S: Clone,

type Output = DivField<ConstantField<P, S>, Rhs>

The resulting type after applying the / operator.

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

Performs the / operation.

impl<Rhs, P, S> Mul<Rhs> for ConstantField<P, S>

where Rhs: ScalarField<Point = <ConstantField<P, S> as ScalarField>::Point>, <ConstantField<P, S> as ScalarField>::Scalar: Mul<Rhs::Scalar>, S: Clone,

type Output = MulField<ConstantField<P, S>, Rhs>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<P, S> Neg for ConstantField<P, S>

where <ConstantField<P, S> as ScalarField>::Scalar: Neg, S: Clone,

type Output = NegField<ConstantField<P, S>>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<P, S> Not for ConstantField<P, S>

where <ConstantField<P, S> as ScalarField>::Scalar: Not, S: Clone,

type Output = NotField<ConstantField<P, S>>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<Rhs, P, S> Rem<Rhs> for ConstantField<P, S>

where Rhs: ScalarField<Point = <ConstantField<P, S> as ScalarField>::Point>, <ConstantField<P, S> as ScalarField>::Scalar: Rem<Rhs::Scalar>, S: Clone,

type Output = RemField<ConstantField<P, S>, Rhs>

The resulting type after applying the % operator.

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

Performs the % operation.

impl<P, S: Clone> ScalarField for ConstantField<P, S>

type Point = P

type Scalar = S

fn value(&self, _: 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, P, S> Shl<Rhs> for ConstantField<P, S>

where Rhs: ScalarField<Point = <ConstantField<P, S> as ScalarField>::Point>, <ConstantField<P, S> as ScalarField>::Scalar: Shl<Rhs::Scalar>, S: Clone,

type Output = ShlField<ConstantField<P, S>, Rhs>

The resulting type after applying the << operator.

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

Performs the << operation.

impl<Rhs, P, S> Shr<Rhs> for ConstantField<P, S>

where Rhs: ScalarField<Point = <ConstantField<P, S> as ScalarField>::Point>, <ConstantField<P, S> as ScalarField>::Scalar: Shr<Rhs::Scalar>, S: Clone,

type Output = ShrField<ConstantField<P, S>, Rhs>

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl<Rhs, P, S> Sub<Rhs> for ConstantField<P, S>

where Rhs: ScalarField<Point = <ConstantField<P, S> as ScalarField>::Point>, <ConstantField<P, S> as ScalarField>::Scalar: Sub<Rhs::Scalar>, S: Clone,

type Output = SubField<ConstantField<P, S>, Rhs>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<P: Copy, S: Copy> Copy for ConstantField<P, S>