Trait lending_iterator::higher_kinded_types::HKT

pub trait HKTwhere
    Self: for<'any> WithLifetime<'any>,{ }

A trait to help express Higher Kinded Types.

Use : HKT as a trait bound when intending to received parameters such as StringRefHkt above.

This can be useful when needing to nudge type inference so as to imbue closures with the appropriate higher-order signature that a fully generic signature, such as lending_iterator::from_fn’s.

See the module documentation for more info.

Implementors

impl<T: ?Sized> HKT for Twhere Self: for<'any> WithLifetime<'any>,