cabal-version: >=2.0
name:          sized
version:       1.0.0.0
license:       BSD3
license-file:  LICENSE
maintainer:    konn.jinro_at_gmail.com
author:        Hiromi ISHII
tested-with:
    ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.3

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:      -O2 -Wall -Wno-redundant-constraints
    build-depends:
        base ==4.*,
        constraints,
        these,
        type-natural >=0.8.1.0,
        ghc-typelits-presburger >=0.4,
        ghc-typelits-knownnat,
        mono-traversable >=0.10,
        subcategories,
        deepseq >=1.4,
        hashable >=1.2,
        vector >=0.12,
        containers >=0.5,
        equational-reasoning >=0.5,
        lens >=0.14

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:    -O2 -Wall -Wno-redundant-constraints -fno-hpc
    build-depends:
        base -any,
        containers -any,
        hspec -any,
        inspection-testing ^>=0.4,
        mono-traversable -any,
        sized -any,
        template-haskell -any,
        type-natural,
        th-lift -any,
        subcategories -any,
        vector -any