Module hkt 

Simulates higher-kinded types using type-level defunctionalisation based on Yallop and White’s Lightweight higher-kinded polymorphism.

Kind traits represent the arity of a kind. These traits are implemented by Brand types, which represent higher-kinded (unapplied/partially-applied) forms (type constructors) of types.

Re-exports

pub use self::apply::*;

pub use self::kinds::*;

Modules

apply

Convenience type aliases for the Kind traits.

kinds

Traits representing type-level application to simulate higher-kinded types.