Struct SpecDepend

pub struct SpecDepend<Fst, Snd>where
    Fst: SecureSpecCombinator,
    Snd: SpecCombinator,{
    pub fst: Fst,
    pub snd: FnSpec<(Fst::SpecResult,), Snd>,
}

Expand description

Spec version of Depend.

Fields§

combinators that contain dependencies

§snd: FnSpec<(Fst::SpecResult,), Snd>

closure that captures dependencies and maps them to the dependent combinators

Trait Implementations§

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

The type returned in the event of a conversion error.

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

Struct SpecDepend

Fields§

Trait Implementations§

Auto Trait Implementations§

Blanket Implementations§

Struct SpecDependCopy item path

Fields§

Trait Implementations§

impl<Fst, Snd> SpecCombinator for SpecDepend<Fst, Snd>where Fst: SecureSpecCombinator, Snd: SpecCombinator,

type SpecResult = (<Fst as SpecCombinator>::SpecResult, <Snd as SpecCombinator>::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<Fst, Snd> SecureSpecCombinator for SpecDepend<Fst, Snd>where Fst: SecureSpecCombinator, Snd: SecureSpecCombinator,

Auto Trait Implementations§

impl<Fst, Snd> Freeze for SpecDepend<Fst, Snd>where Fst: Freeze,

impl<Fst, Snd> RefUnwindSafe for SpecDepend<Fst, Snd>where Fst: RefUnwindSafe, Snd: RefUnwindSafe, <Fst as SpecCombinator>::SpecResult: RefUnwindSafe,

impl<Fst, Snd> Send for SpecDepend<Fst, Snd>where Fst: Send, Snd: Send, <Fst as SpecCombinator>::SpecResult: Send,

impl<Fst, Snd> Sync for SpecDepend<Fst, Snd>where Fst: Sync, Snd: Sync, <Fst as SpecCombinator>::SpecResult: Sync,

impl<Fst, Snd> Unpin for SpecDepend<Fst, Snd>where Fst: Unpin, Snd: Unpin, <Fst as SpecCombinator>::SpecResult: Unpin,

impl<Fst, Snd> UnwindSafe for SpecDepend<Fst, Snd>where Fst: UnwindSafe, Snd: UnwindSafe, <Fst as SpecCombinator>::SpecResult: UnwindSafe,

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T, U> SpecTryInto<U> for Twhere U: SpecTryFrom<T>,

type Error = <U as SpecTryFrom<T>>::Error

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<T> SpecFrom<T> for T

impl<T, U> SpecInto<U> for Twhere U: SpecFrom<T>,

Struct SpecDepend

impl<Fst, Snd> SpecCombinator for SpecDepend<Fst, Snd>
where Fst: SecureSpecCombinator, Snd: SpecCombinator,

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<Fst, Snd> SecureSpecCombinator for SpecDepend<Fst, Snd>
where Fst: SecureSpecCombinator, Snd: SecureSpecCombinator,

impl<Fst, Snd> Freeze for SpecDepend<Fst, Snd>
where Fst: Freeze,

impl<Fst, Snd> RefUnwindSafe for SpecDepend<Fst, Snd>
where Fst: RefUnwindSafe, Snd: RefUnwindSafe, <Fst as SpecCombinator>::SpecResult: RefUnwindSafe,

impl<Fst, Snd> Send for SpecDepend<Fst, Snd>
where Fst: Send, Snd: Send, <Fst as SpecCombinator>::SpecResult: Send,

impl<Fst, Snd> Sync for SpecDepend<Fst, Snd>
where Fst: Sync, Snd: Sync, <Fst as SpecCombinator>::SpecResult: Sync,

impl<Fst, Snd> Unpin for SpecDepend<Fst, Snd>
where Fst: Unpin, Snd: Unpin, <Fst as SpecCombinator>::SpecResult: Unpin,

impl<Fst, Snd> UnwindSafe for SpecDepend<Fst, Snd>
where Fst: UnwindSafe, Snd: UnwindSafe, <Fst as SpecCombinator>::SpecResult: UnwindSafe,

impl<T> Any for T
where T: 'static + ?Sized,

impl<T> Borrow<T> for T
where T: ?Sized,

impl<T> BorrowMut<T> for T
where T: ?Sized,

impl<T, U> Into<U> for T
where U: From<T>,

impl<T, U> SpecTryInto<U> for T
where U: SpecTryFrom<T>,

impl<T, U> TryFrom<U> for T
where U: Into<T>,

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

impl<T, U> SpecInto<U> for T
where U: SpecFrom<T>,