Module opt 

Optional values selected by whether a child parser matches.

Optional maps absence to None; its unambiguity and non-malleability depend on the optional child being distinguishable from what follows.

Modules

exec

Executable trait implementations for this combinator. Executable implementations for optional formats.

proof

Correctness proofs for this combinator. Correctness and ambiguity proofs for optional formats.

spec

Specification trait implementations for this combinator. Specifications for optional formats.

Structs

Opt

Optional combinator: denotes an optional field.

Optional

Optional field with an arbitrary continuation, defined as Pair(Opt<A>, B).