@hackage typelet0.1.3
Plugin to faciliate type-level let
Installation
Tested Compilers
Dependencies (4)
- base >=4.13 && <4.18
- containers
- ghc
- ghc-tcplugin-api >=0.10 && <0.11 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.