ghc-constraints-0.12-lp152.1.5 RPM for ppc64le

From OpenSuSE Ports Leap 15.2 for ppc64le

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.

Provides

• ghc-constraints
• ghc-constraints(ppc-64)
• libHSconstraints-0.12-AUgb5rtgCGEIKAfohre4B-ghc8.10.1.so()(64bit)

Requires

• libHSarray-0.5.4.0-ghc8.10.1.so()(64bit)
• libHSbase-4.14.0.0-ghc8.10.1.so()(64bit)
• libHSbinary-0.8.8.0-ghc8.10.1.so()(64bit)
• libHSbytestring-0.10.10.0-ghc8.10.1.so()(64bit)
• libHScontainers-0.6.2.1-ghc8.10.1.so()(64bit)
• libHSdeepseq-1.4.4.0-ghc8.10.1.so()(64bit)
• libHSghc-prim-0.6.1-ghc8.10.1.so()(64bit)
• libHShashable-1.3.0.0-LGxxCm803BZBXVITcYVRpj-ghc8.10.1.so()(64bit)
• libHSinteger-gmp-1.0.3.0-ghc8.10.1.so()(64bit)
• libHSmtl-2.2.2-ghc8.10.1.so()(64bit)
• libHSsemigroups-0.19.1-4N1rKhC7T4sGi7ZOkPmPul-ghc8.10.1.so()(64bit)
• libHStext-1.2.3.2-ghc8.10.1.so()(64bit)
• libHStransformers-0.5.6.2-ghc8.10.1.so()(64bit)
• libHStransformers-compat-0.6.5-5FpQwDSHwAD8xLwpEoaQi-ghc8.10.1.so()(64bit)
• libHStype-equality-1-8vxvMUXbGeJ175xv8XlFO-ghc8.10.1.so()(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libgmp.so.10()(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsXz) <= 5.2-1

License

BSD-2-Clause

Changelog

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

Files

/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 Apr 9 12:13:28 2024