Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ghc-constraints | Distribution: SUSE Linux Enterprise 15 SP5 |
Version: 0.13.3 | Vendor: openSUSE |
Release: bp155.2.17 | Build date: Mon May 22 12:18:31 2023 |
Group: Unspecified | Build host: s390zp21 |
Size: 1347124 | Source RPM: ghc-constraints-0.13.3-bp155.2.17.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
* Mon Jan 31 2022 Peter Simons <psimons@suse.com> - Update constraints to version 0.13.3. 0.13.3 [2022.01.31] - ------------------ * Allow building with `transformers-0.6.*` and `mtl-2.3.*`. * Tue Nov 16 2021 psimons@suse.com - Update constraints to version 0.13.2 revision 1. Upstream has revised the Cabal build instructions on Hackage. * Thu Nov 11 2021 psimons@suse.com - Update constraints to version 0.13.2. 0.13.2 [2021.11.10] - ------------------ * Allow building on GHC HEAD. * Mon Nov 01 2021 psimons@suse.com - Update constraints to version 0.13.1. 0.13.1 [2021.10.31] - ------------------ * Allow building with GHC 9.2. * Tue Oct 19 2021 psimons@suse.com - Update constraints to version 0.13 revision 1. Upstream has revised the Cabal build instructions on Hackage. * 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.
/usr/lib64/ghc-8.10.7/constraints-0.13.3 /usr/lib64/ghc-8.10.7/constraints-0.13.3/libHSconstraints-0.13.3-DyH3liVI6mv7mReYG3RSeJ-ghc8.10.7.so /usr/share/licenses/ghc-constraints /usr/share/licenses/ghc-constraints/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Sun Mar 9 13:42:55 2025