cabal-version:   3.0

-- The cabal-version field refers to the version of the .cabal specification,
-- and can be different from the cabal-install (the tool) version and the
-- Cabal (the library) version you are using. As such, the Cabal (the library)
-- version used must be equal or greater than the version stated in this field.
-- Starting from the specification version 2.2, the cabal-version field must be
-- the first thing in the cabal file.

-- Initial package description 'polytyped' generated by
-- 'cabal init'. For further documentation, see:
--   http://haskell.org/cabal/users-guide/
--
-- The name of the package.
name:            polytyped

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

-- A short (one-line) description of the package.
synopsis:        Alternative to `Dynamic` with type guarantees

-- A longer description of the package.
description:
  With `Dynamic` you can store a value of any type in the same container,
  but you have to track manually what kind of types can possibly be inside.
  `Poly` carries this information in a type level list, so you can be sure that
  it's container contains a value of one of those types.

homepage:        https://github.com/zlondrej/polytyped
bug-reports:     https://github.com/zlondrej/polytyped/issues

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

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

-- The package author(s).
author:          Ondřej Janošík

-- An email address to which users can send suggestions, bug reports, and patches.
maintainer:      j.ondra14@gmail.com
tested-with:     GHC ==9.4.8 || ==9.6.7 || ==9.8.4 || ==9.10.2 || ==9.12.2

-- A copyright notice.
-- copyright:
category:        Data
build-type:      Simple

-- Extra doc files to be distributed with the package, such as a CHANGELOG or a README.
extra-doc-files:
  CHANGELOG.md
  README.md

-- Extra source files to be distributed with the package, such as examples, or a tutorial module.
-- extra-source-files:

common warnings
  ghc-options: -Wall

library
  -- Import common warning flags.
  import:             warnings

  -- Modules exported by the library.
  exposed-modules:
    Data.Polytyped
    Data.Polytyped.Internal
    Data.Polytyped.TypeLevel

  -- Modules included in this library but not exported.
  -- other-modules:

  -- LANGUAGE extensions enabled by default.
  default-extensions:
    DerivingStrategies
    ImportQualifiedPost
    LambdaCase

  -- LANGUAGE extensions used by modules in this package.
  other-extensions:
    AllowAmbiguousTypes
    ConstraintKinds
    DataKinds
    FlexibleContexts
    FlexibleInstances
    GADTs
    MultiParamTypeClasses
    ScopedTypeVariables
    TypeApplications
    TypeFamilies
    TypeOperators
    UndecidableInstances

  -- Other library packages from which modules are imported.
  build-depends:      base >=4.17 && <4.22

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

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

test-suite polytyped-test
  -- Import common warning flags.
  import:             warnings

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

  -- Modules included in this executable, other than Main.
  -- other-modules:

  -- LANGUAGE extensions enabled by default.
  default-extensions:
    DerivingStrategies
    ImportQualifiedPost
    LambdaCase

  -- LANGUAGE extensions used by modules in this package.
  -- other-extensions:

  -- The interface type and version of the test suite.
  type:               exitcode-stdio-1.0

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

  -- The entrypoint to the test suite.
  main-is:            Main.hs

  -- Test dependencies.
  build-depends:
    , base
    , polytyped
    , QuickCheck
    , tasty
    , tasty-hunit
    , tasty-quickcheck