ghc-tcplugin-api

Version 0.14.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-2024 Sam Derbyshire
Homepage
https://github.com/sheaf/ghc-tcplugin-api
Maintainer
Sam Derbyshire
Package URL
n/a
Stability
n/a

Components