pool/ghc-free
SHA256
11
0
Fork 2
Code Issues Pull Requests Activity

osc copypac from project:devel:languages:haskell:ghc-9.6.x package:ghc-free revision:8, using keep-link

Browse Source 
OBS-URL: https://build.opensuse.org/package/show/devel:languages:haskell/ghc-free?expand=0&rev=76
This commit is contained in:
Peter Simons
2023-11-22 09:17:20 +00:00
committed by Git OBS Bridge
parent 3d1e2050ef
commit 2c0d28eaa6
2 changed files with 127 additions and 132 deletions
Download Patch File Download Diff File Expand all files Collapse all files

254
free.cabal
View File

@@ -1,127 +1,127 @@
name: free name: free
category: Control, Monads category: Control, Monads
version: 5.2 version: 5.2
x-revision: 3 x-revision: 3
license: BSD3 license: BSD3
cabal-version: 1.18 cabal-version: 1.18
license-file: LICENSE license-file: LICENSE
author: Edward A. Kmett author: Edward A. Kmett
maintainer: Edward A. Kmett <ekmett@gmail.com> maintainer: Edward A. Kmett <ekmett@gmail.com>
stability: provisional stability: provisional
homepage: http://github.com/ekmett/free/ homepage: http://github.com/ekmett/free/
bug-reports: http://github.com/ekmett/free/issues bug-reports: http://github.com/ekmett/free/issues
copyright: Copyright (C) 2008-2015 Edward A. Kmett copyright: Copyright (C) 2008-2015 Edward A. Kmett
tested-with: GHC == 8.0.2 tested-with: GHC == 8.0.2
, GHC == 8.2.2 , GHC == 8.2.2
, GHC == 8.4.4 , GHC == 8.4.4
, GHC == 8.6.5 , GHC == 8.6.5
, GHC == 8.8.4 , GHC == 8.8.4
, GHC == 8.10.7 , GHC == 8.10.7
, GHC == 9.0.2 , GHC == 9.0.2
, GHC == 9.2.6 , GHC == 9.2.6
, GHC == 9.4.4 , GHC == 9.4.4
, GHC == 9.6.1 , GHC == 9.6.1
synopsis: Monads for free synopsis: Monads for free
description: description:
Free monads are useful for many tree-like structures and domain specific languages. 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 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 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\" is used in the sense of \"unrestricted\" rather than \"zero-cost\":
@Free f@ makes no constraining assumptions beyond those given by @f@ and the @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 definition of 'Monad'. As used here it is a standard term from the
mathematical theory of adjoint functors. mathematical theory of adjoint functors.
. .
Cofree comonads are dual to free monads. They provide convenient ways to talk 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 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' trees. The cofree comonad can be seen as a stream parameterized by a 'Functor'
that controls its branching factor. that controls its branching factor.
. .
More information on free monads, including examples, can be found in the More information on free monads, including examples, can be found in the
following blog posts: following blog posts:
<https://ekmett.github.io/reader/2008/monads-for-free/> <https://ekmett.github.io/reader/2008/monads-for-free/>
<https://ekmett.github.io/reader/2011/free-monads-for-less/> <https://ekmett.github.io/reader/2011/free-monads-for-less/>
build-type: Simple build-type: Simple
extra-source-files: extra-source-files:
.gitignore .gitignore
.hlint.yaml .hlint.yaml
.vim.custom .vim.custom
README.markdown README.markdown
CHANGELOG.markdown CHANGELOG.markdown
doc/proof/Control/Comonad/Cofree/*.md doc/proof/Control/Comonad/Cofree/*.md
doc/proof/Control/Comonad/Trans/Cofree/*.md doc/proof/Control/Comonad/Trans/Cofree/*.md
examples/free-examples.cabal examples/free-examples.cabal
examples/LICENSE examples/LICENSE
examples/*.hs examples/*.hs
examples/*.lhs examples/*.lhs
extra-doc-files: extra-doc-files:
examples/*.hs examples/*.hs
examples/*.lhs examples/*.lhs
source-repository head source-repository head
type: git type: git
location: git://github.com/ekmett/free.git location: git://github.com/ekmett/free.git
library library
hs-source-dirs: src hs-source-dirs: src
default-language: Haskell2010 default-language: Haskell2010
other-extensions: other-extensions:
MultiParamTypeClasses MultiParamTypeClasses
FunctionalDependencies FunctionalDependencies
FlexibleInstances FlexibleInstances
UndecidableInstances UndecidableInstances
Rank2Types Rank2Types
GADTs GADTs
build-depends: build-depends:
base >= 4.9 && < 5, base >= 4.9 && < 5,
comonad >= 5.0.8 && < 6, comonad >= 5.0.8 && < 6,
containers >= 0.5.7.1 && < 0.8, containers >= 0.5.7.1 && < 0.8,
distributive >= 0.5.2 && < 1, distributive >= 0.5.2 && < 1,
exceptions >= 0.10.4 && < 0.11, exceptions >= 0.10.4 && < 0.11,
indexed-traversable >= 0.1.1 && < 0.2, indexed-traversable >= 0.1.1 && < 0.2,
mtl >= 2.2.2 && < 2.4, mtl >= 2.2.2 && < 2.4,
profunctors >= 5.6.1 && < 6, profunctors >= 5.6.1 && < 6,
semigroupoids >= 5.3.5 && < 7, semigroupoids >= 5.3.5 && < 7,
th-abstraction >= 0.4.2.0 && < 0.7, th-abstraction >= 0.4.2.0 && < 0.7,
transformers >= 0.5 && < 0.7, transformers >= 0.5 && < 0.7,
transformers-base >= 0.4.5.2 && < 0.5, transformers-base >= 0.4.5.2 && < 0.5,
template-haskell >= 2.11 && < 2.22 template-haskell >= 2.11 && < 2.22
if !impl(ghc >= 8.2) if !impl(ghc >= 8.2)
build-depends: bifunctor-classes-compat >= 0.1 && < 0.2 build-depends: bifunctor-classes-compat >= 0.1 && < 0.2
exposed-modules: exposed-modules:
Control.Applicative.Free Control.Applicative.Free
Control.Applicative.Free.Fast Control.Applicative.Free.Fast
Control.Applicative.Free.Final Control.Applicative.Free.Final
Control.Applicative.Trans.Free Control.Applicative.Trans.Free
Control.Alternative.Free Control.Alternative.Free
Control.Alternative.Free.Final Control.Alternative.Free.Final
Control.Comonad.Cofree Control.Comonad.Cofree
Control.Comonad.Cofree.Class Control.Comonad.Cofree.Class
Control.Comonad.Trans.Cofree Control.Comonad.Trans.Cofree
Control.Comonad.Trans.Coiter Control.Comonad.Trans.Coiter
Control.Monad.Free Control.Monad.Free
Control.Monad.Free.Ap Control.Monad.Free.Ap
Control.Monad.Free.Church Control.Monad.Free.Church
Control.Monad.Free.Class Control.Monad.Free.Class
Control.Monad.Free.TH Control.Monad.Free.TH
Control.Monad.Trans.Free Control.Monad.Trans.Free
Control.Monad.Trans.Free.Ap Control.Monad.Trans.Free.Ap
Control.Monad.Trans.Free.Church Control.Monad.Trans.Free.Church
Control.Monad.Trans.Iter Control.Monad.Trans.Iter
ghc-options: -Wall -Wcompat -Wnoncanonical-monad-instances ghc-options: -Wall -Wcompat -Wnoncanonical-monad-instances
if !impl(ghc >= 8.8) if !impl(ghc >= 8.8)
ghc-options: -Wnoncanonical-monadfail-instances ghc-options: -Wnoncanonical-monadfail-instances
if impl(ghc >= 9.0) if impl(ghc >= 9.0)
-- these flags may abort compilation with GHC-8.10 -- these flags may abort compilation with GHC-8.10
-- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295 -- https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3295
ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode ghc-options: -Winferred-safe-imports -Wmissing-safe-haskell-mode
x-docspec-extra-packages: tagged x-docspec-extra-packages: tagged

5
ghc-free.changes
View File

@@ -1,8 +1,3 @@
-------------------------------------------------------------------
Thu Nov 16 13:26:22 UTC 2023 - Peter Simons <psimons@suse.com>
- Strip CRLF line endings from the bundled Cabal file.
------------------------------------------------------------------- -------------------------------------------------------------------
Sat Sep 30 13:05:47 UTC 2023 - Peter Simons <psimons@suse.com> Sat Sep 30 13:05:47 UTC 2023 - Peter Simons <psimons@suse.com>