Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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
License: BSD-2-Clause
Latest release: 7 months ago
First release: about 9 years ago
Dependent packages: 14
Dependent repositories: 70
Downloads: 29,286 total
Last synced: 22 days ago