Trait List 

pub trait List: Sealed {
    // Required methods
    fn unit() -> Self;
    fn is_empty() -> bool;
}

Type-level HList, specialized to IOWord using a sealed trait See e.g. <https://hackage.haskell.org/package/heterolist> (or frunk) for what a HList is.

Required Methods

fn unit() -> Self

This is an inhabitant of the List type corresponding to the Self type

fn is_empty() -> bool

THis returns whether the list is empty

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<Item: IOWord, Next: List> List for Cons<Item, Next>