-- Initial sized-sequences.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                sized
version:             0.6.0.0
synopsis:            Sized sequence data-types
description:         A wrapper to make length-parametrized data-type from ListLike data-types.
license:             BSD3
license-file:        LICENSE
author:              Hiromi ISHII
maintainer:          konn.jinro_at_gmail.com
-- copyright:           
category:            Data
build-type:          Simple
-- extra-source-files:  
cabal-version:       >=1.10
tested-with:         GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.2,
                     GHC == 8.6.5, GHC == 8.8.3, GHC == 8.10.1

source-repository head
  Type: git
  Location: git://github.com/konn/sized.git

library
  exposed-modules:     Data.Sized
                     , Data.Sized.Builtin
                     , Data.Sized.Peano
                     , Data.Sized.Flipped
  other-modules:       Data.Sized.Internal
  -- other-extensions:    
  build-depends:       base                    == 4.*
                     , type-natural            >= 0.8.1.0
                     , ghc-typelits-presburger >= 0.2.0.0
                     , mono-traversable        >= 0.10
                     , ListLike                >= 4.5
                     , singletons              >= 2.0
                     , deepseq                 >= 1.4
                     , hashable                >= 1.2
                     , vector                  >= 0.12
                     , containers              >= 0.5
                     , constraints             >= 0.9
                     , equational-reasoning    >= 0.5
                     , lens                    >= 0.14
  -- hs-source-dirs:      
  default-language:    Haskell2010
  ghc-options:         -O2 -Wall -Wno-redundant-constraints