interface / @typed/router/Parser

Parser.Many1Of

Binds the repeated Parser for one-or-more evaluation.

Package version
1.0.0-beta.13
Category
Parser repetition
Since
1.0.0
Member of
Parser

Import

import { Parser } from "@typed/router/Parser";

Access Parser.Many1Of through the imported Parser export. Its declaration below describes the member.

Signatures

interface Many1Of extends TypeFunction {
    readonly return: InputOf<this> extends infer P extends Any ? Many1<P> : never;
}

Why

Higher-order grammar can require progress and at least one value.

Ownership and lifetime

TypeScript instantiates Many1Of while parsing a string-literal input; partial results and unconsumed text exist only in the resulting type.

Property: return

Computes this type lambda’s parse result for its current input.

Property: return: Why

The local type-function protocol evaluates each parser combinator through this member without a parallel runtime object.

Property: return: Ownership and lifetime

TypeScript evaluates Many1Of.return when the surrounding parser is applied; the associated result is erased and retains no input at runtime.

Source