pub struct Suspend<F>(_);
Expand description
A deferred computation
Trait Implementations§
impl<F: Copy> Copy for Suspend<F>
Auto Trait Implementations§
impl<F> RefUnwindSafe for Suspend<F>where F: RefUnwindSafe,
impl<F> Send for Suspend<F>where F: Send,
impl<F> Sync for Suspend<F>where F: Sync,
impl<F> Unpin for Suspend<F>where F: Unpin,
impl<F> UnwindSafe for Suspend<F>where F: UnwindSafe,
Blanket Implementations§
source§impl<I, AB, TofA> ApplySurrogate<IO, AB, TofA> for Iwhere
I: Equiv<To = IO<AB>> + IOLike<AB>,
impl<I, AB, TofA> ApplySurrogate<IO, AB, TofA> for Iwhere I: Equiv<To = IO<AB>> + IOLike<AB>,
§type ApplyOutput = Apply<A, B, AB, TofA, I>
type ApplyOutput = Apply<A, B, AB, TofA, I>
source§impl<I, A> MonadSurrogate<IO, A> for Iwhere
I: Equiv<To = IO<A>> + IOLike<A>,
impl<I, A> MonadSurrogate<IO, A> for Iwhere I: Equiv<To = IO<A>> + IOLike<A>,
§type BindOutput = Bind<AMB, A, B, I>
type BindOutput = Bind<AMB, A, B, I>
source§fn bind_<B, AMB>(
self,
f: AMB
) -> <I as MonadSurrogate<IO, A>>::BindOutput<B, AMB>where
AMB: F1<A, Ret = <IO as HKT1>::T<B>>,
fn bind_<B, AMB>( self, f: AMB ) -> <I as MonadSurrogate<IO, A>>::BindOutput<B, AMB>where AMB: F1<A, Ret = <IO as HKT1>::T<B>>,
Use a function from
A -> M<B>
to transform something
akin to M<A>
to something akin to M<B>
.source§impl<F, A, TF, T> Sequence<F, A, TF> for T
impl<F, A, TF, T> Sequence<F, A, TF> for T
source§fn sequence<Ap>(self) -> Ap::T<F::T<A>>where
Self: Sized + Traversable<F, Ap::T<A>, A, TF> + Foldable<F, Ap::T<A>>,
Ap: HKT1,
Ap::T<A>: Applicative<Ap, A> + ApplyOnce<Ap, A>,
Ap::T<TF>: Applicative<Ap, TF> + ApplyOnce<Ap, TF>,
Ap::T<F::T<A>>: Applicative<Ap, F::T<A>> + ApplyOnce<Ap, F::T<A>>,
F: HKT1<T<Ap::T<A>> = Self>,
fn sequence<Ap>(self) -> Ap::T<F::T<A>>where Self: Sized + Traversable<F, Ap::T<A>, A, TF> + Foldable<F, Ap::T<A>>, Ap: HKT1, Ap::T<A>: Applicative<Ap, A> + ApplyOnce<Ap, A>, Ap::T<TF>: Applicative<Ap, TF> + ApplyOnce<Ap, TF>, Ap::T<F::T<A>>: Applicative<Ap, F::T<A>> + ApplyOnce<Ap, F::T<A>>, F: HKT1<T<Ap::T<A>> = Self>,
See
Sequence