typelet: Plugin to faciliate type-level let

[ bsd3, library, plugin ] [ Propose Tags ]

For a certain class of programs, type-level let is essential in order to be able to write these programs in such a way that they do not result in ghc core that is quadratic in size. Type-level let is not explicitly supported in ghc, but we can encode it. The typelet library provides a type-checker plugin that makes the encoding more convenient to use as well as more effective.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS],, 0.1.2, 0.1.3
Change log CHANGELOG.md
Dependencies base (>=4.13 && <4.18), containers, ghc, ghc-tcplugin-api (>=0.10 && <0.11) [details]
License BSD-3-Clause
Copyright Well-Typed LLP, Juspay Technologies Pvt Ltd
Author Edsko de Vries
Maintainer edsko@well-typed.com
Category Plugin
Bug tracker https://github.com/well-typed/typelet/issues
Source repo head: git clone https://github.com/well-typed/typelet
Uploaded by EdskoDeVries at 2023-03-06T13:54:14Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 336 total (12 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-03-06 [all 1 reports]