| Name : ghc-ghc-typelits-knownnat
| |
| Version : 0.2.3
| Vendor : obs://build_opensuse_org/devel:languages:haskell
|
| Release : 1.20
| Date : 2018-03-09 19:26:40
|
| Group : Development/Languages/Other
| Source RPM : ghc-ghc-typelits-knownnat-0.2.3-1.20.src.rpm
|
| Size : 0.08 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:/7/SLE_12_SP2_Backports/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.2.3-D4IX1bHnZRTCfbNThnqAXq-ghc8.0.1.so()(64bit)
Requires :
