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.
-
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.
-
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