cabal-version: 3.0
name: sized
version: 1.1.0.2
license: BSD-3-Clause
license-file: LICENSE
maintainer: konn.jinro_at_gmail.com
author: Hiromi ISHII
copyright: (c) Hiromi ISHII
tested-with: ghc ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.5 || ==9.8.2 || ==9.10.1
extra-doc-files:
  Changelog.md
  README.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,