Trait Lt

pub trait Lt: Lt {
    type Next: Lt;
    type NextExtending: Lt;
    type Extend<'a>: Lt;
    type Actual<H: LifetimeHkt>: ?Sized;
    type NextTypeFn<F: for<'x> LifetimeHkt<Actual<'x>: TypeFn>>: TypeFn;
}

Represents a list of zero or more lifetime variables

Required Associated Types

type Next: Lt

type NextExtending: Lt

type Extend<'a>: Lt

type Actual<H: LifetimeHkt>: ?Sized

type NextTypeFn<F: for<'x> LifetimeHkt<Actual<'x>: TypeFn>>: TypeFn

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Lt for ()

type Next = ()

type NextExtending = (Lifetime<'static>, ())

type Extend<'a> = (Lifetime<'a>, ())

type Actual<H: LifetimeHkt> = <H as LifetimeHkt>::Actual<'static>

type NextTypeFn<F: for<'x> LifetimeHkt<Actual<'x>: TypeFn>> = <() as Lt>::Actual<F>

Implementors