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.

Implementors§