ghc-constraints-0.13-1.4 RPM for armv7hl

From OpenSuSE Ports Tumbleweed for armv7hl

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(armv7hl-32)
• libHSconstraints-0.13-GQNp1hhDVij8vKeKe75ceI-ghc8.10.4.so

Requires

• libHSarray-0.5.4.0-ghc8.10.4.so
• libHSbase-4.14.1.0-ghc8.10.4.so
• libHSbinary-0.8.8.0-ghc8.10.4.so
• libHSbytestring-0.10.12.0-ghc8.10.4.so
• libHScontainers-0.6.2.1-ghc8.10.4.so
• libHSdeepseq-1.4.4.0-ghc8.10.4.so
• libHSghc-boot-th-8.10.4-ghc8.10.4.so
• libHSghc-prim-0.6.1-ghc8.10.4.so
• libHShashable-1.3.2.0-EKrYirj8y57AoMKgGAmgAc-ghc8.10.4.so
• libHSinteger-gmp-1.0.3.0-ghc8.10.4.so
• libHSmtl-2.2.2-ghc8.10.4.so
• libHSpretty-1.1.3.6-ghc8.10.4.so
• libHStemplate-haskell-2.16.0.0-ghc8.10.4.so
• libHStext-1.2.4.1-ghc8.10.4.so
• libHStransformers-0.5.6.2-ghc8.10.4.so
• libHStransformers-compat-0.6.6-5ZJJ9POl5DGLIWTn4Z8HjM-ghc8.10.4.so
• libHStype-equality-1-7CHOwuJCivr9KRetNRqfiu-ghc8.10.4.so
• libc.so.6
• libc.so.6(GLIBC_2.4)
• libgmp.so.10
• libm.so.6
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

BSD-2-Clause

Changelog

* Fri Feb 19 2021 psimons@suse.com
  - Update constraints to version 0.13.
    0.13 [2021.02.17]
    - ----------------
    * `Data.Constraint.Symbol` now reexports the `GHC.TypeLits.AppendSymbol` type
      family from recent versions of `base` (or, on old versions of `base`, it
      defines a backwards-compatibile version of `AppendSymbol`). The existing
      `(++)` type family for `Data.Constraint.Symbol` is now a synonym for
      `AppendSymbol`.
      This is technically a breaking change, as `(++)` was previously defined like
      so:
      ```hs
      type family (++) :: Symbol -> Symbol -> Symbol
      ```
      This meant that `(++)` could be partially applied. However, for compatibility
      with the way that `AppendSymbol` is defined, `(++)` is now defined like so:
      ```hs
      type m ++ n = AppendSymbol m n
      ```
      As a result, `(++)` can no longer be partially applied.
    * Make the `(++)` type family in `Data.Constraint.Symbol` be `infixr 5`.
    * Add `implied :: (a => b) -> (a :- b)` to `Data.Constraint`, which converts
      a quantified constraint into an entailment. This is only available when
      compiled with GHC 8.6 or later.
* Thu Dec 17 2020 Ondřej Súkup <mimi.vx@gmail.com>
  - disable %{ix86} build
* Tue Aug 18 2020 Peter Simons <psimons@suse.com>
  - Replace %setup -q with the more modern %autosetup macro.
* Tue Jun 09 2020 psimons@suse.com
  - Add constraints at version 0.12.

Files

/usr/lib/ghc-8.10.4/constraints-0.13
/usr/lib/ghc-8.10.4/constraints-0.13/libHSconstraints-0.13-GQNp1hhDVij8vKeKe75ceI-ghc8.10.4.so
/usr/share/licenses/ghc-constraints
/usr/share/licenses/ghc-constraints/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Oct 24 23:22:36 2025