Struct evobox::L

pub struct L<E, C = ()> { /* fields omitted */ }

A singly linked list containing types, indexed by itself using the List trait and used by EvolveBox to store all possible types.

For examples of its actual usage please look at the documentation for the EvolveBox.

Examples

use evobox::{L, List};

fn element_types(value: &L<u8, L<u16, L<u32>>>) {
    fn first(_: &impl List<(), Value = u8>) {}
    first(value);

    fn second(_: &impl List<L<()>, Value = u16>) {}
    second(value);

    fn third(_: &impl List<L<L<()>>, Value = u32>) {}
    third(value);
}

Trait Implementations

impl<E, C: ListLayout> ListLayout for L<E, C>

fn size() -> usize

fn align() -> usize

impl<E, C: ListLayout> List<()> for L<E, C>

type Value = E

impl<E, B, C: List<B>> List<L<B, ()>> for L<E, C>

type Value = C::Value