@hackage codet-plugin0.1

GHC type-checker plugin for solving LiftT instances from codet

GHC type-checker plugin for solving LiftT instances from codet package.

  • Installation

  • Tested Compilers

  • Dependencies (3)

    • base ^>=4.15.1.0 || ^>=4.16.3.0 || ^>=4.17.2.1 || ^>=4.18.1.0 || ^>=4.19.0.0
    • codet ^>=0.1
    • ghc ^>=9.0.2 || ^>=9.2.3 || ^>=9.4.8 || ^>=9.6.3 || ^>=9.8.1
      • Show all…

  • Dependents (0)