From 6350cef8e4d18dfbfb73695bf14ea97649f03ee1 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Wed, 7 Jul 2021 23:49:54 +0800 Subject: [PATCH] add revision --- generics-sop-0.5.1.0.cabal | 146 +++++++++++++++++++++++++++++++++++++ ghc-generics-sop.spec | 2 + 2 files changed, 148 insertions(+) create mode 100644 generics-sop-0.5.1.0.cabal diff --git a/generics-sop-0.5.1.0.cabal b/generics-sop-0.5.1.0.cabal new file mode 100644 index 0000000..6f1d271 --- /dev/null +++ b/generics-sop-0.5.1.0.cabal @@ -0,0 +1,146 @@ +name: generics-sop +version: 0.5.1.0 +x-revision: 1 +synopsis: Generic Programming using True Sums of Products +description: + A library to support the definition of generic functions. + Datatypes are viewed in a uniform, structured way: + the choice between constructors is represented using an n-ary + sum, and the arguments of each constructor are represented using + an n-ary product. + . + The module "Generics.SOP" is the main module of this library and contains + more detailed documentation. + . + Since version 0.4.0.0, this package is now based on + @@. The core package + contains all the functionality of n-ary sums and products, whereas this + package provides the datatype-generic programming support on top. + . + Examples of using this library are provided by the following + packages: + . + * @@ basic examples, + . + * @@ generic pretty printing, + . + * @@ generically computed lenses, + . + * @@ generic JSON conversions. + . + A detailed description of the ideas behind this library is provided by + the paper: + . + * Edsko de Vries and Andres Löh. + . + Workshop on Generic Programming (WGP) 2014. + . +license: BSD3 +license-file: LICENSE +author: Edsko de Vries , Andres Löh +maintainer: andres@well-typed.com +category: Generics +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.2, GHC == 8.10.1 + +source-repository head + type: git + location: https://github.com/well-typed/generics-sop + +library + exposed-modules: Generics.SOP + Generics.SOP.GGP + Generics.SOP.TH + Generics.SOP.Type.Metadata + -- exposed via Generics.SOP: + Generics.SOP.Instances + Generics.SOP.Metadata + Generics.SOP.Universe + -- re-exported from Data.SOP: + Generics.SOP.Dict + Generics.SOP.BasicFunctors + Generics.SOP.Classes + Generics.SOP.Constraint + Generics.SOP.NP + Generics.SOP.NS + Generics.SOP.Sing + build-depends: base >= 4.9 && < 4.15, + sop-core == 0.5.0.*, + template-haskell >= 2.8 && < 2.17, + th-abstraction >= 0.3 && < 0.5, + ghc-prim >= 0.3 && < 0.7 + 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 + TemplateHaskell + StandaloneDeriving + EmptyCase + UndecidableSuperClasses + +test-suite generics-sop-examples + type: exitcode-stdio-1.0 + main-is: Example.hs + other-modules: HTransExample + hs-source-dirs: test + default-language: Haskell2010 + ghc-options: -Wall + build-depends: base >= 4.9 && < 5, + generics-sop + other-extensions: DeriveGeneric + EmptyCase + TemplateHaskell + ConstraintKinds + GADTs + DataKinds + TypeFamilies + FlexibleContexts + FlexibleInstances + PolyKinds + DefaultSignatures + FunctionalDependencies + MultiParamTypeClasses + TypeFamilies + +benchmark generics-sop-bench + type: exitcode-stdio-1.0 + main-is: SOPBench.hs + other-modules: SOPBench.Type + SOPBench.Roundtrip + SOPBench.Eq + SOPBench.Show + hs-source-dirs: bench + default-language: Haskell2010 + ghc-options: -Wall + build-depends: base >= 4.6 && < 5, + criterion, + deepseq, + generics-sop, + template-haskell diff --git a/ghc-generics-sop.spec b/ghc-generics-sop.spec index 9c66de4..cd45b9f 100644 --- a/ghc-generics-sop.spec +++ b/ghc-generics-sop.spec @@ -20,6 +20,7 @@ Url: https://hackage.haskell.org/package/%{pkg_name} # Begin cabal-rpm sources: Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz Source1: https://hackage.haskell.org/package/%{sopcore}/%{sopcore}.tar.gz +Source2: https://hackage.haskell.org/package/%{pkgver}/%{pkg_name}.cabal#/%{pkgver}.cabal # End cabal-rpm sources # Begin cabal-rpm deps: @@ -115,6 +116,7 @@ This package provides the Haskell %{pkg_name} profiling library. # Begin cabal-rpm setup: %setup -q -n %{pkgver} -a1 chmod a-x CHANGELOG.md +cp -bp %{SOURCE2} %{pkg_name}.cabal # End cabal-rpm setup