ghc-tcplugins-extra

Utilities for writing GHC type-checker plugins

https://github.com/clash-lang/ghc-tcplugins-extra#readme

Version on this page:	0.4.3
LTS Haskell 22.43:	0.4.6
Stackage Nightly 2024-12-09:	0.4.6
Latest on Hackage:	0.4.6

See all snapshots ghc-tcplugins-extra appears in

BSD-2-Clause licensed by Christiaan Baaij

Maintained by [email protected]

This version can be pinned in stack with:ghc-tcplugins-extra-0.4.3@sha256:4d0943f4bf4d2dbbf703b0c0c4fd0383d6d6ee49421a0e3addbfa600cbe932a5,5504

Module documentation for 0.4.3

GHC
- GHC.TcPluginM
  - GHC.TcPluginM.Extra

Depends on 2 packages(full list with versions):

Used by 8 packages in lts-20.11(full list with versions):

cleff-plugin, effectful-plugin, ghc-typelits-extra, ghc-typelits-knownnat, ghc-typelits-natnormalise, ghc-typelits-presburger, polysemy-plugin, typecheck-plugin-nat-simple

ghc-tcplugins-extra

Utilities for writing GHC type-checker plugins

Changes

0.4.3 September 2nd 2022

Support for GHC-9.4.2

0.4.2 June 17th 2021

Support for GHC-9.2.0.20210422

0.4.1 January 1st 2021

Support for GHC-9.0.1-rc1

0.4 January 31st 2020

Expose functions for flattening constraints in GHC 8.2 and earlier

0.3.2 January 18th 2020

#11 Support -hide-all-plugin-packages/-plugin-package-id

0.3.1 January 6th 2020

Support for GHC-8.9

0.3 May 8th 2018

Fix bug where results of flattenGivens was ambiguous

0.2.5 April 15th 2018

Support for GHC-8.5.20180306

0.2.4 March 17th 2018

Fix exports

0.2.3 March 17th 2018

Functions for flattening constraints

0.2.2 January 4th 2018

Support for GHC-8.4.1-alpha1

0.2.1 August 15th 2017

Support for GHC-8.2.1

0.2 January 19th 2016

newWantedWithProvenance and failWithProvancence no longer available in GHC 8.0+

0.1 June 3rd 2015

Initial release