package ppx_tydi
Let expressions, inferring pattern type from expression.
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.1.tar.gz
md5=6adffe5f073bc33bbbdbf3c39fe36959
sha512=f4af5b32a537cb72ffc6a331f73e90eb650e6116ca130d785eda78fb9de5764a1d990ff6929fd6fb695bfeb35d2685f4b35c344125208733b08953ca13410cc5
Description
Provides a ppx for [let%tydi]: type-directed [let] bindings. In [let%tydi a = b in ...], [a]'s type is inferred from [b] rather than the other way around. This is convenient for record patterns whose fields are not in scope.
Published: 12 Jun 2025
On This Page