cabal-version:      3.0
name:               constrained-some
version:            0.1.1
synopsis:           Existential type that can be constrained
description:        This library provides utilities for working with existential types and type-level constraints.
  It allows you to enforce multiple constraints on polymorphic types and containers complementing the package some.
homepage:           https://github.com/bruderj15/constrained-some
bug-reports:        https://github.com/bruderj15/constrained-some/issues
license:            MIT
license-file:       LICENSE
author:             Julian Bruder
maintainer:         julian.bruder@outlook.com
copyright:          © 2024 Julian Bruder
category:           Data, Dependent Types
build-type:         Simple
extra-source-files: README.md
extra-doc-files:    CHANGELOG.md
tested-with:
  GHC ==8.10.4
   || ==9.0.2
   || ==9.2.8
   || ==9.4.8
   || ==9.6.5
   || ==9.8.2
   || ==9.10.1

common warnings
    ghc-options: -Wall

library
    import:           warnings
    exposed-modules:  Data.Some.Constraint
    build-depends:    base >=4.12 && <4.21
    hs-source-dirs:   src
    default-language: Haskell2010

test-suite constrained-some-test
    import:           warnings
    default-language: Haskell2010
    type:             exitcode-stdio-1.0
    hs-source-dirs:   test
    main-is:          Main.hs
    build-depends:
        base >=4.12 && <4.21,
        constrained-some