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