Trait hooks::HookLifetime

pub trait HookLifetime<'hook, Args, ImplicitBounds = &'hook Self::Bounds>: HookBoundswhere
    ImplicitBounds: HookLifetimeBounds<'hook, Self>,{
    type Value;
}

This is a helper trait to define lifetime generic associated types (lifetime-GAT) for Hook.

This trait follows the better GAT pattern so that lifetime-GAT can be used in earlier rust versions.

This pattern also enables implicit bounds. Comparing to the common better GAT pattern which uses &'a Self as the implicit bound, this trait uses HookBounds trait to allow custom implicit bounds. With just &'a Self, returning impl for<'hook> HookLifetime<'hook, Value = ...> would emit “return type cannot contain a projection or Self…” error. This might be a compiler bug.

Required Associated Types

type Value

Implementations on Foreign Types

impl<'hook, Args, H> HookLifetime<'hook, Args, &'hook <&mut H as HookBounds>::Bounds> for &mut Hwhere
    H: HookLifetime<'hook, Args, &'hook <H as HookBounds>::Bounds> + ?Sized,

type Value = <H as HookLifetime<'hook, Args, &'hook <H as HookBounds>::Bounds>>::Value

impl<'hook, Args, H> HookLifetime<'hook, Args, &'hook <Box<H, Global> as HookBounds>::Bounds> for Box<H, Global>where
    H: HookLifetime<'hook, Args, &'hook <H as HookBounds>::Bounds> + ?Sized,

type Value = <H as HookLifetime<'hook, Args, &'hook <H as HookBounds>::Bounds>>::Value

impl<'hook, P, Args> HookLifetime<'hook, Args, &'hook <Pin<P> as HookBounds>::Bounds> for Pin<P>where
    P: DerefMut,
    <P as Deref>::Target: HookLifetime<'hook, Args, &'hook <<P as Deref>::Target as HookBounds>::Bounds>,

type Value = <<P as Deref>::Target as HookLifetime<'hook, Args, &'hook <<P as Deref>::Target as HookBounds>::Bounds>>::Value

Implementors

impl<'hook, 'a, T, const N: usize> HookLifetime<'hook, (T,), &'hook State<'a, T, N>> for State<'a, T, N>

type Value = (&'hook mut T, &'hook StateUpdater<'a, T, N>)

impl<'hook, 'a, T, const N: usize, F: FnOnce() -> T> HookLifetime<'hook, (F,), &'hook StateWith<'a, T, N>> for StateWith<'a, T, N>

type Value = (&'hook mut T, &'hook StateUpdater<'a, T, N>)

impl<'hook, 'a, T: PartialEq, const N: usize> HookLifetime<'hook, (T,), &'hook StateEq<'a, T, N>> for StateEq<'a, T, N>

type Value = (&'hook mut T, &'hook StateUpdater<'a, T, N>)

impl<'hook, 'a, T: PartialEq, const N: usize, F: FnOnce() -> T> HookLifetime<'hook, (F,), &'hook StateEqWith<'a, T, N>> for StateEqWith<'a, T, N>

type Value = (&'hook mut T, &'hook StateUpdater<'a, T, N>)

impl<'hook, Args, Data, P, U, H> HookLifetime<'hook, Args, &'hook <FnHook<Data, P, U, H> as HookBounds>::Bounds> for FnHook<Data, P, U, H>where
    H: HookLifetime<'hook, Args, &'hook <H as HookBounds>::Bounds>,

type Value = <H as HookLifetime<'hook, Args, &'hook <H as HookBounds>::Bounds>>::Value

impl<'hook, Data, Dep, F: FnOnce(&mut Option<DataAndDep<Data, Dep>>) -> &mut DataAndDep<Data, Dep>> HookLifetime<'hook, (F,), &'hook Memo<Data, Dep>> for Memo<Data, Dep>

type Value = (&'hook Data, &'hook Dep)

impl<'hook, Data, Dep: PartialEq, F: FnOnce(&Dep) -> Data> HookLifetime<'hook, (F, Dep), &'hook <Memo<Data, Dep> as HookBounds>::Bounds> for Memo<Data, Dep>

type Value = (&'hook Data, &'hook Dep)

impl<'hook, Dep, E: EffectFor<Dep>, F: FnOnce(Option<&Dep>) -> Option<(Dep, E)>> HookLifetime<'hook, (F,), &'hook <Effect<Dep, E> as HookBounds>::Bounds> for Effect<Dep, E>

type Value = ()

impl<'hook, Dep: PartialEq, E: EffectFor<Dep>> HookLifetime<'hook, (E, Dep), &'hook <Effect<Dep, E> as HookBounds>::Bounds> for Effect<Dep, E>

type Value = ()

impl<'hook, E: EffectForNoneDependency> HookLifetime<'hook, (E,), &'hook EffectOnNextPoll<E>> for EffectOnNextPoll<E>

type Value = ()

impl<'hook, E: EffectForNoneDependency> HookLifetime<'hook, (E,), &'hook EffectOnce<E>> for EffectOnce<E>

type Value = ()

impl<'hook, E: EffectForNoneDependency, F: FnOnce() -> E> HookLifetime<'hook, (F,), &'hook EffectOnceWith<E>> for EffectOnceWith<E>

type Value = ()

impl<'hook, H: HookPollNextUpdate + Default, F: FnOnce() -> H> HookLifetime<'hook, (F,), &'hook <DefaultPinnedHook<H> as HookBounds>::Bounds> for DefaultPinnedHook<H>

type Value = Pin<&'hook mut H>

impl<'hook, H: HookPollNextUpdate> HookLifetime<'hook, (), &'hook DefaultPinnedHook<H>> for DefaultPinnedHook<H>

type Value = Pin<&'hook mut H>

impl<'hook, H: HookPollNextUpdate, F: FnOnce() -> H> HookLifetime<'hook, (F,), &'hook LazyPinnedHook<H>> for LazyPinnedHook<H>

type Value = Pin<&'hook mut H>

impl<'hook, T> HookLifetime<'hook, (T,), &'hook LazyPinned<T>> for LazyPinned<T>

type Value = Pin<&'hook mut T>

impl<'hook, T> HookLifetime<'hook, (T,), &'hook Ref<T>> for Ref<T>

type Value = &'hook SharedRef<T>

impl<'hook, T> HookLifetime<'hook, (T,), &'hook SharedState<T>> for SharedState<T>

type Value = &'hook SharedStateData<T>

impl<'hook, T> HookLifetime<'hook, (), &'hook Pinned<T>> for Pinned<T>

type Value = Pin<&'hook mut T>

impl<'hook, T, F: FnOnce() -> T> HookLifetime<'hook, (F,), &'hook LazyPinnedWith<T>> for LazyPinnedWith<T>

type Value = Pin<&'hook mut T>

impl<'hook, T, F: FnOnce() -> T> HookLifetime<'hook, (F,), &'hook RefWith<T>> for RefWith<T>

type Value = &'hook SharedRef<T>

impl<'hook, T, F: FnOnce() -> T> HookLifetime<'hook, (F,), &'hook SharedStateWith<T>> for SharedStateWith<T>

type Value = &'hook SharedStateData<T>

impl<'hook, T: PartialEq> HookLifetime<'hook, (T,), &'hook SharedStateEq<T>> for SharedStateEq<T>

type Value = &'hook SharedStateEqData<T>

impl<'hook, T: PartialEq, F: FnOnce() -> T> HookLifetime<'hook, (F,), &'hook SharedStateEqWith<T>> for SharedStateEqWith<T>

type Value = &'hook SharedStateEqData<T>