Cabal revisions of generics-sop-0.5.1.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: generics-sop-version: 0.5.1.0-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.4,- 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+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