From 450f52361fd6da8a9826dc84b57d15089d78ad4d9267503e33af8937bfee8d77 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Fri, 10 Nov 2023 14:07:19 +0000 Subject: [PATCH 1/4] osc copypac from project:devel:languages:haskell:ghc-9.6.x package:ghc-kan-extensions revision:4, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-kan-extensions?expand=0&rev=34 --- kan-extensions.cabal | 204 +++++++++++++++++++++---------------------- 1 file changed, 102 insertions(+), 102 deletions(-) diff --git a/kan-extensions.cabal b/kan-extensions.cabal index 935b6e7..43265fc 100644 --- a/kan-extensions.cabal +++ b/kan-extensions.cabal @@ -1,102 +1,102 @@ -name: kan-extensions -category: Data Structures, Monads, Comonads, Functors -version: 5.2.5 -x-revision: 2 -license: BSD3 -cabal-version: >= 1.10 -license-file: LICENSE -author: Edward A. Kmett -maintainer: Edward A. Kmett -stability: provisional -homepage: http://github.com/ekmett/kan-extensions/ -bug-reports: http://github.com/ekmett/kan-extensions/issues -copyright: Copyright (C) 2008-2016 Edward A. Kmett -synopsis: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads -description: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads. -build-type: Simple -tested-with: GHC == 7.4.2 - , GHC == 7.6.3 - , GHC == 7.8.4 - , GHC == 7.10.3 - , GHC == 8.0.2 - , GHC == 8.2.2 - , GHC == 8.4.4 - , GHC == 8.6.5 - , GHC == 8.8.4 - , GHC == 8.10.7 - , GHC == 9.0.2 - , GHC == 9.2.2 - -extra-source-files: - .gitignore - .ghci - .vim.custom - CHANGELOG.markdown - README.markdown - include/kan-extensions-common.h - -source-repository head - type: git - location: git://github.com/ekmett/kan-extensions.git - -library - hs-source-dirs: src - include-dirs: include - includes: kan-extensions-common.h - - other-extensions: - CPP - MultiParamTypeClasses - GADTs - Rank2Types, - FlexibleInstances - FlexibleContexts - UndecidableInstances - TypeFamilies - - build-depends: - adjunctions >= 4.2 && < 5, - array >= 0.3.0.2 && < 0.6, - base >= 4.4 && < 5, - comonad >= 4 && < 6, - containers >= 0.4 && < 0.8, - contravariant >= 1 && < 2, - distributive >= 0.2.2 && < 1, - invariant >= 0.1 && < 1, - free >= 4 && < 6, - mtl >= 2.0.1 && < 2.4, - profunctors >= 5 && < 6, - semigroupoids >= 4 && < 7, - tagged >= 0.7.2 && < 1, - transformers >= 0.2 && < 0.7, - transformers-compat >= 0.3 && < 0.8 - - exposed-modules: - Control.Comonad.Density - Control.Monad.Co - Control.Monad.Codensity - Data.Functor.Contravariant.Day - Data.Functor.Contravariant.Yoneda - Data.Functor.Contravariant.Coyoneda - Data.Functor.Day - Data.Functor.Day.Curried - Data.Functor.Invariant.Day - Data.Functor.Kan.Lan - Data.Functor.Kan.Ran - Data.Functor.Yoneda - Data.Functor.Coyoneda - - ghc-options: -Wall - default-language: Haskell2010 - - if impl(ghc >= 7.10) - ghc-options: -fno-warn-trustworthy-safe - - -- See https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0#base-4.9.0.0 - if impl(ghc >= 8.0) - ghc-options: -Wcompat -Wnoncanonical-monad-instances - - if !impl(ghc >= 8.8) - ghc-options: -Wnoncanonical-monadfail-instances - else - build-depends: fail >= 4.9 && < 5 +name: kan-extensions +category: Data Structures, Monads, Comonads, Functors +version: 5.2.5 +x-revision: 2 +license: BSD3 +cabal-version: >= 1.10 +license-file: LICENSE +author: Edward A. Kmett +maintainer: Edward A. Kmett +stability: provisional +homepage: http://github.com/ekmett/kan-extensions/ +bug-reports: http://github.com/ekmett/kan-extensions/issues +copyright: Copyright (C) 2008-2016 Edward A. Kmett +synopsis: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads +description: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads. +build-type: Simple +tested-with: GHC == 7.4.2 + , GHC == 7.6.3 + , GHC == 7.8.4 + , GHC == 7.10.3 + , GHC == 8.0.2 + , GHC == 8.2.2 + , GHC == 8.4.4 + , GHC == 8.6.5 + , GHC == 8.8.4 + , GHC == 8.10.7 + , GHC == 9.0.2 + , GHC == 9.2.2 + +extra-source-files: + .gitignore + .ghci + .vim.custom + CHANGELOG.markdown + README.markdown + include/kan-extensions-common.h + +source-repository head + type: git + location: git://github.com/ekmett/kan-extensions.git + +library + hs-source-dirs: src + include-dirs: include + includes: kan-extensions-common.h + + other-extensions: + CPP + MultiParamTypeClasses + GADTs + Rank2Types, + FlexibleInstances + FlexibleContexts + UndecidableInstances + TypeFamilies + + build-depends: + adjunctions >= 4.2 && < 5, + array >= 0.3.0.2 && < 0.6, + base >= 4.4 && < 5, + comonad >= 4 && < 6, + containers >= 0.4 && < 0.8, + contravariant >= 1 && < 2, + distributive >= 0.2.2 && < 1, + invariant >= 0.1 && < 1, + free >= 4 && < 6, + mtl >= 2.0.1 && < 2.4, + profunctors >= 5 && < 6, + semigroupoids >= 4 && < 7, + tagged >= 0.7.2 && < 1, + transformers >= 0.2 && < 0.7, + transformers-compat >= 0.3 && < 0.8 + + exposed-modules: + Control.Comonad.Density + Control.Monad.Co + Control.Monad.Codensity + Data.Functor.Contravariant.Day + Data.Functor.Contravariant.Yoneda + Data.Functor.Contravariant.Coyoneda + Data.Functor.Day + Data.Functor.Day.Curried + Data.Functor.Invariant.Day + Data.Functor.Kan.Lan + Data.Functor.Kan.Ran + Data.Functor.Yoneda + Data.Functor.Coyoneda + + ghc-options: -Wall + default-language: Haskell2010 + + if impl(ghc >= 7.10) + ghc-options: -fno-warn-trustworthy-safe + + -- See https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0#base-4.9.0.0 + if impl(ghc >= 8.0) + ghc-options: -Wcompat -Wnoncanonical-monad-instances + + if !impl(ghc >= 8.8) + ghc-options: -Wnoncanonical-monadfail-instances + else + build-depends: fail >= 4.9 && < 5 From 45f7325f46082a6fa9b69a410b68c670ef8e2e6a0ca2b39a5e1987dc55d726b6 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Thu, 16 Nov 2023 16:59:35 +0000 Subject: [PATCH 2/4] osc copypac from project:devel:languages:haskell:ghc-9.6.x package:ghc-kan-extensions revision:5, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-kan-extensions?expand=0&rev=35 --- ghc-kan-extensions.changes | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/ghc-kan-extensions.changes b/ghc-kan-extensions.changes index eb127d2..0fb0017 100644 --- a/ghc-kan-extensions.changes +++ b/ghc-kan-extensions.changes @@ -1,3 +1,8 @@ +------------------------------------------------------------------- +Thu Nov 16 13:26:28 UTC 2023 - Peter Simons + +- Strip CRLF line endings from the bundled Cabal file. + ------------------------------------------------------------------- Sat Sep 30 13:17:42 UTC 2023 - Peter Simons From 7b25ad1580858463734125467c4eaf9c22e18f17d2e707d8c9a397d0f318ce96 Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Wed, 22 Nov 2023 09:17:21 +0000 Subject: [PATCH 3/4] osc copypac from project:devel:languages:haskell:ghc-9.6.x package:ghc-kan-extensions revision:6, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-kan-extensions?expand=0&rev=36 --- ghc-kan-extensions.changes | 5 - kan-extensions.cabal | 204 ++++++++++++++++++------------------- 2 files changed, 102 insertions(+), 107 deletions(-) diff --git a/ghc-kan-extensions.changes b/ghc-kan-extensions.changes index 0fb0017..eb127d2 100644 --- a/ghc-kan-extensions.changes +++ b/ghc-kan-extensions.changes @@ -1,8 +1,3 @@ -------------------------------------------------------------------- -Thu Nov 16 13:26:28 UTC 2023 - Peter Simons - -- Strip CRLF line endings from the bundled Cabal file. - ------------------------------------------------------------------- Sat Sep 30 13:17:42 UTC 2023 - Peter Simons diff --git a/kan-extensions.cabal b/kan-extensions.cabal index 43265fc..935b6e7 100644 --- a/kan-extensions.cabal +++ b/kan-extensions.cabal @@ -1,102 +1,102 @@ -name: kan-extensions -category: Data Structures, Monads, Comonads, Functors -version: 5.2.5 -x-revision: 2 -license: BSD3 -cabal-version: >= 1.10 -license-file: LICENSE -author: Edward A. Kmett -maintainer: Edward A. Kmett -stability: provisional -homepage: http://github.com/ekmett/kan-extensions/ -bug-reports: http://github.com/ekmett/kan-extensions/issues -copyright: Copyright (C) 2008-2016 Edward A. Kmett -synopsis: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads -description: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads. -build-type: Simple -tested-with: GHC == 7.4.2 - , GHC == 7.6.3 - , GHC == 7.8.4 - , GHC == 7.10.3 - , GHC == 8.0.2 - , GHC == 8.2.2 - , GHC == 8.4.4 - , GHC == 8.6.5 - , GHC == 8.8.4 - , GHC == 8.10.7 - , GHC == 9.0.2 - , GHC == 9.2.2 - -extra-source-files: - .gitignore - .ghci - .vim.custom - CHANGELOG.markdown - README.markdown - include/kan-extensions-common.h - -source-repository head - type: git - location: git://github.com/ekmett/kan-extensions.git - -library - hs-source-dirs: src - include-dirs: include - includes: kan-extensions-common.h - - other-extensions: - CPP - MultiParamTypeClasses - GADTs - Rank2Types, - FlexibleInstances - FlexibleContexts - UndecidableInstances - TypeFamilies - - build-depends: - adjunctions >= 4.2 && < 5, - array >= 0.3.0.2 && < 0.6, - base >= 4.4 && < 5, - comonad >= 4 && < 6, - containers >= 0.4 && < 0.8, - contravariant >= 1 && < 2, - distributive >= 0.2.2 && < 1, - invariant >= 0.1 && < 1, - free >= 4 && < 6, - mtl >= 2.0.1 && < 2.4, - profunctors >= 5 && < 6, - semigroupoids >= 4 && < 7, - tagged >= 0.7.2 && < 1, - transformers >= 0.2 && < 0.7, - transformers-compat >= 0.3 && < 0.8 - - exposed-modules: - Control.Comonad.Density - Control.Monad.Co - Control.Monad.Codensity - Data.Functor.Contravariant.Day - Data.Functor.Contravariant.Yoneda - Data.Functor.Contravariant.Coyoneda - Data.Functor.Day - Data.Functor.Day.Curried - Data.Functor.Invariant.Day - Data.Functor.Kan.Lan - Data.Functor.Kan.Ran - Data.Functor.Yoneda - Data.Functor.Coyoneda - - ghc-options: -Wall - default-language: Haskell2010 - - if impl(ghc >= 7.10) - ghc-options: -fno-warn-trustworthy-safe - - -- See https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0#base-4.9.0.0 - if impl(ghc >= 8.0) - ghc-options: -Wcompat -Wnoncanonical-monad-instances - - if !impl(ghc >= 8.8) - ghc-options: -Wnoncanonical-monadfail-instances - else - build-depends: fail >= 4.9 && < 5 +name: kan-extensions +category: Data Structures, Monads, Comonads, Functors +version: 5.2.5 +x-revision: 2 +license: BSD3 +cabal-version: >= 1.10 +license-file: LICENSE +author: Edward A. Kmett +maintainer: Edward A. Kmett +stability: provisional +homepage: http://github.com/ekmett/kan-extensions/ +bug-reports: http://github.com/ekmett/kan-extensions/issues +copyright: Copyright (C) 2008-2016 Edward A. Kmett +synopsis: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads +description: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads. +build-type: Simple +tested-with: GHC == 7.4.2 + , GHC == 7.6.3 + , GHC == 7.8.4 + , GHC == 7.10.3 + , GHC == 8.0.2 + , GHC == 8.2.2 + , GHC == 8.4.4 + , GHC == 8.6.5 + , GHC == 8.8.4 + , GHC == 8.10.7 + , GHC == 9.0.2 + , GHC == 9.2.2 + +extra-source-files: + .gitignore + .ghci + .vim.custom + CHANGELOG.markdown + README.markdown + include/kan-extensions-common.h + +source-repository head + type: git + location: git://github.com/ekmett/kan-extensions.git + +library + hs-source-dirs: src + include-dirs: include + includes: kan-extensions-common.h + + other-extensions: + CPP + MultiParamTypeClasses + GADTs + Rank2Types, + FlexibleInstances + FlexibleContexts + UndecidableInstances + TypeFamilies + + build-depends: + adjunctions >= 4.2 && < 5, + array >= 0.3.0.2 && < 0.6, + base >= 4.4 && < 5, + comonad >= 4 && < 6, + containers >= 0.4 && < 0.8, + contravariant >= 1 && < 2, + distributive >= 0.2.2 && < 1, + invariant >= 0.1 && < 1, + free >= 4 && < 6, + mtl >= 2.0.1 && < 2.4, + profunctors >= 5 && < 6, + semigroupoids >= 4 && < 7, + tagged >= 0.7.2 && < 1, + transformers >= 0.2 && < 0.7, + transformers-compat >= 0.3 && < 0.8 + + exposed-modules: + Control.Comonad.Density + Control.Monad.Co + Control.Monad.Codensity + Data.Functor.Contravariant.Day + Data.Functor.Contravariant.Yoneda + Data.Functor.Contravariant.Coyoneda + Data.Functor.Day + Data.Functor.Day.Curried + Data.Functor.Invariant.Day + Data.Functor.Kan.Lan + Data.Functor.Kan.Ran + Data.Functor.Yoneda + Data.Functor.Coyoneda + + ghc-options: -Wall + default-language: Haskell2010 + + if impl(ghc >= 7.10) + ghc-options: -fno-warn-trustworthy-safe + + -- See https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0#base-4.9.0.0 + if impl(ghc >= 8.0) + ghc-options: -Wcompat -Wnoncanonical-monad-instances + + if !impl(ghc >= 8.8) + ghc-options: -Wnoncanonical-monadfail-instances + else + build-depends: fail >= 4.9 && < 5 From b2f616bbe705e64051f2ccc29e532cc41c0eaf069fb57332e37efc79b3a3463e Mon Sep 17 00:00:00 2001 From: Peter Simons Date: Tue, 7 May 2024 21:00:45 +0000 Subject: [PATCH 4/4] osc copypac from project:devel:languages:haskell:ghc-9.8.x package:ghc-kan-extensions revision:3, using keep-link OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-kan-extensions?expand=0&rev=37 --- ghc-kan-extensions.changes | 19 +++++++ ghc-kan-extensions.spec | 8 +-- kan-extensions-5.2.5.tar.gz | 3 -- kan-extensions-5.2.6.tar.gz | 3 ++ kan-extensions.cabal | 102 ------------------------------------ 5 files changed, 24 insertions(+), 111 deletions(-) delete mode 100644 kan-extensions-5.2.5.tar.gz create mode 100644 kan-extensions-5.2.6.tar.gz delete mode 100644 kan-extensions.cabal diff --git a/ghc-kan-extensions.changes b/ghc-kan-extensions.changes index eb127d2..7d251a4 100644 --- a/ghc-kan-extensions.changes +++ b/ghc-kan-extensions.changes @@ -1,3 +1,22 @@ +------------------------------------------------------------------- +Sat May 4 15:43:57 UTC 2024 - Peter Simons + +- Update kan-extensions to version 5.2.6. + 5.2.6 [2024.05.04] + ------------------ + * Drop support for GHC 8.2 and earlier. + * Generalize instances in `Control.Monad.Codensity` to be of the form: + + ```hs + instance (f ~~ f', MonadFail f') => MonadFail (Codensity (f :: k -> TYPE rep)) + ``` + + This avoids having to constrain `k ~ Type` and `rep ~ LiftedRep`, which could potentially harm type inference. + * Explicitly implement `liftA2` in the `Applicative` instance for `Data.Functor.Day.Curried`. + * Add an `Adjunction` instance for `Data.Functor.Day`. + * Add `Adjunction` and `Divisible` instances for `Data.Functor.Contravariant.Day`. + * Add an `Apply` instance for `Data.Functor.Day.Curried`. + ------------------------------------------------------------------- Sat Sep 30 13:17:42 UTC 2023 - Peter Simons diff --git a/ghc-kan-extensions.spec b/ghc-kan-extensions.spec index 549528b..21aa014 100644 --- a/ghc-kan-extensions.spec +++ b/ghc-kan-extensions.spec @@ -1,7 +1,7 @@ # # spec file for package ghc-kan-extensions # -# Copyright (c) 2023 SUSE LLC +# Copyright (c) 2024 SUSE LLC # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -19,13 +19,12 @@ %global pkg_name kan-extensions %global pkgver %{pkg_name}-%{version} Name: ghc-%{pkg_name} -Version: 5.2.5 +Version: 5.2.6 Release: 0 Summary: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads License: BSD-3-Clause URL: https://hackage.haskell.org/package/%{pkg_name} Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz -Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/2.cabal#/%{pkg_name}.cabal BuildRequires: ghc-Cabal-devel BuildRequires: ghc-adjunctions-devel BuildRequires: ghc-adjunctions-prof @@ -54,8 +53,6 @@ BuildRequires: ghc-semigroupoids-devel BuildRequires: ghc-semigroupoids-prof BuildRequires: ghc-tagged-devel BuildRequires: ghc-tagged-prof -BuildRequires: ghc-transformers-compat-devel -BuildRequires: ghc-transformers-compat-prof BuildRequires: ghc-transformers-devel BuildRequires: ghc-transformers-prof ExcludeArch: %{ix86} @@ -92,7 +89,6 @@ This package provides the Haskell %{pkg_name} profiling library. %prep %autosetup -n %{pkg_name}-%{version} -cp -p %{SOURCE1} %{pkg_name}.cabal %build %ghc_lib_build diff --git a/kan-extensions-5.2.5.tar.gz b/kan-extensions-5.2.5.tar.gz deleted file mode 100644 index cac0330..0000000 --- a/kan-extensions-5.2.5.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:b914dccc040caf1d8764b99df1028dad3e4fdf46c262192e54b59c9da66ead22 -size 22205 diff --git a/kan-extensions-5.2.6.tar.gz b/kan-extensions-5.2.6.tar.gz new file mode 100644 index 0000000..fa5fff7 --- /dev/null +++ b/kan-extensions-5.2.6.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:fa82283c1c9ac3dc0951b7ca9f5b2e6f13d8331c20154ebb222b509824eeeccc +size 21718 diff --git a/kan-extensions.cabal b/kan-extensions.cabal deleted file mode 100644 index 935b6e7..0000000 --- a/kan-extensions.cabal +++ /dev/null @@ -1,102 +0,0 @@ -name: kan-extensions -category: Data Structures, Monads, Comonads, Functors -version: 5.2.5 -x-revision: 2 -license: BSD3 -cabal-version: >= 1.10 -license-file: LICENSE -author: Edward A. Kmett -maintainer: Edward A. Kmett -stability: provisional -homepage: http://github.com/ekmett/kan-extensions/ -bug-reports: http://github.com/ekmett/kan-extensions/issues -copyright: Copyright (C) 2008-2016 Edward A. Kmett -synopsis: Kan extensions, Kan lifts, the Yoneda lemma, and (co)density (co)monads -description: Kan extensions, Kan lifts, various forms of the Yoneda lemma, and (co)density (co)monads. -build-type: Simple -tested-with: GHC == 7.4.2 - , GHC == 7.6.3 - , GHC == 7.8.4 - , GHC == 7.10.3 - , GHC == 8.0.2 - , GHC == 8.2.2 - , GHC == 8.4.4 - , GHC == 8.6.5 - , GHC == 8.8.4 - , GHC == 8.10.7 - , GHC == 9.0.2 - , GHC == 9.2.2 - -extra-source-files: - .gitignore - .ghci - .vim.custom - CHANGELOG.markdown - README.markdown - include/kan-extensions-common.h - -source-repository head - type: git - location: git://github.com/ekmett/kan-extensions.git - -library - hs-source-dirs: src - include-dirs: include - includes: kan-extensions-common.h - - other-extensions: - CPP - MultiParamTypeClasses - GADTs - Rank2Types, - FlexibleInstances - FlexibleContexts - UndecidableInstances - TypeFamilies - - build-depends: - adjunctions >= 4.2 && < 5, - array >= 0.3.0.2 && < 0.6, - base >= 4.4 && < 5, - comonad >= 4 && < 6, - containers >= 0.4 && < 0.8, - contravariant >= 1 && < 2, - distributive >= 0.2.2 && < 1, - invariant >= 0.1 && < 1, - free >= 4 && < 6, - mtl >= 2.0.1 && < 2.4, - profunctors >= 5 && < 6, - semigroupoids >= 4 && < 7, - tagged >= 0.7.2 && < 1, - transformers >= 0.2 && < 0.7, - transformers-compat >= 0.3 && < 0.8 - - exposed-modules: - Control.Comonad.Density - Control.Monad.Co - Control.Monad.Codensity - Data.Functor.Contravariant.Day - Data.Functor.Contravariant.Yoneda - Data.Functor.Contravariant.Coyoneda - Data.Functor.Day - Data.Functor.Day.Curried - Data.Functor.Invariant.Day - Data.Functor.Kan.Lan - Data.Functor.Kan.Ran - Data.Functor.Yoneda - Data.Functor.Coyoneda - - ghc-options: -Wall - default-language: Haskell2010 - - if impl(ghc >= 7.10) - ghc-options: -fno-warn-trustworthy-safe - - -- See https://ghc.haskell.org/trac/ghc/wiki/Migration/8.0#base-4.9.0.0 - if impl(ghc >= 8.0) - ghc-options: -Wcompat -Wnoncanonical-monad-instances - - if !impl(ghc >= 8.8) - ghc-options: -Wnoncanonical-monadfail-instances - else - build-depends: fail >= 4.9 && < 5