Trait pocket_prover::Enumerable

pub trait Enumerable: Sized {
    fn start() -> Self;
    fn inc(&self) -> Option<Self>;
}

Implemented by types to use with all and any.

Required Methods

fn start() -> Self

Returns start value.

fn inc(&self) -> Option<Self>

Increases value.

Implementations on Foreign Types

impl Enumerable for u8

fn start() -> u8

fn inc(&self) -> Option<Self>

Implementors

• impl Enumerable for Pred1