Module marker 

Marker combinators for empty and impossible wire languages.

Empty accepts the empty prefix and produces (). Void accepts nothing and is useful for eliminating impossible choice branches.

Modules

exec

Executable trait implementations for this combinator. Executable implementations for empty and uninhabitable formats.

proof

Correctness proofs for this combinator. Correctness proofs for empty and uninhabitable formats.

spec

Specification trait implementations for this combinator. Specifications for empty and uninhabitable formats.

Structs

Empty

Marker combinator that denotes the “empty” format.

Void

Marker combinator that denotes the “void” format.