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

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.



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