Module higher_kinded_types::extra_arities

Available on advanced only.

Niche and advanced, you can ignore this to begin with. Module for other ForLt-like constructs: extended to various “arities”.

For instance:

• ForTy so as to be generic over a type parameter,
• ForLtAndLt so as to be generic over two lifetime parameters,
• ForLtAndTy so as to be generic over a lifetime parameter and a type parameter.

Macros

• For
  Variadic version of crate::ForLt!, suitable for the For… traits of this module.
• new_For_type
  Define (new) types with the desired For semantics.

Traits

• CovariantForLt
  Same as crate::ForLifetime, but for enforcing covariance of Self::Of<'_> (over '_).
• ForLt
  The main trait of the crate. The one expressing : <'_>-genericity.
• ForLtAndLt
  Genericity over two lifetime parameters.
• ForLtAndTy
  Genericity over a lifetime and a type parameters.
• ForTy
  Genericity over a type parameter.