package ppx_tydi

  1. Overview
  2. Docs
Let expressions, inferring pattern type from expression.

Install

Authors

Maintainers

Sources

ppx_tydi-v0.16.0.tar.gz
sha256=a363153a1f58b35b789321dca9b5b03da46bc1c9152a38d307ffb338b3e25ac6

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: 02 Jun 2023

Dependencies (4)

  1. ppxlib >= "0.28.0"
  2. dune >= "2.0.0"
  3. base >= "v0.16" & < "v0.17"
  4. ocaml >= "4.14.0"

Dev Dependencies

None

Used by (1)

  1. ppx_jane >= "v0.16.0"

Conflicts

None