exhaust 0.2.6

Trait and derive macro for working with all possible values of a type (exhaustive enumeration).
Documentation
1
2
3
4
5
6
7
8
9
10
11
use core::iter;

use crate::Exhaust;

impl Exhaust for core::convert::Infallible {
    type Iter = iter::Empty<core::convert::Infallible>;
    fn exhaust_factories() -> Self::Iter {
        iter::empty()
    }
    crate::patterns::factory_is_self!();
}