gongju-0.1.0.0: gongju.cabal

cabal-version:      3.0
name:               gongju
version:            0.1.0.0
synopsis:           Pure type-level utility functions, arity composition, and curried combinators
description:
    Gongju (공구 / 工具, tools/implement) provides inductive Peano type-level
    utility functions in pure Haskell, replacing Template Haskell arity splices
    (e.g. composition-extra) and finite tuple generics (e.g. tuple-sop) with
    zero-overhead typeclass induction, bidirectional functional dependencies,
    and TypeApplications-friendly GHC.TypeLits.Nat wrappers.

license:            EUPL-1.2 OR Apache-2.0
license-files:      LICENSE
author:             Nadia Yvette Chambers
maintainer:         nadia.yvette.chambers@ik.me
homepage:           https://github.com/NadiaYvette/gongju
bug-reports:        https://github.com/NadiaYvette/gongju/issues
category:           Types, Functional, Combinators
build-type:         Simple
extra-doc-files:
    README.md
  , CHANGELOG.md
  , LICENSE

tested-with:
    GHC == 9.10.3
  , GHC == 9.12.4
  , GHC == 9.14.1

source-repository head
    type:     git
    location: https://github.com/NadiaYvette/gongju.git
    subdir:   packages/gongju

common commons
    default-language:   Haskell2010
    ghc-options:
        -Wall
        -Wcompat
        -Wredundant-constraints

library
    import:             commons
    hs-source-dirs:     src
    exposed-modules:
        Gongju.Core
        Gongju.Peano
        Gongju.Composition
        Gongju.Positional
        Gongju.Permute
        Gongju.Indexed
        Gongju.Comonad
        Gongju.Adjunction
        Gongju.Kan
        Gongju.Profunctor
        Gongju.Contravariant
        Gongju.Monad
    build-depends:
        base              >= 4.20 && < 5
      , adjunctions       >= 4.4   && < 5
      , comonad           >= 5     && < 6
      , distributive      >= 0.6   && < 1
      , indexed           >= 0.1   && < 1
      , indexed-profunctors >= 0.1 && < 1
      , kan-extensions    >= 5.2   && < 6
      , profunctors       >= 5.6   && < 6
      , contravariant     >= 1.5   && < 2

test-suite gongju-test
    import:             commons
    type:               exitcode-stdio-1.0
    hs-source-dirs:     test
    main-is:            Main.hs
    other-modules:      CoreInspection
    build-depends:
        base              >= 4.20 && < 5
      , adjunctions       >= 4.4   && < 5
      , comonad           >= 5     && < 6
      , contravariant     >= 1.5   && < 2
      , distributive      >= 0.6   && < 1
      , gongju
      , hspec             >= 2.11  && < 3
      , indexed           >= 0.1   && < 1
      , kan-extensions    >= 5.2   && < 6
      , profunctors       >= 5.6   && < 6