Crate enso_generics

Rust Generics implementation.

Datatype-generic programming, also frequently just called generic programming or generics, is a form of abstraction that allows defining functions that can operate on a large class of data types. For a more in-depth introduction to generic programming in general, have a look at Datatype-Generic Programming, or the Libraries for Generic Programming paper.

Re-exports

pub use generic::*;

pub use hlist::*;

pub use tuple::*;

Modules

generic	Generic representation of data types. Refer to the crate documentation to learn more.
hlist	HList provides many operations to create and manipulate heterogenous lists (HLists) whose length and element types are known at compile-time. HLists can be used to implement records, variants, type-indexed products (TIP), type-indexed co-products (TIC), or keyword arguments.
tuple	This module contains implementations of generic operations on tuples.

Macros

new	Creates new HList from the provided elements, similar to vec!. In order to provide type for the list, use the ty macro. In order to pattern match on it, use the pat macro.
pat	Pattern matches on a HList. See docs of new to learn more.
ty	Smart HList type constructor. See docs of new to learn more.