1.3.5

• 🐞 fix: Fix type inference for void known parameter in TypeArgs. (b33af2f)

1.3.4

• ✨ feat: Improve type inference for TypeArgs in generic context. (c7da5c2)

1.3.3

• ✨ feat: Add RawTArg to bypass type checking on type parameters. (05c89cb)
• ✨ feat: Export PickTypeArgs to allow preserving generic type parameters when creating new generic type-level functions based on existing ones. (f3f00a5)

1.3.2

• 🐞 fix: Correctly get the return type of type-level functions with never parameters. (427fcf4)

1.3.1

• 🐞 fix: Mask unknown parameters/return types when inferring type parameters in TypeArgs to prevent irrelevant parameters/return types from affecting type parameter inference results. (bc48d41)

1.3.0

• ✨ feat!: Updated TypeArgs to only include inferrable type parameters in its resulting type. While technically a breaking change, this update should have no effect on most users, and only minimal impact for those who explicitly depend on TypeArgs. (da1869b)
• ✨ feat: Add the PartialApply utility type. (f65188a)
• ✨ feat: Extend the Curry utility type to support up to 4 arguments. (209fc39)
• ✨ feat: Support displaying TypeLambdaG with 4 type parameters in Sig. (c2a9c4a)

1.2.1

• 🐞 fix: Export missing Curry*(Normal|Generic). (2827392)

1.2.0

• ✨ feat: Export several internal TypeLambdas so TypeScript can name emitted types. (6996a21)

1.1.0

• ✨ feat(Kind): Use TolerantRetTypeW as fallback result of Kind* instead of never. Previously Kind* were essentially aliases for Call*W, returning never when F was not a “concrete“ type lambda. This enhancement makes Kind* more robust by using TolerantRetTypeW<F> as a fallback value instead. This change improves robustness when working with classical HKT scenarios like implementing a Free monad. (03f292d)

1.0.0

This marks our first stable, production-ready release with a fully defined API. While no functional changes were made in this release, it represents an important milestone in the library’s maturity.