Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ghc-constraints | Distribution: openSUSE Leap 15.2 |
Version: 0.12 | Vendor: openSUSE |
Release: lp152.1.4 | Build date: Fri May 22 00:54:26 2020 |
Group: Unspecified | Build host: lamb55 |
Size: 763668 | Source RPM: ghc-constraints-0.12-lp152.1.4.src.rpm |
Packager: https://bugs.opensuse.org | |
Url: https://hackage.haskell.org/package/constraints | |
Summary: Constraint manipulation |
GHC 7.4 gave us the ability to talk about 'ConstraintKinds'. They stopped crashing the compiler in GHC 7.6. This package provides a vocabulary for working with them.
BSD-2-Clause
* Fri Feb 07 2020 psimons@suse.com - Update constraints to version 0.12. 0.12 [2020.02.03] - ---------------- * Relax the type signature for `divideTimes`: ```diff - dividesTimes :: (Divides a b, Divides a c) :- Divides a (b * c) +dividesTimes :: Divides a b :- Divides a (b * c) ``` * Simplify the type signature of `dividesDef`: ```diff - dividesDef :: forall a b. Divides a b :- ((a * Div b a) ~ b) +dividesDef :: forall a b. Divides a b :- (Mod b a ~ 0) ``` The original type of `diviesDef` can be (partially) recovered by defining it in terms of the new `dividesDef`: ```hs dividesDef' :: forall a b. (1 <= a, Divides a b) :- ((a * Div b a) ~ b) dividesDef' = Sub $ case (dividesDef @a @b, euclideanNat @a @b) of (Sub Dict, Sub Dict) -> Dict ``` * Fri Nov 08 2019 Peter Simons <psimons@suse.com> - Drop obsolete group attributes. * Sat Sep 07 2019 psimons@suse.com - Update constraints to version 0.11.2. 0.11.2 [2019.09.06] - ------------------ * Depend on the `type-equality` compatibility library so that `(:~~:)` may be used when compiling this library with GHC 8.0. This avoids having to redefine `(:~~:)` directly in the internals of `constraints` itself. * Wed Aug 28 2019 psimons@suse.com - Update constraints to version 0.11.1. 0.11.1 [2019.08.27] - ------------------ * Make `Data.Constraint.Deferrable.UnsatisfiedConstraint` a newtype. * Sat May 11 2019 psimons@suse.com - Update constraints to version 0.11. Upstream has edited the change log file since the last release in a non-trivial way, i.e. they did more than just add a new entry at the top. You can review the file at: http://hackage.haskell.org/package/constraints-0.11/src/CHANGELOG.markdown * Sat Oct 20 2018 Peter Simons <psimons@suse.com> - Use https URL to refer to bugs.opensuse.org. * Mon Jul 09 2018 psimons@suse.com - Add constraints at version 0.10.1.
/usr/lib64/ghc-8.10.1/constraints-0.12 /usr/lib64/ghc-8.10.1/constraints-0.12/libHSconstraints-0.12-AUgb5rtgCGEIKAfohre4B-ghc8.10.1.so /usr/share/licenses/ghc-constraints /usr/share/licenses/ghc-constraints/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Jul 9 11:31:35 2024