automatic import of ghc-sop-coreopeneuler23.09

4 files changed, 172 insertions, 0 deletions

diff --git a/.gitignore b/.gitignore
index e69de29..c9e16e3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/sop-core-0.5.0.2.tar.gz
diff --git a/ghc-sop-core.spec b/ghc-sop-core.spec
new file mode 100644
index 0000000..48b381f
--- /dev/null
+++ b/ghc-sop-core.spec
@@ -0,0 +1,90 @@
+%global pkg_name sop-core
+%global pkgver %{pkg_name}-%{version}
+
+Name:           ghc-%{pkg_name}
+Version:        0.5.0.2
+Release:        1
+Summary:        True Sums of Products
+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-base-devel
+BuildRequires:  ghc-base-prof
+BuildRequires:  ghc-deepseq-devel
+BuildRequires:  ghc-deepseq-prof
+BuildRequires:  ghc-rpm-macros
+ExcludeArch:    %{ix86}
+
+%description
+Implementation of n-ary sums and n-ary products.
+
+The module "Data.SOP" is the main module of this library and contains more
+detailed documentation.
+
+The main use case of this package is to serve as the core of
+'<https://hackage.haskell.org/package/generics-sop generics-sop>'.
+
+A detailed description of the ideas behind this library is provided by the
+paper:
+
+* Edsko de Vries and Andres Löh.
+<http://www.andres-loeh.de/TrueSumsOfProducts True Sums of Products>.
+Workshop on Generic Programming (WGP) 2014.
+
+%package devel
+Summary:        Haskell %{pkg_name} library development files
+Requires:       %{name} = %{version}-%{release}
+Requires:       ghc-compiler = %{ghc_version}
+Requires(post): ghc-compiler = %{ghc_version}
+Requires(postun): ghc-compiler = %{ghc_version}
+
+%description devel
+This package provides the Haskell %{pkg_name} library development files.
+
+%package -n ghc-%{pkg_name}-help
+Summary:        Haskell %{pkg_name} library documentation
+BuildArch:      noarch
+
+%description -n ghc-%{pkg_name}-help
+This package provides the Haskell %{pkg_name} library documentation.
+
+%package -n ghc-%{pkg_name}-prof
+Summary:        Haskell %{pkg_name} profiling library
+Requires:       ghc-%{pkg_name}-devel = %{version}-%{release}
+Supplements:    (ghc-%{pkg_name}-devel and ghc-prof)
+
+%description -n ghc-%{pkg_name}-prof
+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
+
+%install
+%ghc_lib_install
+
+%post devel
+%ghc_pkg_recache
+
+%postun devel
+%ghc_pkg_recache
+
+%files -f %{name}.files
+%license LICENSE
+
+%files devel -f %{name}-devel.files
+%doc CHANGELOG.md doctest.sh
+
+%files -n ghc-%{pkg_name}-help -f ghc-%{pkg_name}-help.files
+%license LICENSE
+
+%files -n ghc-%{pkg_name}-prof -f ghc-%{pkg_name}-prof.files
+
+%changelog
+* Thu Sep 28 2023 Lin Runze <lrzlin@163.com> 0.5.0.2-1
+- Initial packaging (Version 0.5.0.2)
diff --git a/sop-core.cabal b/sop-core.cabal
new file mode 100755
index 0000000..00c460b
--- /dev/null
+++ b/sop-core.cabal
@@ -0,0 +1,80 @@
+name:                sop-core
+x-revision:          2
+version:             0.5.0.2
+synopsis:            True Sums of Products
+description:
+  Implementation of n-ary sums and n-ary products.
+  .
+  The module "Data.SOP" is the main module of this library and contains
+  more detailed documentation.
+  .
+  The main use case of this package is to serve as the core of
+  @<https://hackage.haskell.org/package/generics-sop generics-sop>@.
+  .
+  A detailed description of the ideas behind this library is provided by
+  the paper:
+  .
+    * Edsko de Vries and Andres Löh.
+      <http://www.andres-loeh.de/TrueSumsOfProducts True Sums of Products>.
+      Workshop on Generic Programming (WGP) 2014.
+  .
+license:             BSD3
+license-file:        LICENSE
+author:              Edsko de Vries <edsko@well-typed.com>, Andres Löh <andres@well-typed.com>
+maintainer:          andres@well-typed.com
+category:            Data
+build-type:          Simple
+cabal-version:       >=1.10
+extra-source-files:  CHANGELOG.md doctest.sh
+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.7, GHC == 9.4.4, GHC == 9.6.1
+
+source-repository head
+  type:                git
+  location:            https://github.com/well-typed/generics-sop
+
+library
+  exposed-modules:     Data.SOP
+                       Data.SOP.Dict
+                       -- exposed via Data.SOP:
+                       Data.SOP.BasicFunctors
+                       Data.SOP.Classes
+                       Data.SOP.Constraint
+                       Data.SOP.NP
+                       Data.SOP.NS
+                       Data.SOP.Sing
+  build-depends:       base                 >= 4.9  && < 4.19,
+                       deepseq              >= 1.3  && < 1.5
+  hs-source-dirs:      src
+  default-language:    Haskell2010
+  ghc-options:         -Wall
+  default-extensions:  CPP
+                       ScopedTypeVariables
+                       TypeFamilies
+                       RankNTypes
+                       TypeOperators
+                       GADTs
+                       ConstraintKinds
+                       MultiParamTypeClasses
+                       TypeSynonymInstances
+                       FlexibleInstances
+                       FlexibleContexts
+                       DeriveFunctor
+                       DeriveFoldable
+                       DeriveTraversable
+                       DefaultSignatures
+                       KindSignatures
+                       DataKinds
+                       FunctionalDependencies
+
+  if impl(ghc <8.2)
+    default-extensions: AutoDeriveTypeable
+
+  -- if impl(ghc >= 8.6)
+  --   default-extensions: NoStarIsType
+  other-extensions:    PolyKinds
+                       UndecidableInstances
+                       DeriveGeneric
+                       StandaloneDeriving
+                       EmptyCase
+                       UndecidableSuperClasses
+                       BangPatterns
diff --git a/sources b/sources
new file mode 100644
index 0000000..7f7b4a9
--- /dev/null
+++ b/sources
@@ -0,0 +1 @@
+b462dfbe35929099af78707209c95f10  sop-core-0.5.0.2.tar.gz