cabal-version:   3.4

-- 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 'htree' generated by
-- 'cabal init'. For further documentation, see:
--   http://haskell.org/cabal/users-guide/
--
-- The name of the package.
name:            htree
tested-with:     GHC ==9.2.8 || ==9.4.8 || ==9.6.4 || ==9.8.1

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

-- A short (one-line) description of the package.
-- synopsis:

-- A longer description of the package.
-- description:

-- The license under which the package is released.
license:         MIT

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

-- The package author(s).
author:          mangoiv

-- An email address to which users can send suggestions, bug reports, and patches.
maintainer:      mail@mangoiv.com

-- 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
synopsis:        An implemementation of a heterogeneous rosetree
description:
  This library implements a heterogeneous rose-tree (`HTree`) that is indexed by a type-level (homogeneous) rosetree (`TyTree`).
  It also offers some useful functions, highlights include:
  - searching in the tree and creating evidence on the term-level via typeclasses
  - record-dot syntax for accessing elements in the tree.
  - mapping and traversing trees
  - working with existentials

source-repository head
  type:     git
  location: https://git.sr.ht/~mangoiv/htree

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

common warnings-and-imports
  ghc-options:
    -Wall -fprint-explicit-kinds -fprint-explicit-foralls
    -Wno-unticked-promoted-constructors

  default-extensions:
    BlockArguments
    DataKinds
    DerivingStrategies
    FunctionalDependencies
    GADTs
    LambdaCase
    NoStarIsType
    OverloadedLists
    OverloadedStrings
    PatternSynonyms
    QuantifiedConstraints
    TypeFamilies
    ViewPatterns

  build-depends:      base >=4.16 && <5

library
  -- Import common warning flags.
  import:           warnings-and-imports

  -- Modules exported by the library.
  exposed-modules:
    Data.HTree
    Data.HTree.Constraint
    Data.HTree.Existential
    Data.HTree.Families
    Data.HTree.Labeled
    Data.HTree.List
    Data.HTree.Tree

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

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

  -- Other library packages from which modules are imported.
  -- Directories containing source files.
  hs-source-dirs:   src

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

test-suite htree-test
  -- Import common warning flags.
  import:           warnings-and-imports

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

  -- Modules included in this executable, other than Main.
  other-modules:
    Spec.HTree.Fixtures
    Spec.HTree.Fold
    Spec.HTree.Helpers
    Spec.HTree.Labeled
    Spec.HTree.Orphans
    Spec.HTree.TH
    Spec.HTree.Traverse

  -- 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:
    , containers
    , hspec
    , htree
    , QuickCheck
    , quickcheck-instances
    , syb
    , template-haskell
    , th-compat