Trait hooks_core::erased_hook::ErasedHook

pub trait ErasedHook<Args>: HookPollNextUpdate {
    type ValueGat: ?Sized + for<'hook> ValueGat<'hook>;

    fn erased_use_hook<'hook>(
        self: Pin<&'hook mut Self>,
        args: Args
    ) -> <Self::ValueGat as ValueGat<'hook>>::Value;
}

This trait follows the Dyn safety section of better GAT pattern.

Required Associated Types

type ValueGat: ?Sized + for<'hook> ValueGat<'hook>

Required Methods

fn erased_use_hook<'hook>(
    self: Pin<&'hook mut Self>,
    args: Args
) -> <Self::ValueGat as ValueGat<'hook>>::Value

Trait Implementations

impl<Args, V: ?Sized + for<'hook> ValueGat<'hook>> Hook<Args> for dyn ErasedHook<Args, ValueGat = V> + '_

fn use_hook<'hook>(
    self: Pin<&'hook mut Self>,
    args: Args
) -> <Self as HookLifetime<'hook, Args>>::Valuewhere
    Self: 'hook,

impl<Args, V: ?Sized + for<'hook> ValueGat<'hook>> Hook<Args> for dyn ErasedHook<Args, ValueGat = V> + Unpin + '_

fn use_hook<'hook>(
    self: Pin<&'hook mut Self>,
    args: Args
) -> <Self as HookLifetime<'hook, Args>>::Valuewhere
    Self: 'hook,

impl<Args, V: ?Sized> HookBounds for dyn ErasedHook<Args, ValueGat = V> + '_

type Bounds = ()

impl<Args, V: ?Sized> HookBounds for dyn ErasedHook<Args, ValueGat = V> + Unpin + '_

type Bounds = dyn ErasedHook<Args, ValueGat = V> + Unpin

impl<'hook, Args, V: ?Sized + for<'h> ValueGat<'h>> HookLifetime<'hook, Args, &'hook <dyn ErasedHook<Args, ValueGat = V> + Unpin as HookBounds>::Bounds> for dyn ErasedHook<Args, ValueGat = V> + Unpin + '_

type Value = <V as ValueGat<'hook>>::Value

impl<'hook, Args, V: ?Sized + ValueGat<'hook>> HookLifetime<'hook, Args, &'hook <dyn ErasedHook<Args, ValueGat = V> as HookBounds>::Bounds> for dyn ErasedHook<Args, ValueGat = V> + '_

type Value = <V as ValueGat<'hook>>::Value

Implementors

impl<Args, H: ?Sized + Hook<Args>> ErasedHook<Args> for H

type ValueGat = dyn for<'hook> ValueGat<'hook, Value = <H as HookLifetime<'hook, Args, &'hook <H as HookBounds>::Bounds>>::Value> + 'static