Crate higher_kinded_types

::higher-kinded-types

“Generic generics” / higher-kinded APIs in stable Rust.

See the documentation of the ForLifetime trait for more info.

Re-exports

• pub use ForLifetime as ForLt;

Modules

• extra_aritiesadvanced
  Niche and advanced, you can ignore this to begin with. Module for other ForLt-like constructs: extended to various “arities”.
• prelude
  The crate’s prelude.
• type_eqadvanced
  Niche and advanced, you can ignore this to begin with. Module for type-equality hacks.

Macros

• ForLt
  Produce impl ForLt types on demand.

Traits

• ForLifetime
  The main trait of the crate. The one expressing : <'_>-genericity.

Type Definitions

• ForFixed
  ForFixed<T> is a macro-free alias for ForLt!(<'_unused> = T).
• ForRef
  ForRef<T> is a macro-free alias for ForLt!(<'any> = &'any T).
• ForRefMut
  ForRefMut<T> is a macro-free alias for ForLt!(<'any> = &'any mut T).

Trait Aliases

• Ofᐸᑊ_ᐳeducational
  : Ofᐸᑊ_ᐳ is a hopefully illustrative syntax that serves as an alias for : ForLt.