-- Initial AspectAG.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

-- The name of the package.
name:                AspectAG

-- The package version.  See the Haskell package versioning policy (PVP)
-- for standards guiding when and how versions should be incremented.
-- https://wiki.haskell.org/Package_versioning_policy
-- PVP summary:      +-+------- breaking API changes
--                   | | +----- non-breaking API additions
--                   | | | +--- code changes with no API change
version:             0.7.0.1

-- A short (one-line) description of the package.
synopsis:            Strongly typed Attribute Grammars implemented using type-level programming.

-- A longer description of the package.
description: An EDSL implementing strongly typed -and strongly kinded!- attribute grammars
             implemented using type-level programming. We make an effort to encode precise EDSL
             type errors.

-- URL for the project homepage or repository.
homepage:            www.fing.edu.uy/~jpgarcia/AspectAG

-- The license under which the package is released.
license:             GPL-3

-- The file containing the license text.
license-file:        LICENSE

-- The package author(s).
author:              Juan García Garland, Marcos Viera

-- An email address to which users can send suggestions, bug reports, and
-- patches.
maintainer:          jpgarcia@fing.edu.uy

category:            Language, Aspect Oriented Programming, 

build-type:          Simple

-- Extra files to be distributed with the package, such as examples or a
-- README.
extra-source-files:  ChangeLog.md,
                     LICENSE



--source-repository:
--    type: git
--    location: https://gitlab.fing.edu.uy/jpgarcia/attribute-grammars

-- Constraint on the version of Cabal needed to build this package.
cabal-version:       >=1.10


library
  -- Modules exported by the library.
  exposed-modules:     Language.Grammars.AspectAG,
                       Language.Grammars.AspectAG.TH,
                       Language.Grammars.AspectAG.THGen,
                       Language.Grammars.AspectAG.HList,
                       Language.Grammars.AspectAG.RecordInstances

-- LANGUAGE extensions used by modules in this package.
  other-extensions:    TypeInType,
                       TypeFamilies,
                       FlexibleContexts,
                       ScopedTypeVariables,
                       NoMonomorphismRestriction,
                       AllowAmbiguousTypes,
                       ImplicitParams,
                       ExtendedDefaultRules,
                       UnicodeSyntax,
                       DataKinds,
                       GADTs,
                       KindSignatures,
                       TypeOperators,
                       MultiParamTypeClasses,
                       FlexibleInstances,
                       StandaloneDeriving,
                       UndecidableInstances,
                       FunctionalDependencies,
                       ConstraintKinds,
                       PolyKinds,
                       RankNTypes,
                       InstanceSigs

  -- Other library packages from which modules are imported.
  build-depends:       base >=4.11 && <4.18,
                       containers,
                       ghc-prim,
                       mtl >= 2.0,
                       poly-rec >=0.7.0 && <0.7.1,
                       requirements >=0.7.0 && <0.7.1,
                       template-haskell >= 2.13,
                       loch-th
 

  -- Directories containing source files.
  hs-source-dirs:      src

  -- Base language which the package is written in.
  default-language:    Haskell2010

-- Test-Suite test-Repmin
--     type:             exitcode-stdio-1.0
--     main-is:          test/Repmin.hs
--     build-depends:    base >=4.11 && <4.12,
--                       tagged >=0.8 && <0.9,
--                       AspectAG >= 0.4,
--                       QuickCheck
--     default-language: Haskell2010

-- Test-Suite test-Repmin-TH
--     type:             exitcode-stdio-1.0
--     main-is:          test/RepminTH.hs
--     build-depends:    base >=4.11 && <4.12,
--                       tagged >=0.8 && <0.9,
--                       AspectAG >= 0.4,
--                       QuickCheck
--     default-language: Haskell2010
    
-- Test-Suite test-Arith
--     type:             exitcode-stdio-1.0
--     main-is:          test/Arith.hs
--     build-depends:    base >=4.11 && <4.12,
--                       containers >= 0.5,
--                       tagged >=0.8 && <0.9,
--                       AspectAG >= 0.4,
--                       QuickCheck
--     default-language: Haskell2010

-- Test-Suite test-Graphs
--     type:             exitcode-stdio-1.0
--     main-is:          test/Graphs.hs
--     build-depends:    base >=4.11 && <4.12,
--                       tagged >=0.8 && <0.9,
--                       AspectAG >= 0.4,
--                       containers >= 0.5,
--                       QuickCheck
--     default-language: Haskell2010