Trait DisjointFrom

pub trait DisjointFrom<Other>
where
    Self: SpecCombinator,
    Other: SpecCombinator,
{ }

A helper trait for OrdChoice combinator.

Implementations on Foreign Types

impl<'a, 'b, T1, T2> DisjointFrom<&'a T1> for &'b T2

where T1: SpecCombinator, T2: SpecCombinator + DisjointFrom<T1>,

impl<U1, U2, V1, V2> DisjointFrom<(U2, V2)> for (U1, V1)

where U1: DisjointFrom<U2> + SecureSpecCombinator, U2: SecureSpecCombinator, V1: SpecCombinator, V2: SpecCombinator,

Implementors

impl DisjointFrom<Refined<Bytes, TagPred<Seq<u8>>>> for Refined<Bytes, TagPred<Seq<u8>>>

impl DisjointFrom<Refined<U8, TagPred<u8>>> for Refined<U8, TagPred<u8>>

impl DisjointFrom<Refined<U16, TagPred<u16>>> for Refined<U16, TagPred<u16>>

impl DisjointFrom<Refined<U32, TagPred<u32>>> for Refined<U32, TagPred<u32>>

impl DisjointFrom<Refined<U64, TagPred<u64>>> for Refined<U64, TagPred<u64>>

impl DisjointFrom<Tag<Bytes, Seq<u8>>> for Tag<Bytes, Seq<u8>>

impl DisjointFrom<Tag<U8, u8>> for Tag<U8, u8>

impl DisjointFrom<Tag<U16, u16>> for Tag<U16, u16>

impl DisjointFrom<Tag<U32, u32>> for Tag<U32, u32>

impl DisjointFrom<Tag<U64, u64>> for Tag<U64, u64>

impl<Inner1, Inner2> DisjointFrom<Cond<Inner2>> for Cond<Inner1>

where Inner1: SpecCombinator, Inner2: SpecCombinator,

impl<S1, S2, S3> DisjointFrom<S3> for OrdChoice<S1, S2>

where S1: SpecCombinator + DisjointFrom<S3>, S2: SpecCombinator + DisjointFrom<S1> + DisjointFrom<S3>, S3: SpecCombinator,

impl<T> DisjointFrom<T> for Fail

where T: SpecCombinator,

impl<U1, U2, M1, M2> DisjointFrom<Mapped<U2, M2>> for Mapped<U1, M1>

where U1: DisjointFrom<U2>, U2: SpecCombinator, M1: SpecIso<Src = U1::SpecResult>, M2: SpecIso<Src = U2::SpecResult>, U1::SpecResult: SpecFrom<M1::Dst>, U2::SpecResult: SpecFrom<M2::Dst>, M1::Dst: SpecFrom<U1::SpecResult>, M2::Dst: SpecFrom<U2::SpecResult>,

impl<U1, U2, V1, V2> DisjointFrom<SpecDepend<U2, V2>> for SpecDepend<U1, V1>

where U1: DisjointFrom<U2> + SecureSpecCombinator, U2: SecureSpecCombinator, V1: SpecCombinator, V2: SpecCombinator,

impl<U1, U2, V1, V2> DisjointFrom<Preceded<U2, V2>> for Preceded<U1, V1>

where U1: DisjointFrom<U2> + SecureSpecCombinator<SpecResult = ()>, U2: SecureSpecCombinator<SpecResult = ()>, V1: SpecCombinator, V2: SpecCombinator,

impl<const N: usize> DisjointFrom<Refined<BytesN<N>, TagPred<Seq<u8>>>> for Refined<BytesN<N>, TagPred<Seq<u8>>>

impl<const N: usize> DisjointFrom<Tag<BytesN<N>, Seq<u8>>> for Tag<BytesN<N>, Seq<u8>>