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 @@. 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.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