Version 0.4.0.0-0 of ghc-tcplugin-api is deprecated.
The latest version of ghc-tcplugin-api is 0.12.0.0-0.
ghc-tcplugin-api
Version 0.4.0.0 revision 0 uploaded by sheaf.
Package meta
- Synopsis
- An API for type-checker plugins.
- Description
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.
- Author
- Sam Derbyshire
- Bug reports
- n/a
- Category
- Type System, GHC, Plugin
- Copyright
- 2021 Sam Derbyshire
- Homepage
- https://github.com/sheaf/ghc-tcplugin-api
- Maintainer
- Sam Derbyshire
- Package URL
- n/a
- Stability
- n/a