Version 0.6-0 of ghc-typelits-natnormalise is deprecated.
The latest version of ghc-typelits-natnormalise is 0.7.10-0.
ghc-typelits-natnormalise
Version 0.6 revision 0 uploaded by ChristiaanBaaij.
Package meta
- Synopsis
- GHC typechecker plugin for types of kind GHC.TypeLits.Nat
- Description
A type checker plugin for GHC that can solve equalities 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^2Because the latter is actually the
SOPnormal form of the former.To use the plugin, add the
OPTIONS_GHC -fplugin GHC.TypeLits.NormalisePragma to the header of your file.
- Author
- Christiaan Baaij
- Bug reports
- http://github.com/clash-lang/ghc-typelits-natnormalise/issues
- Category
- Type System
- Copyright
- Copyright © 2015-2016, University of Twente, 2017-2018, QBayLogic B.V.
- Homepage
- http://www.clash-lang.org/
- Maintainer
- christiaan.baaij@gmail.com
- Package URL
- n/a
- Stability
- n/a