@hackage ghc-typelits-extra0.1.3

Additional type-level operations on GHC.TypeLits.Nat

Categories
- Type System
License
BSD-2-Clause
Maintainer
christiaan.baaij@gmail.com
Links
Versions
- 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
- 0.4.1 Tue, 10 Nov 2020

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 the ceiling of integerLogBase#

Installation
In your cabal file:
Dependencies (0)
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