Module winter_prover::iterators

source ·
Expand description

Components needed for parallel iterators.

When concurrent feature is enabled, this module re-exports rayon::prelude. Otherwise, this is an empty module.

Macros

batch_iter_mut
Applies a procedure to the provided slice either in a single thread or multiple threads based on whether concurrent feature is enabled.
iter
Returns either a regular or a parallel iterator depending on whether concurrent feature is enabled.
iter_mut
Returns either a regular or a parallel mutable iterator depending on whether concurrent feature is enabled.