ghc-tcplugin-api: An API for type-checker plugins.
This library provides a streamlined monadic interface for writing GHC type-checking plugins.
Each stage in a type-checking plugin (initialisation, solving, rewriting, shutdown) has a corresponding monad, preventing operations that are only allowed in some stages to be used in the other stages. Operations that work across multiple stages are overloaded across monads using MTL-like typeclasses.
Some operations, like creating evidence for constraints or creating custom type error messages, are also simplified.
Please refer to the associated GitHub repository for example usage.
|Versions [RSS] [faq]||0.2.0.0, 0.3.0.0, 0.3.1.0, 0.4.0.0, 0.4.1.0, 0.5.0.0, 0.5.1.0|
|Dependencies||base (>=4.14.0 && <4.18), ghc (>=8.10 && <9.5), transformers (==0.5.*) [details]|
|Copyright||2021 Sam Derbyshire|
|Category||Type System, GHC, Plugin|
|Uploaded||by sheaf at 2021-08-30T23:52:47Z|
|Downloads||297 total (193 in the last 30 days)|
|Rating||2.0 (votes: 1) [estimated by Bayesian average]|
Docs uploaded by user
Build status unknown [no reports yet]