typelevel-rewrite-rules

rewrite rules for type-level equalities (by gelisam)

Typelevel-rewrite-rules Alternatives

Similar projects and alternatives to typelevel-rewrite-rules

  1. ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

  2. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo
  3. ghc-whole-program-compiler-project

    GHC Whole Program Compiler and External STG IR tooling

  4. stackage

    Stable Haskell package sets: vetted consistent packages from Hackage

  5. funspection

    Type-level function utilities

  6. type-level-numbers

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

  7. type-eq

    Type equality evidence you can carry around

  8. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  9. ghc-proposals

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

  10. uom-plugin

    Units of measure as a GHC typechecker plugin

  11. ghc-proposals

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

  12. constraint-rules

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

  13. tcplugins-zurihac2020

    ZuriHac 2020 GHC typechecker plugins project

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

Log in or Post with

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
    1 project | /r/haskell | 30 Nov 2022
    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
    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
  • A note from our sponsor - SaaSHub
    www.saashub.com | 17 Jul 2025
    SaaSHub helps you find the best software and product alternatives Learn more →

Stats

Basic typelevel-rewrite-rules repo stats
4
62
1.2
about 1 year ago

Sponsored
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video.
Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
getstream.io

Did you know that Haskell is
the 25th most popular programming language
based on number of references?