Module fused_iterators

Theory of fused iterators.

Functions

check_fused_iterator

filter_map_then_decomposable

Iterator::filter_map with bool::then can be decomposed into Iterator::filter and Iterator::map.

filter_next_is_find

Iterator::filter then Iterator::next is equivalent to Iterator::find.

next_map_commutes

For all f: FnMut, Iterator::next and Iterator::map(·, f) commutes.