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.

Loading content...

Implementations on Foreign Types

impl Enumerable for u8

fn start() -> u8

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

Loading content...

Implementors

impl Enumerable for Pred1

fn start() -> Self

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

Loading content...