diff --git a/free-5.1.10.tar.gz b/free-5.1.10.tar.gz deleted file mode 100644 index 800e2e0..0000000 --- a/free-5.1.10.tar.gz +++ /dev/null @@ -1,3 +0,0 @@ -version https://git-lfs.github.com/spec/v1 -oid sha256:12dea4ff94dd475d4249e93abb385d9c0399c13e3cb3f4132d316e0b32700e72 -size 62439 diff --git a/free-5.2.tar.gz b/free-5.2.tar.gz new file mode 100644 index 0000000..5194edd --- /dev/null +++ b/free-5.2.tar.gz @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:72867f7c89173263765736e8d395e94291f1aaea626ecb1d673d72ce90b94f89 +size 58781 diff --git a/free.cabal b/free.cabal index fc7a5ab..e507230 100644 --- a/free.cabal +++ b/free.cabal @@ -1,167 +1,127 @@ -name: free -category: Control, Monads -version: 5.1.10 -x-revision: 2 -license: BSD3 -cabal-version: 1.18 -license-file: LICENSE -author: Edward A. Kmett -maintainer: Edward A. Kmett -stability: provisional -homepage: http://github.com/ekmett/free/ -bug-reports: http://github.com/ekmett/free/issues -copyright: Copyright (C) 2008-2015 Edward A. Kmett -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 -synopsis: Monads for free -description: - Free monads are useful for many tree-like structures and domain specific languages. - . - If @f@ is a 'Functor' then the free 'Monad' on @f@ is the type - of trees whose nodes are labeled with the constructors of @f@. The word - \"free\" is used in the sense of \"unrestricted\" rather than \"zero-cost\": - @Free f@ makes no constraining assumptions beyond those given by @f@ and the - definition of 'Monad'. As used here it is a standard term from the - mathematical theory of adjoint functors. - . - Cofree comonads are dual to free monads. They provide convenient ways to talk - about branching streams and rose-trees, and can be used to annotate syntax - trees. The cofree comonad can be seen as a stream parameterized by a 'Functor' - that controls its branching factor. - . - More information on free monads, including examples, can be found in the - following blog posts: - - - -build-type: Simple -extra-source-files: - .ghci - .gitignore - .hlint.yaml - .vim.custom - README.markdown - CHANGELOG.markdown - doc/proof/Control/Comonad/Cofree/*.md - doc/proof/Control/Comonad/Trans/Cofree/*.md - examples/free-examples.cabal - examples/LICENSE - examples/*.hs - examples/*.lhs - include/free-common.h -extra-doc-files: - examples/*.hs - examples/*.lhs - -source-repository head - type: git - location: git://github.com/ekmett/free.git - -library - hs-source-dirs: src - include-dirs: include - includes: free-common.h - - default-language: Haskell2010 - default-extensions: CPP - other-extensions: - MultiParamTypeClasses - FunctionalDependencies - FlexibleInstances - UndecidableInstances - Rank2Types - GADTs - - build-depends: - base >= 4.5 && < 5, - comonad >= 5.0.8 && < 6, - containers >= 0.3 && < 0.7, - distributive >= 0.5.2 && < 1, - exceptions >= 0.10.4 && < 0.11, - indexed-traversable >= 0.1.1 && < 0.2, - semigroupoids >= 5.3.5 && < 7, - th-abstraction >= 0.4.2.0 && < 0.6, - transformers >= 0.3 && < 0.7, - transformers-base >= 0.4.5.2 && < 0.5, - template-haskell >= 2.7.0.0 && < 2.21 - - -- GHC-7.8 bundles transformers-0.3, - -- mtl-2.2.* requires transformers >=0.4 - if impl(ghc >=7.10) - build-depends: - mtl >= 2.2.2 && < 2.4 - else - build-depends: - mtl >= 2.1.3.1 && < 2.4 - - -- recent profunctors dropped support for GHCs older than 7.8 - if impl(ghc >=7.8) - build-depends: - profunctors >= 5.6.1 && < 6 - else - build-depends: - profunctors >= 5.2.2 && < 5.3 - - if !impl(ghc >= 8.2) - build-depends: bifunctors >= 5.5.9 && < 6 - - if !impl(ghc >= 8.0) - build-depends: semigroups >= 0.18.5 && < 1 - - -- Ensure Data.Functor.Classes is always available - if impl(ghc >= 7.10) - build-depends: transformers >= 0.4.2.0 - else - build-depends: transformers-compat >= 0.5.1.0 && <0.8 - - exposed-modules: - Control.Applicative.Free - Control.Applicative.Free.Fast - Control.Applicative.Free.Final - Control.Applicative.Trans.Free - Control.Alternative.Free - Control.Alternative.Free.Final - Control.Comonad.Cofree - Control.Comonad.Cofree.Class - Control.Comonad.Trans.Cofree - Control.Comonad.Trans.Coiter - Control.Monad.Free - Control.Monad.Free.Ap - Control.Monad.Free.Church - Control.Monad.Free.Class - Control.Monad.Free.TH - Control.Monad.Trans.Free - Control.Monad.Trans.Free.Ap - Control.Monad.Trans.Free.Church - Control.Monad.Trans.Iter - - other-modules: - Data.Functor.Classes.Compat - - ghc-options: -Wall - - -- 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.* - - if impl(ghc >= 9.0) - -- these flags may abort compilation with GHC-8.10 - -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295 - ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode - - x-docspec-extra-packages: tagged +name: free +category: Control, Monads +version: 5.2 +x-revision: 3 +license: BSD3 +cabal-version: 1.18 +license-file: LICENSE +author: Edward A. Kmett +maintainer: Edward A. Kmett +stability: provisional +homepage: http://github.com/ekmett/free/ +bug-reports: http://github.com/ekmett/free/issues +copyright: Copyright (C) 2008-2015 Edward A. Kmett +tested-with: 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.6 + , GHC == 9.4.4 + , GHC == 9.6.1 +synopsis: Monads for free +description: + Free monads are useful for many tree-like structures and domain specific languages. + . + If @f@ is a 'Functor' then the free 'Monad' on @f@ is the type + of trees whose nodes are labeled with the constructors of @f@. The word + \"free\" is used in the sense of \"unrestricted\" rather than \"zero-cost\": + @Free f@ makes no constraining assumptions beyond those given by @f@ and the + definition of 'Monad'. As used here it is a standard term from the + mathematical theory of adjoint functors. + . + Cofree comonads are dual to free monads. They provide convenient ways to talk + about branching streams and rose-trees, and can be used to annotate syntax + trees. The cofree comonad can be seen as a stream parameterized by a 'Functor' + that controls its branching factor. + . + More information on free monads, including examples, can be found in the + following blog posts: + + + +build-type: Simple +extra-source-files: + .gitignore + .hlint.yaml + .vim.custom + README.markdown + CHANGELOG.markdown + doc/proof/Control/Comonad/Cofree/*.md + doc/proof/Control/Comonad/Trans/Cofree/*.md + examples/free-examples.cabal + examples/LICENSE + examples/*.hs + examples/*.lhs +extra-doc-files: + examples/*.hs + examples/*.lhs + +source-repository head + type: git + location: git://github.com/ekmett/free.git + +library + hs-source-dirs: src + + default-language: Haskell2010 + other-extensions: + MultiParamTypeClasses + FunctionalDependencies + FlexibleInstances + UndecidableInstances + Rank2Types + GADTs + + build-depends: + base >= 4.9 && < 5, + comonad >= 5.0.8 && < 6, + containers >= 0.5.7.1 && < 0.8, + distributive >= 0.5.2 && < 1, + exceptions >= 0.10.4 && < 0.11, + indexed-traversable >= 0.1.1 && < 0.2, + mtl >= 2.2.2 && < 2.4, + profunctors >= 5.6.1 && < 6, + semigroupoids >= 5.3.5 && < 7, + th-abstraction >= 0.4.2.0 && < 0.7, + transformers >= 0.5 && < 0.7, + transformers-base >= 0.4.5.2 && < 0.5, + template-haskell >= 2.11 && < 2.22 + + if !impl(ghc >= 8.2) + build-depends: bifunctor-classes-compat >= 0.1 && < 0.2 + + exposed-modules: + Control.Applicative.Free + Control.Applicative.Free.Fast + Control.Applicative.Free.Final + Control.Applicative.Trans.Free + Control.Alternative.Free + Control.Alternative.Free.Final + Control.Comonad.Cofree + Control.Comonad.Cofree.Class + Control.Comonad.Trans.Cofree + Control.Comonad.Trans.Coiter + Control.Monad.Free + Control.Monad.Free.Ap + Control.Monad.Free.Church + Control.Monad.Free.Class + Control.Monad.Free.TH + Control.Monad.Trans.Free + Control.Monad.Trans.Free.Ap + Control.Monad.Trans.Free.Church + Control.Monad.Trans.Iter + + ghc-options: -Wall -Wcompat -Wnoncanonical-monad-instances + + if !impl(ghc >= 8.8) + ghc-options: -Wnoncanonical-monadfail-instances + + if impl(ghc >= 9.0) + -- these flags may abort compilation with GHC-8.10 + -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295 + ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode + + x-docspec-extra-packages: tagged diff --git a/ghc-free.changes b/ghc-free.changes index 7242f80..7f6de72 100644 --- a/ghc-free.changes +++ b/ghc-free.changes @@ -1,3 +1,17 @@ +------------------------------------------------------------------- +Sat Sep 30 13:05:47 UTC 2023 - Peter Simons + +- Update free to version 5.2 revision 3. + 5.2 [2023.03.12] + ---------------- + * Drop support for GHC 7.10 and earlier. + * Drop redundant `Monad` constraints on many functions and instances. These + constraints were only present for compatibility with pre-7.10 versions of + GHC, which `free` no longer supports. + * Add `Eq`, `Eq1`, `Ord`, `Ord1`, and `Foldable` instances for `Ap` in + `Control.Applicative.Free`. + * Switch out `bifunctors` dependency for `bifunctor-classes-compat`. + ------------------------------------------------------------------- Thu Mar 30 17:06:49 UTC 2023 - Peter Simons diff --git a/ghc-free.spec b/ghc-free.spec index 1667fbc..9229454 100644 --- a/ghc-free.spec +++ b/ghc-free.spec @@ -19,13 +19,13 @@ %global pkg_name free %global pkgver %{pkg_name}-%{version} Name: ghc-%{pkg_name} -Version: 5.1.10 +Version: 5.2 Release: 0 Summary: Monads for free 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 +Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/3.cabal#/%{pkg_name}.cabal BuildRequires: ghc-Cabal-devel BuildRequires: ghc-base-devel BuildRequires: ghc-base-prof @@ -73,8 +73,8 @@ trees. The cofree comonad can be seen as a stream parameterized by a 'Functor' that controls its branching factor. More information on free monads, including examples, can be found in the -following blog posts: -. +following blog posts: +. %package devel Summary: Haskell %{pkg_name} library development files