Popularity
8.8
Stable
Activity
3.8
Declining
43
15
15
Monthly Downloads: 24
Programming language: Haskell
License: BSD 2-clause "Simplified" License
Latest version: v0.7.2
ghc-typelits-natnormalise alternatives and similar packages
Based on the "ghc" category.
Alternatively, view ghc-typelits-natnormalise alternatives based on common mentions on social networks and blogs.
-
-
-
-
-
-
-
-
-
-
-
-
ghc-make
An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling. -
-
-
ghc-datasize
ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory -
-
-
-
-
ghc-trace-events
ByteString/Text variants of Debug.Trace.traceEvent/traceMarker and binary event logging -
-
-
-
-
-
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
Promo
coderabbit.ai
Do you think we are missing an alternative of ghc-typelits-natnormalise or a related project?
README
ghc-typelits-natnormalise
A type checker plugin for GHC that can solve equalities and inequalities
of types of kind Nat, where these types are either:
- Type-level naturals
- Type variables
- Applications of the arithmetic expressions
(+,-,*,^).
It solves these equalities by normalising them to sort-of
SOP (Sum-of-Products) form, and then perform a
simple syntactic equality.
For example, this solver can prove the equality between:
(x + 2)^(y + 2)
and
4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2
Because the latter is actually the SOP normal form
of the former.
To use the plugin, add
{-# OPTIONS_GHC -fplugin GHC.TypeLits.Normalise #-}
To the header of your file.