Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression. Learn more →
Typelevel-rewrite-rules Alternatives
Similar projects and alternatives to typelevel-rewrite-rules
-
-
-
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.
-
-
constraint-rules
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
-
type-level-numbers
Implementation of type level natural and signed integer numbers in haskell using type families.
-
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
-
stackage
Stable Haskell package sets: vetted consistent packages from Hackage
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
-
ghc-whole-program-compiler-project
GHC Whole Program Compiler and External STG IR tooling
-
tcplugins-zurihac2020
ZuriHac 2020 GHC typechecker plugins project
-
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell (by goldfirere)
-
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell (by Kleidukos)
typelevel-rewrite-rules reviews and mentions
-
[ANN/RFC] constraint-rules
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.
-
Transpiling to GHC Core language
When writing a typechecker plugin, you can eliminate constraints from the user's program by providing an implementation of the corresponding dictionary. The way you provide that dictionary to ghc is by providing a core expression; for example, this evCast futureDict co expression has type EvTerm, whose first constructor takes an EvExpr, which is a synonym for CoreExpr.
-
[GHC Proposals] GHC Maintainer preview
Until then, I guess we can simply poll. Here's a GitHub Action I wrote today which checks if the latest report for a given package includes a failure: https://github.com/gelisam/typelevel-rewrite-rules/blob/main/.github/workflows/check-hackage-matrix.yml
-
A note from our sponsor - InfluxDB
www.influxdata.com | 28 Mar 2023
Stats
gelisam/typelevel-rewrite-rules is an open source project licensed under LicenseRef-PublicDomain which is not an OSI approved license.