@hackage ghc-typelits-extra0.1.1

Additional type-level operations on GHC.TypeLits.Nat

Categories
- Type System
License
BSD-2-Clause
Maintainer
christiaan.baaij@gmail.com
Links
Versions
- 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
- 0.4.2 Fri, 1 Jan 2021

Installation
In your cabal file:
Dependencies (3)
- base >=4.8 && <5
- ghc >=7.10 && <8.2
- ghc-tcplugins-extra >=0.2
Dependents (9)
@hackage/ice40-prim, @hackage/clash-ghc, @hackage/clash-shake, @hackage/retroclash-sim, @hackage/finitary-derive, @hackage/lion, Show all…

Package Flags

deverror

(off by default)

Enables `-Werror` for development mode and TravisCI

ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver implemented as a GHC type-checker plugin:

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