Module terminated 

Sequential composition that discards a suffix value.

Terminated exposes the first value and uses the second format as framing, such as an end marker that can be reconstructed during serialization.

Modules

exec

Executable trait implementations for this combinator. Executable implementation for sequential formats discarding their suffix.

proof

Correctness proofs for this combinator. Correctness proofs for sequential formats discarding their suffix.

spec

Specification trait implementations for this combinator. Specification for sequential formats discarding their suffix.

Structs

Terminated

Parsing semantics: like (A, B), but discards the value parsed by B and returns only the value parsed by A.