Module hkt

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

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.