Type Definition kimchi::circuits::lookup::lookups::JointLookupValue

pub type JointLookupValue<F> = JointLookup<F, F>;

A concrete value or representation of a lookup.

Implementations

impl<F: Zero + One + Clone + Neg<Output = F> + From<u64>> JointLookupValue<F>

pub fn evaluate(&self, joint_combiner: &F, table_id_combiner: &F) -> F

Evaluate the combined value of a joint-lookup.

Trait Implementations

impl<'de, F, G: DeserializeAs<'de, F>> DeserializeAs<'de, JointLookup<F, F>> for JointLookupValue<G>

fn deserialize_as<D>(deserializer: D) -> Result<JointLookupValue<F>, D::Error>where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F, G> SerializeAs<JointLookup<F, F>> for JointLookupValue<G>where G: SerializeAs<F>,

fn serialize_as<S>( source: &JointLookupValue<F>, serializer: S ) -> Result<S::Ok, S::Error>where S: Serializer,

Serialize this value into the given Serde serializer.