cabal-version:       2.4

-- Initial package description 'funspection.cabal' generated by 'cabal
-- init'.  For further documentation, see
-- http://haskell.org/cabal/users-guide/

-- The name of the package.
name:                funspection

-- 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:             1.0.0.0

-- A short (one-line) description of the package.
synopsis:            Type-level function utilities

-- A longer description of the package.
description:         Type-level function utilities.

-- URL for the project homepage or repository.
homepage:            https://github.com/thomaseding/funspection

-- A URL where users can report bugs.
bug-reports:         https://github.com/thomaseding/funspection/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:              Thomas Eding

-- An email address to which users can send suggestions, bug reports, and
-- patches.
maintainer:          Thomas Eding

-- A copyright notice.
-- copyright:

category:            Type System

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


library
  -- Modules exported by the library.
  exposed-modules:     Type.Funspection, Type.Funspection.Decidable, Type.Funspection.Undecidable

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

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

  -- Other library packages from which modules are imported.
  build-depends:       base ^>=4.12.0.0

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

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