| Name : ghc-ghc-typelits-knownnat
| |
| Version : 0.6
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : lp150.1.1
| Date : 2018-12-26 16:05:36
|
| Group : Development/Libraries/Haskell
| Source RPM : ghc-ghc-typelits-knownnat-0.6-lp150.1.1.src.rpm
|
| Size : 0.11 MB
| |
| Packager : (none)
| |
| Summary : Derive KnownNat constraints from other KnownNat constraints
|
Description :
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.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/haskell:/lts:/13/openSUSE_Leap_15.0/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-ghc-typelits-knownnat
ghc-ghc-typelits-knownnat(x86-64)
libHSghc-typelits-knownnat-0.6-Aarb9DtP52lEiSXEKOYKcA-ghc8.6.3.so()(64bit)
Requires :
