sized-hkts

★ 51 Open GitHub ↗

Higher kinded polymorphism in a language with unboxed, statically sized datatypes.

Explore Similar Repositories

real-async-trait-rs : A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
FSTan : Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
TypeProps : Small library for describing HKTs in TypeScript
HKTabBar_QQ : 仿QQtabbar
srd : :rocket: Simple Remote Data (SRD) is a fully static land compliant implementation of the Remote Data type in TypeScript
// repository documentation