Paquet : libghc-ghc-typelits-natnormalise-dev (0.7.9-1 et autres)

Liens pour libghc-ghc-typelits-natnormalise-dev

A type checker plugin for GHC that can solve equalities and inequalities of types of kind @Nat@, where these types are either:

  * Type-level naturals

  * Type variables

  * Applications of the arithmetic expressions (+,-,*,^).

It solves these equalities by normalising them to sort-of SOP (Sum-of-Products) form, and then perform a simple syntactic equality.

For example, this solver can prove the equality between:

(x + 2)^(y + 2)

and

4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2

Because the latter is actually the SOP normal form of the former.

To use the plugin, add the

OPTIONS_GHC -fplugin GHC.TypeLits.Normalise

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.2)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libghc-base-dev-4.17.2.0-696e5

paquet virtuel fourni par ghc
dep: libghc-containers-dev-0.6.7-efe21

paquet virtuel fourni par ghc
dep: libghc-ghc-bignum-dev-1.3-68cc7

paquet virtuel fourni par ghc
dep: libghc-ghc-dev-9.4.7-e6db8

paquet virtuel fourni par ghc
dep: libghc-ghc-tcplugins-extra-dev-0.4.5-53757

paquet virtuel fourni par libghc-ghc-tcplugins-extra-dev
dep: libghc-transformers-dev-0.5.6.2-931c3

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 pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
s390x	0.7.9-1+b2	223,4 ko	2 678,0 ko	[liste des fichiers]