| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: ghc-constraints-devel | Distribution: openSUSE:Leap:15.2:PowerPC / ports |
| Version: 0.12 | Vendor: openSUSE |
| Release: lp152.1.5 | Build date: Fri May 22 01:04:11 2020 |
| Group: Unspecified | Build host: obs-power8-05 |
| Size: 10051103 | Source RPM: ghc-constraints-0.12-lp152.1.5.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://hackage.haskell.org/package/constraints | |
| Summary: Haskell constraints library development files | |
This package provides the Haskell constraints library development files.
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/Data /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint.dyn_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint.hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint.p_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Deferrable.dyn_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Deferrable.hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Deferrable.p_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Forall.dyn_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Forall.hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Forall.p_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Lifting.dyn_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Lifting.hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Lifting.p_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Nat.dyn_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Nat.hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Nat.p_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Symbol.dyn_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Symbol.hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Symbol.p_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Unsafe.dyn_hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Unsafe.hi /usr/lib64/ghc-8.10.1/constraints-0.12/Data/Constraint/Unsafe.p_hi /usr/lib64/ghc-8.10.1/constraints-0.12/libHSconstraints-0.12-AUgb5rtgCGEIKAfohre4B.a /usr/lib64/ghc-8.10.1/constraints-0.12/libHSconstraints-0.12-AUgb5rtgCGEIKAfohre4B_p.a /usr/lib64/ghc-8.10.1/package.conf.d/constraints-0.12.conf /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12 /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/Data-Constraint-Deferrable.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/Data-Constraint-Forall.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/Data-Constraint-Lifting.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/Data-Constraint-Nat.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/Data-Constraint-Symbol.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/Data-Constraint-Unsafe.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/Data-Constraint.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/constraints.haddock /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/constraints.txt /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-38.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-42.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-43.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-58.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-92.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-A.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-All.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-B.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-C.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-D.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-E.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-F.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-G.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-H.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-I.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-L.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-M.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-N.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-P.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-R.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-S.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-T.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-U.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-W.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index-Z.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/doc-index.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/haddock-bundle.min.js /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/index.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/linuwial.css /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/meta.json /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/quick-jump.css /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/src /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/src/Data.Constraint.Deferrable.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/src/Data.Constraint.Forall.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/src/Data.Constraint.Lifting.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/src/Data.Constraint.Nat.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/src/Data.Constraint.Symbol.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/src/Data.Constraint.Unsafe.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/src/Data.Constraint.html /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/src/highlight.js /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/src/style.css /usr/share/doc/ghc-8.10.1/html/libraries/constraints-0.12/synopsis.png /usr/share/doc/packages/ghc-constraints-devel /usr/share/doc/packages/ghc-constraints-devel/CHANGELOG.markdown /usr/share/doc/packages/ghc-constraints-devel/README.markdown
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Apr 9 12:13:28 2024