snark_verifier::loader::halo2

Trait Valuetools

Source
pub trait Valuetools<V>: Iterator<Item = Value<V>> {
    // Provided method
    fn fold_zipped<B, F>(self, init: B, f: F) -> Value<B>
       where Self: Sized,
             F: FnMut(B, V) -> B { ... }
}
Expand description

Helper methods when dealing with iterator of Value.

Provided Methods§

Source

fn fold_zipped<B, F>(self, init: B, f: F) -> Value<B>
where Self: Sized, F: FnMut(B, V) -> B,

Fold zipped values into accumulator, returns Value::unknown() if any is Value::unknown().

Implementors§

Source§

impl<V, I: Iterator<Item = Value<V>>> Valuetools<V> for I