Skip to main content

Module spec

vest_lib::combinators::mapped

Module spec 

Source
Expand description

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

Structs§

BiMap

Traits§

LosslessMapper
A SpecMapper that is lossless (i.e., non-malleable).
LossyMapper
A SpecMapper that can be lossy (i.e., malleable).
SpecMap
SpecMapper
A bidirectional mapping between two types (forward for parsing, reverse for serialization). For roundtrip guarantees, implement and prove LossyMapper or LosslessMapper as appropriate.

Type Aliases§

BiMapper
FnSpecMapper
TryMapInner
TryMapPred