Trait hooks_core::HookLifetime

pub trait HookLifetime<'hook, Args, ImplicitBounds: HookLifetimeBounds<'hook, Self> = &'hook <Self as HookBounds>::Bounds>: HookBounds {
    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> + ?Sized> HookLifetime<'hook, Args, &'hook <&mut H as HookBounds>::Bounds> for &mut H

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>,

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

Implementors

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

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