SaaSHub helps you find the best software and product alternatives Learn more →
Typelevel-rewrite-rules Alternatives
Similar projects and alternatives to typelevel-rewrite-rules
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
-
type-level-numbers
Implementation of type level natural and signed integer numbers in haskell using type families.
-
-
-
-
-
constraint-rules
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better typelevel-rewrite-rules alternative or higher similarity.
typelevel-rewrite-rules discussion
typelevel-rewrite-rules reviews and mentions
Posts with mentions or reviews of typelevel-rewrite-rules.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-09-10.
-
Comparing polymorphic function arguments with GHC
I encountered a similar issue in typelevel-rewrite-rules. The user writes type PlusAssoc a b c = ((a + b) + c) ~ (a + (b + c)) to indicate that they want a type like (2 + x) + 1 to be rewritten to 2 + (x + 1). Thus, I want to be able to look at (2 + x) + 1 and learn that yes, it matches the pattern (a + b) + c, with the substitution a = 2, b = x, c = 1.
-
[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 - SaaSHub
www.saashub.com | 9 Oct 2024
Stats
Basic typelevel-rewrite-rules repo stats
4
62
1.2
6 months ago
gelisam/typelevel-rewrite-rules is an open source project licensed under LicenseRef-PublicDomain which is not an OSI approved license.
The primary programming language of typelevel-rewrite-rules is Haskell.
Popular Comparisons
- typelevel-rewrite-rules VS funspection
- typelevel-rewrite-rules VS IdrisExtSTGCodegen
- typelevel-rewrite-rules VS uom-plugin
- typelevel-rewrite-rules VS type-level-numbers
- typelevel-rewrite-rules VS type-eq
- typelevel-rewrite-rules VS ghc-whole-program-compiler-project
- typelevel-rewrite-rules VS constraint-rules
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com