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 Aliases

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.