Package Info

ghc-ghc-typelits-extra


Additional type-level operations on GHC.TypeLits.Nat


Development/Libraries/Haskell

Additional type-level operations on 'GHC.TypeLits.Nat':

And a custom solver for the above operations defined in 'GHC.TypeLits.Extra.Solver' as a GHC type-checker plugin. To use the plugin, add the

' OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver '

pragma to the header of your file.


License: BSD-2-Clause
URL: https://hackage.haskell.org/package/ghc-typelits-extra

Categories

Releases

Package Version Update ID Released Package Hub Version Platforms Subpackages
0.2.3-bp150.1.3 info GA Release 2018-07-30 15
  • AArch64
  • ppc64le
  • x86-64
  • ghc-ghc-typelits-extra
  • ghc-ghc-typelits-extra-devel