Trait InnerValue 

pub trait InnerValue: Clone + Debug {
    type Element: Clone + Debug;

    // Required method
    fn value(&self) -> Value<Self::Element>;
}

Trait for accessing the value inside assigned circuit elements.

Required Associated Types

type Element: Clone + Debug

Represents the unassigned type corresponding to the InnerValue

Required Methods

fn value(&self) -> Value<Self::Element>

Returns the value of the assigned element.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<T: InnerValue, const L: usize> InnerValue for [T; L]

type Element = [<T as InnerValue>::Element; L]

fn value(&self) -> Value<Self::Element>

Implementors

impl<C: CircuitCurve> InnerValue for AssignedNativePoint<C>

type Element = <C as CircuitCurve>::CryptographicGroup

impl<C: CircuitCurve> InnerValue for AssignedScalarOfNativeCurve<C>

type Element = <C as CircuitCurve>::ScalarField

impl<F, C, B> InnerValue for AssignedForeignEdwardsPoint<F, C, B>

where F: CircuitField, C: EdwardsCurve, B: FieldEmulationParams<F, C::Base>,

type Element = <C as CircuitCurve>::CryptographicGroup

impl<F, C, B> InnerValue for AssignedForeignPoint<F, C, B>

where F: CircuitField, C: WeierstrassCurve, B: FieldEmulationParams<F, C::Base>,

type Element = <C as CircuitCurve>::CryptographicGroup

impl<F, K, P> InnerValue for AssignedField<F, K, P>

where F: CircuitField, K: CircuitField, P: FieldEmulationParams<F, K>,

type Element = K

impl<F: CircuitField, const M: usize, T: Vectorizable, const A: usize> InnerValue for AssignedVector<F, T, M, A>

type Element = Vec<<T as InnerValue>::Element>

impl<F: CircuitField> InnerValue for AssignedBigUint<F>

type Element = BigUint

impl<F: CircuitField> InnerValue for AssignedBit<F>

type Element = bool

impl<F: CircuitField> InnerValue for AssignedBounded<F>

type Element = BoundedElement<F>

impl<F: CircuitField> InnerValue for AssignedByte<F>

type Element = u8

impl<F: CircuitField> InnerValue for AssignedNative<F>

type Element = F

impl<S: SelfEmulation> InnerValue for AssignedAccumulator<S>

type Element = Accumulator<S>

impl<S: SelfEmulation> InnerValue for AssignedMsm<S>

type Element = Msm<S>

impl<S: SelfEmulation> InnerValue for AssignedVk<S>

type Element = VerifyingKey<<S as SelfEmulation>::F, KZGCommitmentScheme<<S as SelfEmulation>::Engine>>