typelet

Version 0.1.4 revision 0 uploaded 2024-07-02T14:01:00.000Z by EdskoDeVries.

Package meta

Synopsis

Plugin to faciliate type-level let

Description

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.

Author

Edsko de Vries

Bug reports

https://github.com/well-typed/typelet/issues

Category

Plugin

Copyright

Well-Typed LLP, Juspay Technologies Pvt Ltd

Homepage

n/a

Maintainer

edsko@well-typed.com

Package URL

n/a

Stability

n/a

Components

• lib:typelet
• test:test-typelet