pub struct Compose<F, G, X> { /* private fields */ }
Expand description
Struct capturing Sized
function composition.
Implements F1
/F1Once
when F
and G
implement F1
/F1Once
.
X
is the “erased” type returned by F
and passed
to G
, stored as PhantomData
to make trait implementation
simpler.
For examples, see F1Once::chain
.
Implementations§
Trait Implementations§
Auto Trait Implementations§
impl<F, G, X> RefUnwindSafe for Compose<F, G, X>where F: RefUnwindSafe, G: RefUnwindSafe, X: RefUnwindSafe,
impl<F, G, X> Send for Compose<F, G, X>where F: Send, G: Send, X: Send,
impl<F, G, X> Sync for Compose<F, G, X>where F: Sync, G: Sync, X: Sync,
impl<F, G, X> Unpin for Compose<F, G, X>where F: Unpin, G: Unpin, X: Unpin,
impl<F, G, X> UnwindSafe for Compose<F, G, X>where F: UnwindSafe, G: UnwindSafe, X: UnwindSafe,
Blanket Implementations§
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