Module named 

Name-carrying wrapper for runtime error reporting.

Named preserves the child’s format semantics and attaches a static name while parse or preparation errors propagate outward.

Modules

exec

Executable trait implementations for this combinator. Executable error-context propagation for named formats.

proof

Correctness proofs for this combinator. Proof delegation through named formats.

spec

Specification trait implementations for this combinator. Specification delegation through named formats.

Structs

Named

Transparent wrapper around Inner that annotates runtime parse errors with a static format name.