Ubuntu
haskell-ghc-typelits-knownnat package

haskell-ghc-typelits-knownnat 0.7.9-1build2 source package in Ubuntu

Changelog

haskell-ghc-typelits-knownnat (0.7.9-1build2) noble; urgency=medium

  * Rebuild against 'new GHC ABI'.

 -- Gianfranco Costamagna <email address hidden>  Mon, 18 Dec 2023 08:10:18 +0100

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Noble
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Noble release universe misc

Downloads

File Size SHA-256 Checksum
haskell-ghc-typelits-knownnat_0.7.9.orig.tar.gz 25.9 KiB 8d9963f02daaedb20c0edc1c27e6e7536ebbe927b281319e7d2cc9f1e5066dc0
haskell-ghc-typelits-knownnat_0.7.9-1build2.debian.tar.xz 2.8 KiB 1c248b14ed613d4c7b42226d85a25864b9931dda0049e788352997ca83edc764
haskell-ghc-typelits-knownnat_0.7.9-1build2.dsc 2.9 KiB 1069e0ed5f6a084a1c744a8aa9b95e006d20f366f95ba8cb5101e835c0543828

View changes file

Binary packages built by this source

libghc-ghc-typelits-knownnat-dev: Derive KnownNat constraints from other KnownNat constraints

 A type checker plugin for GHC that can derive "complex" KnownNat
 constraints from other simple/variable KnownNat constraints. i.e. without
 this plugin, you must have both a KnownNat n and a KnownNat (n+2)
 constraint in the type signature of the following function:
 .
 f :: forall n . (KnownNat n, KnownNat (n+2)) => Proxy n -> Integer
 f _ = natVal (Proxy :: Proxy n) + natVal (Proxy :: Proxy (n+2))
 .
 Using the plugin you can omit the KnownNat (n+2) constraint:
 .
 f :: forall n . KnownNat n => Proxy n -> Integer
 f _ = natVal (Proxy :: Proxy n) + natVal (Proxy :: Proxy (n+2))
 .
 The plugin can derive KnownNat constraints for types consisting of:
 .
  * Type variables, when there is a corresponding KnownNat constraint
 .
  * Type-level naturals
 .
  * Applications of the arithmetic expression: +,-,*,^
 .
  * Type functions, when there is either:
 .
 1. a matching given KnownNat constraint; or
 .
 2. a corresponding KnownNat<N> instance for the type function
 .
 To use the plugin, add the
 .
 OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.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.

libghc-ghc-typelits-knownnat-doc: Derive KnownNat constraints from other KnownNat constraints; documentation

 A type checker plugin for GHC that can derive "complex" KnownNat
 constraints from other simple/variable KnownNat constraints. i.e. without
 this plugin, you must have both a KnownNat n and a KnownNat (n+2)
 constraint in the type signature of the following function:
 .
 f :: forall n . (KnownNat n, KnownNat (n+2)) => Proxy n -> Integer
 f _ = natVal (Proxy :: Proxy n) + natVal (Proxy :: Proxy (n+2))
 .
 Using the plugin you can omit the KnownNat (n+2) constraint:
 .
 f :: forall n . KnownNat n => Proxy n -> Integer
 f _ = natVal (Proxy :: Proxy n) + natVal (Proxy :: Proxy (n+2))
 .
 The plugin can derive KnownNat constraints for types consisting of:
 .
  * Type variables, when there is a corresponding KnownNat constraint
 .
  * Type-level naturals
 .
  * Applications of the arithmetic expression: +,-,*,^
 .
  * Type functions, when there is either:
 .
 1. a matching given KnownNat constraint; or
 .
 2. a corresponding KnownNat<N> instance for the type function
 .
 To use the plugin, add the
 .
 OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver
 .
 Pragma to the header of your file.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-ghc-typelits-knownnat-prof: Derive KnownNat constraints from other KnownNat constraints; profiling libraries

 A type checker plugin for GHC that can derive "complex" KnownNat
 constraints from other simple/variable KnownNat constraints. i.e. without
 this plugin, you must have both a KnownNat n and a KnownNat (n+2)
 constraint in the type signature of the following function:
 .
 f :: forall n . (KnownNat n, KnownNat (n+2)) => Proxy n -> Integer
 f _ = natVal (Proxy :: Proxy n) + natVal (Proxy :: Proxy (n+2))
 .
 Using the plugin you can omit the KnownNat (n+2) constraint:
 .
 f :: forall n . KnownNat n => Proxy n -> Integer
 f _ = natVal (Proxy :: Proxy n) + natVal (Proxy :: Proxy (n+2))
 .
 The plugin can derive KnownNat constraints for types consisting of:
 .
  * Type variables, when there is a corresponding KnownNat constraint
 .
  * Type-level naturals
 .
  * Applications of the arithmetic expression: +,-,*,^
 .
  * Type functions, when there is either:
 .
 1. a matching given KnownNat constraint; or
 .
 2. a corresponding KnownNat<N> instance for the type function
 .
 To use the plugin, add the
 .
 OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver
 .
 Pragma to the header of your file.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.