Enum gc_sequence::and_then::AndThenWith

#[must_use = "sequences do nothing unless stepped"]
pub enum AndThenWith<S, C, F, I> {
    First(S, Option<(C, StaticCollect<F>)>),
    Second(Option<(C, I, StaticCollect<F>)>),
}

Variants

First(S, Option<(C, StaticCollect<F>)>)

Second(Option<(C, I, StaticCollect<F>)>)

Implementations

impl<S, C, F, I> AndThenWith<S, C, F, I>

pub fn new(s: S, c: C, f: F) -> AndThenWith<S, C, F, I>

Trait Implementations

impl<S, C, F, I> Collect for AndThenWith<S, C, F, I> where
    S: Collect,
    Option<(C, StaticCollect<F>)>: Collect,
    Option<(C, I, StaticCollect<F>)>: Collect, 

fn needs_trace() -> bool

As an optimization, if this type can never hold a Gc pointer and trace is unnecessary to call, you may implement this method and return false. The default implementation returns true, signaling that Collect::trace must be called.

fn trace(&self, cc: CollectionContext<'_>)

Must call Collect::trace on all held Gc pointers. If this type holds inner types that implement Collect, a valid implementation would simply call Collect::trace on all the held values to ensure this.

impl<S: Debug, C: Debug, F: Debug, I: Debug> Debug for AndThenWith<S, C, F, I>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<S, C, F, I> MustNotImplDrop for AndThenWith<S, C, F, I>

impl<'gc, S, C, F, I, E, R> Sequence<'gc> for AndThenWith<S, C, F, I> where
    S: Sequence<'gc, Output = Result<I, E>>,
    C: Collect,
    I: Collect,
    F: 'static + FnOnce(MutationContext<'gc, '_>, C, I) -> Result<R, E>, 

type Output = Result<R, E>

fn step(&mut self, mc: MutationContext<'gc, '_>) -> Option<Self::Output>