Skip to main content

StrictCombinator

vest_lib::core::proof

Trait StrictCombinator 

Source 
pub trait StrictCombinator:
    SafeParser
    + Productive
    + SoundParser
    + NonMalleable
    + GoodSerializer
    + NonTailFmt
    + SPRoundTripDps
    + EquivSerializersGeneral { }
Expand description

A “strict” combinator that satisfies all the core correctness and security properties proven by the library’s combinators.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§