@hackage typelet0.1.5
Plugin to faciliate type-level let
Categories
License
BSD-3-Clause
Maintainer
edsko@well-typed.com
Links
Versions
Installation
Tested Compilers
Dependencies (4)
- base >=4.14 && <4.20
- containers >=0.6 && <0.7
- ghc >=8.10 && <9.9
- ghc-tcplugin-api >=0.14 && <0.15 Show all…
Dependents (1)
@hackage/large-anon
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.