@hackage ghc-typelits-extra0.1.2

Additional type-level operations on GHC.TypeLits.Nat

Categories
- Type System
License
BSD-2-Clause
Maintainer
christiaan.baaij@gmail.com
Links
Versions
- 0.4.8 Tue, 4 Mar 2025
- 0.4.7 Wed, 22 May 2024
- 0.4.6 Tue, 10 Oct 2023
- 0.4.5 Mon, 20 Feb 2023
- 0.4.4 Fri, 21 Oct 2022
- 0.4.3 Wed, 26 Jan 2022

Installation
In your cabal file:
Dependencies (4)
- base >=4.8 && <5
- transformers >=0.4.2.0 && <0.6
- ghc >=7.10 && <8.2
- ghc-tcplugins-extra >=0.2
Dependents (11)
@hackage/hasktorch, @hackage/ice40-prim, @hackage/clash-ghc, @hackage/clash-finite, @hackage/clash-shake, @hackage/retroclash-sim, Show all…

Package Flags

deverror

(off by default)

Enables `-Werror` for development mode and TravisCI

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

GHC.TypeLits.Extra.GCD: a type-level gcd
GHC.TypeLits.Extra.CLog: type-level equivalent of "clog x y = ceiling (logBase x y)"

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.