Hi, new to chumsky but I've almost replaced a half-written homebrew parser for a simple (non-recursive) grammar in less than an hour! Really slick experience, so thank you!

I want to require whitespace between tokens, but chumsky::text::whitespace allows zero instances.

The example in chumsky::primitive::filter helped me write my own recipe that looks like this:

    let label = ident()
        .delimited_by(just('['), just(']'))
        .then(
            filter::<_, _, Simple<char>>(|c: &char| c.is_whitespace())
                .repeated()
                .at_least(1)
                .ignored(),
        )   
        .map(|(label, ())| label);

Is there a simpler approach I'm missing?

Would it be feasible and ergonomic to have the return type of whitespace behave similar to repeated, with modifier methods such as whitespace().at_least(1)?