Trait pocket_prover_set::MSet

pub trait MSet {
    fn anys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64;
    fn uniqs<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64;
    fn fin_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64;
    fn inf_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64;
}

Implemented on tuples of sets to access arrays of same kind of bits.

Required methods

fn anys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

Do something with the any bits.

fn uniqs<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

Do something with the uniq bits.

fn fin_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

Do something with the fin_many bits.

fn inf_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

Do something with the inf_many bits.

Loading content...

Implementations on Foreign Types

impl MSet for (Set, Set)

fn anys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn uniqs<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn fin_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn inf_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

impl MSet for (Set, Set, Set)

fn anys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn uniqs<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn fin_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn inf_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

impl MSet for (Set, Set, Set, Set)

fn anys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn uniqs<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn fin_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn inf_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

impl MSet for (Set, Set, Set, Set, Set)

fn anys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn uniqs<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn fin_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn inf_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

impl MSet for (Set, Set, Set, Set, Set, Set)

fn anys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn uniqs<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn fin_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn inf_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

impl MSet for (Set, Set, Set, Set, Set, Set, Set)

fn anys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn uniqs<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn fin_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn inf_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

impl MSet for (Set, Set, Set, Set, Set, Set, Set, Set)

fn anys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn uniqs<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn fin_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

fn inf_manys<F: Fn(&[u64]) -> u64>(&self, f: F) -> u64

Loading content...

Implementors

Loading content...