cabal-version: 2.0
name:          sized
version:       1.1.0.1
license:       BSD3
license-file:  LICENSE
maintainer:    konn.jinro_at_gmail.com
author:        Hiromi ISHII
tested-with:   GHC ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.3 || ==9.8.1
extra-doc-files: ./Changelog.md
synopsis:      Sized sequence data-types
description:
  A wrapper to make length-parametrized data-type from functorial data-types.

category:      Data
build-type:    Simple

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


library
  exposed-modules:
    Data.Sized
    Data.Sized.Builtin
    Data.Sized.Flipped

  hs-source-dirs:   src
  other-modules:    Data.Sized.Internal
  default-language: Haskell2010
  ghc-options:      -Wall -Wno-redundant-constraints
  build-depends:
      base                     >=4    && <5
    , constraints
    , containers               >=0.5
    , deepseq                  >=1.4
    , equational-reasoning     >=0.5
    , ghc-typelits-knownnat
    , ghc-typelits-presburger  >=0.7.2
    , hashable                 >=1.2
    , lens                     >=0.14
    , mono-traversable         >=0.10
    , subcategories            >=0.2
    , these
    , type-natural             >=1.3
    , vector                   >=0.12

test-suite optimisaion-test
  type:             exitcode-stdio-1.0
  main-is:          opt-test.hs
  hs-source-dirs:   test
  other-modules:    Shared
  default-language: Haskell2010
  ghc-options:      -Wall -Wno-redundant-constraints -fno-hpc
  build-depends:
      base
    , containers
    , inspection-testing        >=0.4 && <0.6
    , mono-traversable
    , primitive
    , sized
    , subcategories
    , tasty
    , tasty-inspection-testing
    , template-haskell
    , th-lift
    , type-natural
    , vector