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

[ Paquet source :  ]

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.

Autres paquets associés à libghc-ghc-typelits-extra-dev

• dep: libc6 (>= 2.1.3)

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libghc-base-dev-4.15.1.0-64902

  paquet virtuel fourni par ghc

• dep: libghc-containers-dev-0.6.4.1-4d368

  paquet virtuel fourni par ghc

• dep: libghc-ghc-bignum-dev-1.1-f92f4

  paquet virtuel fourni par ghc

• dep: libghc-ghc-dev-9.0.2-3fec3

  paquet virtuel fourni par ghc

• dep: libghc-ghc-prim-dev-0.7.0-5c885

  paquet virtuel fourni par ghc

• dep: libghc-ghc-tcplugins-extra-dev-0.4.3-d1f91

  paquet virtuel fourni par libghc-ghc-tcplugins-extra-dev

• dep: libghc-ghc-typelits-knownnat-dev-0.7.12-82b36

  paquet virtuel fourni par libghc-ghc-typelits-knownnat-dev

• dep: libghc-ghc-typelits-natnormalise-dev-0.7.7-0a797

  paquet virtuel fourni par libghc-ghc-typelits-natnormalise-dev

• dep: libghc-transformers-dev-0.5.6.2-8936e

  paquet virtuel fourni par ghc

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Bibliothèque arithmétique à multi-précision

• dep: libtinfo6 (>= 6)

  bibliothèque partagée terminfo de bas niveau pour manipuler le terminal

Télécharger libghc-ghc-typelits-extra-dev

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
m68k (portage non officiel)	132,6 ko	1 042,0 ko	[liste des fichiers]