[ANN/RFC] constraint-rules

This page summarizes the projects mentioned and recommended in the original post on /r/haskell

Our great sponsors
  • SonarQube - Static code analysis for 29 languages.
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • Revelo Payroll - Free Global Payroll designed for tech teams
  • constraint-rules

    Extend GHC's type checker with user-defined rules, without writing a type checker plugin.

    constraint-rules provides a way to extend GHC's type checker with custom rules without having to write your own type checker plugin. See https://github.com/YellPika/constraint-rules for more info and some example code.

  • typelevel-rewrite-rules

    rewrite rules for type-level equalities

    Nice! Thanks for including a comparison with my package typelevel-rewrite-rules. Since my package indeed struggles with infinite loops introduced by self-triggering rewrite rules, I would like to better understand why your package doesn't suffer from that same problem.

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell (by goldfirere)

    I can't get it installed but does it allow deriving instances that need higher-order roles? The second argument of GList f a has a nominal role so we can't coerce through it but it should be representational if f is Representational1

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts