Top 4.9% downloads on hackage.haskell.org
Top 2.0% dependent packages on hackage.haskell.org
Top 6.8% dependent repos on hackage.haskell.org
hackage.haskell.org : 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: and Because the latter is actually the SOP normal form of the former. To use the plugin, add the Pragma to the header of your file.
Registry
- Homepage
- JSON
purl: pkg:hackage/ghc-typelits-natnormalise
Keywords:
bsd2
, library
, type-system
, Propose Tags
License: BSD-2-Clause
Latest release: 5 months ago
First release: over 10 years ago
Dependent packages: 14
Dependent repositories: 70
Downloads: 31,349 total
Last synced: 11 days ago