Module typewit::type_constructors

Available on crate feature rust_1_65 only.

Higher Kinded Types for BaseTypeWitnesses

Structs

• TcTypeCmp
  The type constructor for TypeCmp.
• TcTypeEq
  The type constructor for TypeEq.
• TcTypeNe
  The type constructor for TypeNe.

Traits

• BaseTypeWitnessTc
  The type constructor for a BaseTypeWitness, only implemented for TcTypeCmp/TcTypeEq/TcTypeNe.

Type Aliases

• BaseTypeWitnessReparam
  Computes W:BaseTypeWitness with its type arguments replaced with L and R
• BaseTypeWitnessToTc
  Queries the BaseTypeWitnessTc of a BaseTypeWitness
• MapBaseTypeWitness
  The type returned by W::project::<F>(), where W is a BaseTypeWitness
• TcToBaseTypeWitness
  Computes a BaseTypeWitness type from a BaseTypeWitnessTc