lib.rs
kinds
See also: foreign-types, gix-validate, lending-iterator, functor_derive, rustica, notzero, scoped_thread_local, borrow-framework, higher-kinded-types, nonzero_lit, liftor Lib.rs is an unofficial list of Rust/Cargo crates, created by kornelski.It contains data from multiple sources, including heuristics, and manually curated data.Content of this page is not necessarily endorsed by the authors ...
Naan
Some of the most powerful & practical types in programming are locked behind a feature that many languages choose not to implement in Higher-Kinded Types. Utilities like map, unwrap_or, and and_then are enormously useful tools in day-to-day rust that allow us to conveniently skip a lot of hand-written control flow.
HKT
Simulated higher-kinded types for Rust | Rust/Cargo package. Lib.rs › Rust patterns # higher-kinded-types # simulated # type # testing hkt Simulated higher-kinded types for Rust. by Darin Morrison. Co-owned by Darin Morrison. Install; GitHub (darinmorrison) 4 releases. Uses old Rust 2015. 0.0.3 Feb 4, 2015 0.0.2 Jan 30, 2015 0.0.1
Algar
#835 in Rust patterns. 44 downloads per month . MIT license . 50KB 1K SLoC Algar. Algebric structures, higher-kinded types and other category theory bad ideas. Yes, you'll have generalized functors, applicatives, monads, traversable, free monads and much more in Rust at your fingertips. But no, they're not as ergonomic and beautiful as in Haskell, mainly because of the lack of higher-kinded ...