Type Definition lending_iterator::higher_kinded_types::Feed
source · [−]pub type Feed<'lt, T: ?Sized + HKT> = <T as WithLifetime<'lt>>::T;
Expand description
Given a Type : HKT
, Feed<'lt, Type>
“feeds” /
applies the <'lt>
to Type
.
use ::lending_iterator::higher_kinded_types::{HKT, Feed};
type StrRef = HKT!(<'lt> => &'lt str);
const EXAMPLE: Feed<'static, /* to */ StrRef> = "This is a `&'static str`";
-
It’s really just sugar for
<Type as WithLifetime<'lt>::T
. -
For a more natural param ordering, consider using
Apply!(Type<'lt>)