Trait ListTypeProperty 

pub trait ListTypeProperty {
    type Output;

    // Required method
    fn property<R: List>() -> Self::Output;
}

Property generator for iterating over type-level lists.

Required Associated Types

type Output

The per-element property type produced during iteration.

Required Methods

fn property<R: List>() -> Self::Output

Compute the property for the current list head in R.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl ListTypeProperty for TypeId

type Output = TypeId

fn property<R: List>() -> Self::Output

Implementors