Trait selfref::OperateIn

pub trait OperateIn<'k, T: Opaque + 'k> {
    type Out;

    fn operate_in<'a>(self, x: Pin<&'a T::Kind<'a>>) -> Self::Out
    where
        'k: 'a;
}

Helper trait for working with a Holder.

This is necessary because closures don’t work properly here.

See Holder::operate_in for examples.

Required Associated Types

type Out

The value returned by this operation.

Required Methods

fn operate_in<'a>(self, x: Pin<&'a T::Kind<'a>>) -> Self::Out where
    'k: 'a, 

Do this operation.

Implementors

impl<'k, T: Opaque + 'k, F, R> OperateIn<'k, T> for F where
    F: for<'a> FnOnce(Pin<&'a T::Kind<'a>>) -> R, 

type Out = R