Module tail 

Formats that consume the remaining input.

Tail borrows all remaining bytes. Eof accepts only an empty input and is used to make complete-consumption requirements explicit.

Modules

exec

Executable trait implementations for this combinator. Executable implementations for end-of-input and remaining-input formats.

proof

Correctness proofs for this combinator. Correctness proofs for tail-position formats.

spec

Specification trait implementations for this combinator. Specifications for tail-position formats.

Structs

Eof

End-of-file combinator: denotes the “EOF”.

OptionalEnd

Sugar for Optional(C, Eof).

PairRev

Sequential composition of formats A and B, where the direction of parsing is reversed compared to super::Pair.

RepeatTillEnd

Sugar for Repeat(C, Eof).

Tail

Tail combinator: denotes the “tail” of the format, useful for under-specification.