haskell-ghc-typelits-knownnat 0.7.7-1build1 source package in Ubuntu
Changelog
haskell-ghc-typelits-knownnat (0.7.7-1build1) lunar; urgency=medium * Rebuild against new GHC ABI. -- Gianfranco Costamagna <email address hidden> Sun, 11 Dec 2022 02:15:53 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Lunar
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Mantic | release | universe | misc | |
Lunar | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-ghc-typelits-knownnat_0.7.7.orig.tar.gz | 25.0 KiB | c79018557e88cd1b3937d15d9fb75c4cc7e6b44856ad53b15ae4c421a385f92c |
haskell-ghc-typelits-knownnat_0.7.7-1build1.debian.tar.xz | 2.7 KiB | 3bf004ee6a9d9ce108a55df28ff3fd361d8153c95fd7330e8d929485a939ec82 |
haskell-ghc-typelits-knownnat_0.7.7-1build1.dsc | 2.9 KiB | ab16972e007af9ef938e9b67e66e441ae75dba953d0e63cb41ce8343cce3283e |
Available diffs
- diff from 0.7.6-1 (in Debian) to 0.7.7-1build1 (29.7 KiB)
- diff from 0.7.7-1 (in Debian) to 0.7.7-1build1 (370 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.