Trait r3::bind::UnzipBind

source · 
pub trait UnzipBind {
    type Target;

    fn unzip(self) -> Self::Target;
}
Expand description

An extension trait for destructing Bind<_, (T0, T1, ...)> into individual bindings (Bind<_, T0>, Bind<_, T1>, ...).

Temporary Restrictions: Currently the destruction makes the original value completely inaccessible owing to it being implemented by BindTakeMut. Essentially, this divides the timeline into two parts: the first part where only the pre-destruction binding (Bind<_, (T0, T1, ...)>) can be borrowed and the second part where only the post-destruction bindings (Bind<_, T0>, Bind<_, T1>, ...) can be borrowed.

Examples

#![feature(const_trait_impl)]
#![feature(const_mut_refs)]
use r3_core::{bind::Bind, kernel::{Cfg, traits}, prelude::*};

const fn configure_app<C>(cfg: &mut Cfg<C>)
where
    C: ~const traits::CfgStatic,
{
    let values = Bind::define().init(|| (12, 34)).finish(cfg);
    let (value0, value1) = values.unzip();
    Bind::define()
        .init_with_bind((value0.take_mut(),), |x: &mut i32| assert_eq!(*x, 12))
        .unpure()
        .finish(cfg);
    Bind::define()
        .init_with_bind((value1.take_mut(),), |x: &mut i32| assert_eq!(*x, 34))
        .unpure()
        .finish(cfg);
}

Stability

This trait is covered by the application-side API stability guarantee. External implementation of this trait is not allowed.

Required Associated Types

Required Methods

Destruct Bind into individual bindings.

Implementors