Crate lambek[−][src]
Lambek is a library that enables type-level programming in stable Rust, supporting advanced features including higher kinded types, higher ranked types, and constraint kinds. Although Rust do not natively support these features, Lambek uses techniques including defunctionalization and CPS transformation to emulate these features in Rust.
Learn more about Lambek on the project GitHub page.
Modules
bi_type_app | Traits for the kind of binary type application, |
constraint | Traits for constraint kinds, |
functor | The standard |
nat_trans | Natural Transformation, |
product | Extensible Products |
row | Traits for implementing extensible products and variants |
sum | Extensible Variants |
type_app | Traits for the kind of unary type application, |