fp_library/
hkt.rs

1//! Simulates higher-kinded types using type-level defunctionalisation based on Yallop
2//! and White's [Lightweight higher-kinded polymorphism](https://www.cl.cam.ac.uk/~jdy22/papers/lightweight-higher-kinded-polymorphism.pdf).
3//!
4//! [`Kind` traits][crate::hkt::kinds] represent the arity of a kind.
5//! These traits are implemented by [`Brand` types][crate::brands],
6//! which represent higher-kinded (unapplied/partially-applied) forms
7//! (type constructors) of [types][crate::types].
8
9pub mod apply;
10pub mod kinds;
11
12pub use self::apply::*;
13pub use self::kinds::*;