Trait List

pub trait List {
    // Required methods
    fn val() -> Vec<bool>;
    fn new() -> Self;
}

Type-level linked list, enum-like of Nil and Cons

Required Methods

fn val() -> Vec<bool>

Real, represented with rust’s objects value of type.

fn new() -> Self

Real value of type.

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.

Implementors

impl List for Nil

impl<Value, Tail> List for Cons<Value, Tail>

where Value: Bit, Tail: List,