Function parse_resource_range

crates/hyperqueue/src/worker/parser.rs:118–143

Parses a range resource. The start of the range must be smaller or equal to the end. Example: `range(1-5)`.

()

/// The start of the range must be smaller or equal to the end.
/// Example: `range(1-5)`.
fn parse_resource_range() -> impl CharParser<ResourceDescriptorKind> {
    let start = parse_exact_string("range").then(just('(').padded());
    let end = just(')').padded();

    let range = parse_u32()
        .labelled("start")
        .then_ignore(just('-').padded())
        .then(parse_u32().labelled("end"))
        .labelled("range");

    range
        .delimited_by(start, end)
        .try_map(|(start, end), span| {
            if start > end {
                Err(ParseError::custom(
                    span,
                    "Start must be greater or equal to end",
                ))
            } else {
                Ok(ResourceDescriptorKind::Range {
                    start: start.into(),
                    end: end.into(),
                })
            }
        })
}

/// Parse a sum resource.
/// Example: `sum(100)`.