A library for functional programming in Rust
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses
A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
🚀 Simple Remote Data (SRD) is a fully static land compliant implementation of the Remote Data type in TypeScript
Extract or modify pieces of arbitrarily nested types with type lenses
"Generic generics" / higher-kinded APIs in stable Rust.
A pluggable low-code library.
Rust HKT playground powered with derive macro generated type families
A pluggable typescript library
🪴 The kind of ADTs you can count on in TypeScript
A lightweight, no_std compatible library for emulating higher-kinded types in Rust.