Struct MapField

pub struct MapField<I, F> { /* private fields */ }

Trait Implementations

impl<Rhs, I, S, F> Add<Rhs> for MapField<I, F>

where Rhs: ScalarField<Point = <MapField<I, F> as ScalarField>::Point>, <MapField<I, F> as ScalarField>::Scalar: Add<Rhs::Scalar>, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = AddField<MapField<I, F>, Rhs>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<Rhs, I, S, F> BitAnd<Rhs> for MapField<I, F>

where Rhs: ScalarField<Point = <MapField<I, F> as ScalarField>::Point>, <MapField<I, F> as ScalarField>::Scalar: BitAnd<Rhs::Scalar>, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = BitAndField<MapField<I, F>, Rhs>

The resulting type after applying the & operator.

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

Performs the & operation.

impl<Rhs, I, S, F> BitOr<Rhs> for MapField<I, F>

where Rhs: ScalarField<Point = <MapField<I, F> as ScalarField>::Point>, <MapField<I, F> as ScalarField>::Scalar: BitOr<Rhs::Scalar>, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = BitOrField<MapField<I, F>, Rhs>

The resulting type after applying the | operator.

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

Performs the | operation.

impl<Rhs, I, S, F> BitXor<Rhs> for MapField<I, F>

where Rhs: ScalarField<Point = <MapField<I, F> as ScalarField>::Point>, <MapField<I, F> as ScalarField>::Scalar: BitXor<Rhs::Scalar>, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = BitXorField<MapField<I, F>, Rhs>

The resulting type after applying the ^ operator.

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

Performs the ^ operation.

impl<I: Clone, F: Clone> Clone for MapField<I, F>

fn clone(&self) -> MapField<I, F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<I: Debug, F: Debug> Debug for MapField<I, F>

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

Formats the value using the given formatter.

impl<Rhs, I, S, F> Div<Rhs> for MapField<I, F>

where Rhs: ScalarField<Point = <MapField<I, F> as ScalarField>::Point>, <MapField<I, F> as ScalarField>::Scalar: Div<Rhs::Scalar>, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = DivField<MapField<I, F>, Rhs>

The resulting type after applying the / operator.

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

Performs the / operation.

impl<Rhs, I, S, F> Mul<Rhs> for MapField<I, F>

where Rhs: ScalarField<Point = <MapField<I, F> as ScalarField>::Point>, <MapField<I, F> as ScalarField>::Scalar: Mul<Rhs::Scalar>, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = MulField<MapField<I, F>, Rhs>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<I, S, F> Neg for MapField<I, F>

where <MapField<I, F> as ScalarField>::Scalar: Neg, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = NegField<MapField<I, F>>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<I, S, F> Not for MapField<I, F>

where <MapField<I, F> as ScalarField>::Scalar: Not, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = NotField<MapField<I, F>>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<Rhs, I, S, F> Rem<Rhs> for MapField<I, F>

where Rhs: ScalarField<Point = <MapField<I, F> as ScalarField>::Point>, <MapField<I, F> as ScalarField>::Scalar: Rem<Rhs::Scalar>, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = RemField<MapField<I, F>, Rhs>

The resulting type after applying the % operator.

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

Performs the % operation.

impl<I, S, F> ScalarField for MapField<I, F>

where I: ScalarField, F: Fn(I::Scalar) -> S,

type Point = <I as ScalarField>::Point

type Scalar = S

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, I, S, F> Shl<Rhs> for MapField<I, F>

where Rhs: ScalarField<Point = <MapField<I, F> as ScalarField>::Point>, <MapField<I, F> as ScalarField>::Scalar: Shl<Rhs::Scalar>, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = ShlField<MapField<I, F>, Rhs>

The resulting type after applying the << operator.

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

Performs the << operation.

impl<Rhs, I, S, F> Shr<Rhs> for MapField<I, F>

where Rhs: ScalarField<Point = <MapField<I, F> as ScalarField>::Point>, <MapField<I, F> as ScalarField>::Scalar: Shr<Rhs::Scalar>, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = ShrField<MapField<I, F>, Rhs>

The resulting type after applying the >> operator.

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

Performs the >> operation.

impl<Rhs, I, S, F> Sub<Rhs> for MapField<I, F>

where Rhs: ScalarField<Point = <MapField<I, F> as ScalarField>::Point>, <MapField<I, F> as ScalarField>::Scalar: Sub<Rhs::Scalar>, I: ScalarField, F: Fn(I::Scalar) -> S,

type Output = SubField<MapField<I, F>, Rhs>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<I: Copy, F: Copy> Copy for MapField<I, F>