add revision
This commit is contained in:
parent
473cb65857
commit
6350cef8e4
146
generics-sop-0.5.1.0.cabal
Normal file
146
generics-sop-0.5.1.0.cabal
Normal file
@ -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
|
||||||
|
@<https://hackage.haskell.org/package/sop-core sop-core>@. 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:
|
||||||
|
.
|
||||||
|
* @<https://hackage.haskell.org/package/basic-sop basic-sop>@ basic examples,
|
||||||
|
.
|
||||||
|
* @<https://hackage.haskell.org/package/pretty-sop pretty-sop>@ generic pretty printing,
|
||||||
|
.
|
||||||
|
* @<https://hackage.haskell.org/package/lens-sop lens-sop>@ generically computed lenses,
|
||||||
|
.
|
||||||
|
* @<https://hackage.haskell.org/package/json-sop json-sop>@ generic JSON conversions.
|
||||||
|
.
|
||||||
|
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: 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
|
@ -20,6 +20,7 @@ Url: https://hackage.haskell.org/package/%{pkg_name}
|
|||||||
# Begin cabal-rpm sources:
|
# Begin cabal-rpm sources:
|
||||||
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
Source0: https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
|
||||||
Source1: https://hackage.haskell.org/package/%{sopcore}/%{sopcore}.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
|
# End cabal-rpm sources
|
||||||
|
|
||||||
# Begin cabal-rpm deps:
|
# Begin cabal-rpm deps:
|
||||||
@ -115,6 +116,7 @@ This package provides the Haskell %{pkg_name} profiling library.
|
|||||||
# Begin cabal-rpm setup:
|
# Begin cabal-rpm setup:
|
||||||
%setup -q -n %{pkgver} -a1
|
%setup -q -n %{pkgver} -a1
|
||||||
chmod a-x CHANGELOG.md
|
chmod a-x CHANGELOG.md
|
||||||
|
cp -bp %{SOURCE2} %{pkg_name}.cabal
|
||||||
# End cabal-rpm setup
|
# End cabal-rpm setup
|
||||||
|
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user