Crate nlist

Provides an inline-allocated list which statically tracks its length.

Re-exports

• pub use crate::peano::PeanoInt;
• pub use crate::peano::PlusOne;
• pub use crate::peano::Zero;

Modules

• peano
  Type-level integers which use a unary representation

Structs

• Cons
  A node of NList with one element and the rest of the list.
• NList
  Inline-allocated list of T which statically tracks its length using the L type parameter.
• Nil
  A node of an empty NList

Enums

• NodeWit
  Type witness for the type of the node field in NList<T, L>, and the L parameter itself

Type Aliases

• Node
  The type of the head node in NList<T, L>.