Skip to main content

ToList

Trait ToList 

Source
pub trait ToList {
    type ToList<T: EmptyList>: List;

    // Required method
    fn to_list<T: EmptyList>(&self) -> Self::ToList<T>;
}
Expand description

Convert to a type-level List without consuming self.

Required Associated Types§

Source

type ToList<T: EmptyList>: List

The resulting List type using T as the empty list type family.

Required Methods§

Source

fn to_list<T: EmptyList>(&self) -> Self::ToList<T>

Convert to a List using T as the empty list type family.

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§