Module mapped 

Semantic type transformations over structural combinator values.

Mapped carries full round trips when its mapper is lossless and sound; TryMap also admits a fallible executable conversion.

Modules

exec

Executable trait implementations for this combinator. Executable mapper interfaces and mapped-format implementations.

proof

Correctness proofs for this combinator. Correctness proofs for total and partial semantic mappings.

spec

Specification trait implementations for this combinator. Mapper traits for type transformations used by super::Mapped.

Structs

Mapped

Mapped { inner, mapper } transforms the inner combinator’s value type.

TryMap

TryMap { inner, mapper } is the derived combinator Mapped { inner: Refined(inner, |v| mapper.wf_in(v)), mapper }.