Module star 

Repetition into vectors/sequences.

Star stops when its child no longer matches; RepeatTillEnd requires a bounded region to be exhausted. Their child must be productive so every successful iteration consumes input.

Modules

exec

Executable trait implementations for this combinator. Executable zero-or-more repetition.

proof

Correctness proofs for this combinator. Correctness, termination, and ambiguity proofs for repetition.

spec

Specification trait implementations for this combinator. Specifications for zero-or-more repetition.

Structs

Array

Exactly N repetitions of combinator C (N is a compile-time constant).

Repeat

Zero-or-more A followed by terminator B: sugar for Pair(Star<A>, B).

RepeatN

Exactly N repetitions of combinator C (N is a runtime value).

Star

Kleene star combinator: greedy zero-or-more repetition, consuming/producing Seq<A::PVal>.