Module preceded 

Sequential composition that discards a prefix value.

Preceded has the same wire order as a pair but exposes only the second semantic value. The prefix must still be reconstructible for serialization.

Modules

exec

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

proof

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

spec

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

Structs

Preceded

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