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 | 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 |
Available diffs
- diff from 0.7.7-1build1 to 0.7.9-1build2 (5.3 KiB)
- diff from 0.7.9-1build1 to 0.7.9-1build2 (348 bytes)
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.