typelevel-rewrite-rules VS type-eq

Compare typelevel-rewrite-rules vs type-eq and see what are their differences.

typelevel-rewrite-rules

rewrite rules for type-level equalities (by gelisam)

type-eq

Type equality evidence you can carry around (by glaebhoerl)
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
typelevel-rewrite-rules type-eq
4 0
61 5
- -
3.0 0.0
4 months ago almost 8 years ago
Haskell Haskell
LicenseRef-PublicDomain BSD 3-clause "New" or "Revised" License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

typelevel-rewrite-rules

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.
  • [ANN/RFC] constraint-rules
    3 projects | /r/haskell | 10 Sep 2021
    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
    4 projects | /r/haskell | 30 Apr 2021
    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
    4 projects | /r/haskell | 3 Apr 2021
    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

type-eq

Posts with mentions or reviews of type-eq. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning type-eq yet.
Tracking mentions began in Dec 2020.

What are some alternatives?

When comparing typelevel-rewrite-rules and type-eq you can also consider the following projects:

uom-plugin - Units of measure as a GHC typechecker plugin

type-level-numbers - Implementation of type level natural and signed integer numbers in haskell using type families.

funspection - Type-level function utilities

write-you-a-haskell - Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

ghc-whole-program-compiler-project - GHC Whole Program Compiler and External STG IR tooling

IdrisExtSTGCodegen

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