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.


Automatic Flags

Build doctest-examples-typelet (for testing only)


Include size tests in the test suite


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees


Versions [RSS],
Change log CHANGELOG.md
Dependencies base (>=4.13 && <4.17), containers, ghc, ghc-tcplugin-api (>=0.7 && <0.8), typelet [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 2022-03-24T10:27:55Z
Distributions NixOS:
Executables doctest-examples-typelet
Downloads 80 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2022-03-24 [all 1 reports]