A simple encoding of higher-kinded types in TypeScript
Small library for describing HKTs in TypeScript
[](https://codecov.io/gh/ty-ras/server)
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
A plain, readable functional programming library for TypeScript — Result, Option, and friends, without the category theory.
Expiremental crate of higher-kinded types integrated with lifetimes and matching function types and optional cloning and supporting no_std.
HKT traits for for the deep_causality crate.
A fast, easy, and tasty functional programming prelude
A no_std-compatible optics library providing composable lenses, prisms, isomorphisms, and fallible isomorphisms.
Rust Higher-Kinded Types emulation procedural macros.
Number utils for for deep_causality crate.
A functional programming library for Rust featuring your favourite higher-kinded types and type classes.
Provides a `refl` encoding which you can use to provide a proof witness that one type is equivalent (identical) to another type. You can use this to encode a subset of what GADTs allow you to in Haskell.
Pragmatic effect composition and validation for Rust - pure core, imperative shell
Fork of the selfref library, with some additions