SUSE Package Hub 15 oneclick install
Install ghcghctypelitsknownnat
NOTE: This oneclick installation requires that the SUSE Package Hub extension to already be enabled.
See http://packagehub.suse.com/howtouse/ for information on enabling the Package Hub extension
If the extension is not enabled, this installation will fail while trying to enable an invalid repo.
This package might depend on packages from SUSE Linux Enterprise modules. If those modules are not enabled, a package dependency error will be encountered.
SUSEPackageHub15StandardPool
Package Hub 15
Dummy repo  this will fail

ghcghctypelitsknownnat
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
* Typelevel 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.
SUSE Package Hub 15 oneclick install
Install ghcghctypelitsknownnat
NOTE: This oneclick installation requires that the SUSE Package Hub extension to already be enabled.
See http://packagehub.suse.com/howtouse/ for information on enabling the Package Hub extension
If the extension is not enabled, this installation will fail while trying to enable an invalid repo.
This package might depend on packages from SUSE Linux Enterprise modules. If those modules are not enabled, a package dependency error will be encountered.
SUSEPackageHub15StandardPool
Package Hub 15
Dummy repo  this will fail

ghcghctypelitsknownnat
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
* Typelevel 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.