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<Fst: SecureSpecCombinator, Snd: SecureSpecCombinator> SecureSpecCombinator for (Fst, Snd)

Implementors

impl SecureSpecCombinator for Bytes

impl SecureSpecCombinator for Fail

impl SecureSpecCombinator for Tail

impl SecureSpecCombinator for U8

impl SecureSpecCombinator for U16

impl SecureSpecCombinator for U32

impl SecureSpecCombinator for U64

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

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

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

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

where Fst: SecureSpecCombinator, Snd: SecureSpecCombinator,

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

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

where Inner: SecureSpecCombinator, M: SpecIso<Src = Inner::SpecResult>, Inner::SpecResult: SpecFrom<M::Dst>, M::Dst: SpecFrom<Inner::SpecResult>,

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

where Inner: SecureSpecCombinator, M: SpecTryFromInto<Src = Inner::SpecResult>, Inner::SpecResult: SpecTryFrom<M::Dst>, M::Dst: SpecTryFrom<Inner::SpecResult>,

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

where Inner: SecureSpecCombinator, P: SpecPred<Input = Inner::SpecResult>,

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

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

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

impl<T: Builder> SecureSpecCombinator for BuilderCombinator<T>

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