cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.35.2.
--
-- see: https://github.com/sol/hpack
--
-- hash: 577fff015a41b96b344a0a7a41284117ea91e94d37c79e486db43bee07113db1

name:           subcategories
version:        0.2.1.0
synopsis:       Subcategories induced by class constraints
description:    Please see the README on GitHub at <https://github.com/konn/subcategories#readme>
category:       Data
homepage:       https://github.com/konn/subcategories#readme
bug-reports:    https://github.com/konn/subcategories/issues
author:         Hiromi ISHII
maintainer:     konn.jinro _at_ gmail.com
copyright:      2023 (c) Hiromi ISHII
license:        BSD3
license-file:   LICENSE
tested-with:
    GHC ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.3 || ==9.8.1

build-type:     Simple
extra-source-files:
    README.md
    ChangeLog.md

source-repository head
  type: git
  location: https://github.com/konn/subcategories

library
  exposed-modules:
      Control.Subcategory
      Control.Subcategory.Alternative
      Control.Subcategory.Alternative.Class
      Control.Subcategory.Applicative
      Control.Subcategory.Applicative.Class
      Control.Subcategory.Bind
      Control.Subcategory.Foldable
      Control.Subcategory.Functor
      Control.Subcategory.Pointed
      Control.Subcategory.RebindableSyntax
      Control.Subcategory.Semialign
      Control.Subcategory.Zip
  other-modules:
      Control.Subcategory.Wrapper.Internal
  hs-source-dirs:
      src
  default-extensions:
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DerivingStrategies
      FlexibleContexts
      FlexibleInstances
      GADTs
      GeneralizedNewtypeDeriving
      InstanceSigs
      KindSignatures
      MultiParamTypeClasses
      PolyKinds
      ScopedTypeVariables
      TypeApplications
      TypeFamilies
      UndecidableInstances
  ghc-options: -Wall
  build-depends:
      base >=4.7 && <5
    , containers
    , data-default
    , foldl
    , hashable
    , mono-traversable
    , pointed
    , primitive
    , reflection
    , semialign
    , template-haskell
    , text
    , these
    , unordered-containers
    , vector
    , vector-algorithms
    , vector-builder
  default-language: Haskell2010
  if impl(ghc >= 9.2.4)
    cpp-options: -DDEEP_SUBSUMPTION

test-suite subcategories-test
  type: exitcode-stdio-1.0
  main-is: spec.hs
  other-modules:
      Control.Subcategory.FoldableSpec
      Control.Subcategory.FunctorSpec
      Control.Subcategory.ZipSpec
      Shared
      Paths_subcategories
  hs-source-dirs:
      test
  default-extensions:
      ConstraintKinds
      DataKinds
      DefaultSignatures
      DerivingStrategies
      FlexibleContexts
      FlexibleInstances
      GADTs
      GeneralizedNewtypeDeriving
      InstanceSigs
      KindSignatures
      MultiParamTypeClasses
      PolyKinds
      ScopedTypeVariables
      TypeApplications
      TypeFamilies
      UndecidableInstances
  ghc-options: -Wall -fno-hpc
  build-tool-depends:
      tasty-discover:tasty-discover
  build-depends:
      QuickCheck
    , base >=4.7 && <5
    , bytestring
    , containers
    , data-default
    , foldl
    , hashable
    , inspection-testing
    , mono-traversable
    , pointed
    , primitive
    , reflection
    , semialign
    , subcategories
    , tasty
    , tasty-expected-failure
    , tasty-hunit
    , tasty-quickcheck
    , template-haskell
    , text
    , these
    , unordered-containers
    , vector
    , vector-algorithms
    , vector-builder
  default-language: Haskell2010
  if impl(ghc >= 9.2.4)
    cpp-options: -DDEEP_SUBSUMPTION