Function parse_resource_sum

crates/hyperqueue/src/worker/parser.rs:147–156

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

()

/// Parse a sum resource.
/// Example: `sum(100)`.
fn parse_resource_sum() -> impl CharParser<ResourceDescriptorKind> {
    let start = parse_exact_string("sum").then(just('(').padded());
    let end = just(')').padded();

    let value = parse_resource_amount()
        .labelled("sum")
        .map(|size| ResourceDescriptorKind::Sum { size });

    value.delimited_by(start, end)
}

fn parse_resource_kind() -> impl CharParser<ResourceDescriptorKind> {
    chumsky::primitive::choice((