Trait SecureSpecCombinator 

pub trait SecureSpecCombinator: SpecCombinator { }

Theorems and lemmas that must be proven for a combinator to be considered correct and secure.

Implementations on Foreign Types

impl<C: SecureSpecCombinator> SecureSpecCombinator for &C

impl<C: SecureSpecCombinator> SecureSpecCombinator for Box<C>

impl<Fst: SecureSpecCombinator, Snd: SecureSpecCombinator> SecureSpecCombinator for (Fst, Snd)

Implementors

impl SecureSpecCombinator for BtcVarint

impl SecureSpecCombinator for Tail

impl SecureSpecCombinator for Variable

impl SecureSpecCombinator for End

impl SecureSpecCombinator for Fail

impl SecureSpecCombinator for UnsignedLEB128

impl SecureSpecCombinator for Success

impl SecureSpecCombinator for U8

impl SecureSpecCombinator for U16Be

impl SecureSpecCombinator for U16Le

impl SecureSpecCombinator for U24Be

impl SecureSpecCombinator for U24Le

impl SecureSpecCombinator for U32Be

impl SecureSpecCombinator for U32Le

impl SecureSpecCombinator for U64Be

impl SecureSpecCombinator for U64Le

impl<C: SecureSpecCombinator> SecureSpecCombinator for Repeat<C>

impl<C: SecureSpecCombinator> SecureSpecCombinator for RepeatN<C>

impl<Fst, Snd> SecureSpecCombinator for Choice<Fst, Snd>

where Fst: SecureSpecCombinator, Snd: SecureSpecCombinator + DisjointFrom<Fst>,

impl<Fst, Snd> SecureSpecCombinator for OptThen<Fst, Snd>

where Fst: SecureSpecCombinator, Snd: SecureSpecCombinator + DisjointFrom<Fst>,

impl<Fst, Snd> SecureSpecCombinator for SpecPair<Fst, Snd>

where Fst: SecureSpecCombinator, Snd: SecureSpecCombinator,

impl<Fst: SecureSpecCombinator<Type = ()>, Snd: SecureSpecCombinator> SecureSpecCombinator for Preceded<Fst, Snd>

impl<Fst: SecureSpecCombinator, Snd: SecureSpecCombinator<Type = ()>> SecureSpecCombinator for Terminated<Fst, Snd>

impl<Inner, M> SecureSpecCombinator for Mapped<Inner, M>

where Inner: SecureSpecCombinator, M: SpecIsoProof<Src = Inner::Type>, Inner::Type: SpecFrom<M::Dst>, M::Dst: SpecFrom<Inner::Type>,

impl<Inner, M> SecureSpecCombinator for TryMap<Inner, M>

where Inner: SecureSpecCombinator, M: SpecPartialIsoProof<Src = Inner::Type>, Inner::Type: SpecTryFrom<M::Dst>, M::Dst: SpecTryFrom<Inner::Type>,

impl<Inner, P> SecureSpecCombinator for Refined<Inner, P>

where Inner: SecureSpecCombinator, P: SpecPred<Inner::Type>,

impl<Inner: SecureSpecCombinator> SecureSpecCombinator for Cond<Inner>

impl<Inner: SecureSpecCombinator<Type = T>, T> SecureSpecCombinator for Tag<Inner, T>

impl<Next: SecureSpecCombinator> SecureSpecCombinator for AndThen<Variable, Next>

impl<T: SecureSpecCombinator> SecureSpecCombinator for Opt<T>

impl<const N: usize> SecureSpecCombinator for Fixed<N>