deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: libghc-base-dev-4.18.2.1-75247, libghc-containers-dev-0.6.7-3eda8, libghc-ghc-bignum-dev-1.3-ff2dd,
libghc-ghc-dev-9.6.6-b0dca, libghc-ghc-prim-dev-0.10.0-e2193, libghc-ghc-tcplugins-extra-dev-0.4.6-cdd18,
libghc-ghc-typelits-knownnat-dev-0.7.12-1c6d6, libghc-ghc-typelits-natnormalise-dev-0.7.10-5de26,
libghc-template-haskell-dev-2.20.0.0-a6103, libghc-transformers-dev-0.6.1.0-5335d,
libc6 (>= 2.17), libgmp10 (>= 2:6.3.0+dfsg)
Description: |-
Additional type-level operations on GHC.TypeLits.Nat
Operations:
.
* Max: type-level max
.
* Min: type-level min
.
* Div: type-level div
.
* Mod: type-level mod
.
* FLog: type-level equivalent of integerLogBase
i.e. the exact integer equivalent to floor (logBase x y)
.
* CLog: type-level equivalent of the ceiling of integerLogBase
i.e. the exact integer equivalent to ceiling (logBase x y)
.
* Log: type-level equivalent of integerLogBase
where the operation only reduces when floor (logBase b x) ~ ceiling (logBase
b x)
.
* GCD: a type-level gcd
.
* LCM: a type-level lcm
.
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.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.
Ghc-Package: ghc-typelits-extra-0.4.7-922QVJ3w0zx1f4EDcEcdAl
Homepage: https://www.clash-lang.org/
Installed-Size: '978'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: libghc-ghc-typelits-extra-dev
Priority: optional
Provides: libghc-ghc-typelits-extra-dev-0.4.7-3ad02
Section: haskell
Source: haskell-ghc-typelits-extra (0.4.7-1)
Version: 0.4.7-1+b1
srcpkg_name: haskell-ghc-typelits-extra
srcpkg_version: 0.4.7-1