Expand description
Correctness and security proof traits for Vest combinators.
Traits§
- Equiv
Serializers - DPS ↔ non-DPS serializer equivalence on the empty buffer.
- Equiv
Serializers General - Full DPS ↔ non-DPS serializer equivalence for any output buffer.
- Leaf
- This is a marker trait for combinators that are “leaves” in the combinator hierarchy.
- Leaf
NonMalleable - Similar to
Leaf, but also includes the parser soundness and non-malleability properties. - NoLook
Ahead - No-lookahead property for parsers.
- NonAmbiguous
- Serializer unambiguity (injectivity on consistent values).
- NonMalleable
- Parser non-malleability.
- PSRound
Trip - Parse-serialize roundtrip.
- Productive
- Productivity for parsers.
- SPRound
Trip - Serialize-parse roundtrip.
- SPRound
Trip Dps - Serialize-parse roundtrip (DPS).
- Strict
Combinator - A “strict” combinator that satisfies all the core correctness and security properties proven by the library’s combinators.