Paket: libghc-ghc-typelits-extra-dev (0.4.7-1) [debports]

libghc-ghc-typelits-extra-dev için bağlantılar

Bulunamadı

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.

dep: libc6 (>= 2.1.3)

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
dep: libghc-base-dev-4.15.1.0-64902

sanal paketi sağlayan ghc
dep: libghc-containers-dev-0.6.4.1-4d368

sanal paketi sağlayan ghc
dep: libghc-ghc-bignum-dev-1.1-f92f4

sanal paketi sağlayan ghc
dep: libghc-ghc-dev-9.0.2-3fec3

sanal paketi sağlayan ghc
dep: libghc-ghc-prim-dev-0.7.0-5c885

sanal paketi sağlayan ghc
dep: libghc-ghc-tcplugins-extra-dev-0.4.3-d1f91

sanal paketi sağlayan libghc-ghc-tcplugins-extra-dev
dep: libghc-ghc-typelits-knownnat-dev-0.7.12-82b36

sanal paketi sağlayan libghc-ghc-typelits-knownnat-dev
dep: libghc-ghc-typelits-natnormalise-dev-0.7.7-0a797

sanal paketi sağlayan libghc-ghc-typelits-natnormalise-dev
dep: libghc-transformers-dev-0.5.6.2-8936e

sanal paketi sağlayan ghc
dep: libgmp10 (>= 2:6.3.0+dfsg)

Multiprecision arithmetic library
dep: libtinfo6 (>= 6)

shared low-level terminfo library for terminal handling

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
m68k (resmi olmayan port)	132,6 kB	1.042,0 kB	[dosya listesi]