#iterator #impl #enums #either

iter-n

A utility for functions returning impl Iterator to return one of several distinct types

1 unstable release

0.1.0 Apr 30, 2024

#582 in Rust patterns

Download history 192/week @ 2024-04-28 8/week @ 2024-05-05

200 downloads per month

MIT/Apache

295KB
7.5K SLoC

iter-n

Crates.io Docs.rs Actions Status

A utility for functions returning impl Iterator to return one of several distinct types.

Motivation

In functions that return impl Iterator, it is necessary to return an iterator of a specific type. Therefore, it is not possible to return an iterator of a different type, as shown below.

fn f(x: i32) -> impl Iterator<Item = i32> {
    if x % 2 == 0 {
        [0, 1].iter().map(|y| y + 1)
    } else {
        [0, 1].iter().map(|y| y + 2) // ERROR: `if` and `else` have incompatible types
    }
}

By using iter_n, you can return an iterator of a different type from a function.

Example

use iter_n::iter2::* must be placed in function scope, not in module scope.

Since iter_n::iter2, iter_n::iter3, etc. define methods of the same name, if multiple use iter_n::iter{N}::*; are placed in the module scope, there will be a conflict with the methods.

fn f(x: i32) -> impl Iterator<Item = i32> {
    use iter_n::iter2::*;
    if x % 2 == 0 {
        [0, 1].iter().map(|y| y + 1).into_iter0()
    } else {
        [0, 1].iter().map(|y| y + 2).into_iter1()
    }
}
fn g(x: i32) -> impl Iterator<Item = i32> {
    use iter_n::iter3::*;
    if x % 3 == 0 {
        [0, 1].iter().map(|y| y + 1).into_iter0()
    } else if x % 3 == 0 {
        [0, 1].iter().map(|y| y + 2).into_iter1()
    } else {
        [0, 1].iter().map(|y| y + 3).into_iter2()
    }
}

License

This project is dual licensed under Apache-2.0/MIT. See the two LICENSE-* files for details.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.

No runtime deps