name:                typerep-map
version:             0.3.1
synopsis:            Efficient implementation of a dependent map with types as keys
description:
    A dependent map from type representations to values of these types.
    .
    Here is an illustration of such a map:
    .
    >     TMap
    > ---------------
    >  Int  -> 5
    >  Bool -> True
    >  Char -> 'x'
    .
    In addition to @TMap@, we provide @TypeRepMap@ parametrized by a
    @vinyl@-style interpretation. This data structure is equivalent to @DMap
    TypeRep@, but with significantly more efficient lookups.

homepage:            https://github.com/kowainik/typerep-map
bug-reports:         https://github.com/kowainik/typerep-map/issues
license:             MIT
license-file:        LICENSE
author:              Kowainik, Vladislav Zavialov
maintainer:          xrom.xkov@gmail.com
copyright:           2017-present Kowainik
category:            Data, Data Structures, Types
build-type:          Simple
extra-doc-files:     README.md
                   , CHANGELOG.md
cabal-version:       2.0
tested-with:         GHC == 8.2.2
                   , GHC == 8.4.4
                   , GHC == 8.6.3

source-repository head
  type:                git
  location:            https://github.com/kowainik/typerep-map.git

library
  hs-source-dirs:      src
  exposed-modules:     Data.TMap
                       Data.TypeRepMap
                       Data.TypeRepMap.Internal
  ghc-options:         -Wall
  build-depends:       base >= 4.10 && < 5
                     , containers >= 0.5.10.2 && < 0.7
                     , ghc-prim ^>= 0.5.1.1
                     , primitive ^>= 0.6.4
                     , deepseq ^>= 1.4
  default-extensions:  OverloadedStrings
                       RecordWildCards
                       ScopedTypeVariables
                       TypeApplications
  default-language:    Haskell2010

library typerep-extra-impls
  hs-source-dirs:      typerep-extra-impls
  exposed-modules:     Data.TypeRep.CMap
                       Data.TypeRep.OptimalVector
                       Data.TypeRep.Vector
  ghc-options:         -Wall
  build-depends:       base >= 4.10 && < 5
                     , containers >= 0.5.10.2 && < 0.7
                     , vector ^>= 0.12.0.1
                     , deepseq ^>= 1.4
  default-extensions:  OverloadedStrings
                       RecordWildCards
                       ScopedTypeVariables
                       TypeApplications

  default-language:    Haskell2010

test-suite typerep-map-test
  type:                exitcode-stdio-1.0
  hs-source-dirs:      test
  main-is:             Test.hs
  other-modules:       Test.TypeRep.CMap
                     , Test.TypeRep.CacheMap
                     , Test.TypeRep.MapProperty
                     , Test.TypeRep.Vector
                     , Test.TypeRep.VectorOpt
  build-depends:       base >= 4.10 && < 5
                     , ghc-typelits-knownnat >= 0.4.2 && < 0.7
                     , hedgehog >= 0.5.3 && < 0.7
                     , typerep-map
                     , typerep-extra-impls
                     , tasty >= 1.0.1.1 && < 1.3
                     , tasty-discover >= 4.1.1 && < 4.3
                     , tasty-hedgehog >= 0.1.0.2 && < 0.3
                     , tasty-hspec ^>= 1.1.5
                     , QuickCheck >= 2.11.3 && < 2.13
  build-tool-depends:  tasty-discover:tasty-discover
  ghc-options:         -Wall -threaded -rtsopts -with-rtsopts=-N
  default-extensions:  ScopedTypeVariables
                       TypeApplications

  default-language:    Haskell2010

benchmark typerep-map-benchmark
  type:                exitcode-stdio-1.0
  default-language:    Haskell2010
  ghc-options:         -Wall -O2 -threaded -rtsopts -with-rtsopts=-N -freduction-depth=0
  hs-source-dirs:      benchmark
  main-is:             Main.hs
  other-modules:       CMap
                     , CacheMap
                     , Spec
                     , Vector
                     , OptimalVector
  build-depends:       base >= 4.10 && < 5
                     , criterion >= 1.4.1.0 && < 1.6
                     , deepseq ^>= 1.4.3.0
                     , dependent-map >= 0.2.4.0 && < 0.5
                     , dependent-sum ^>= 0.4
                     , ghc-typelits-knownnat >= 0.4.2 && < 0.7
                     , typerep-map
                     , typerep-extra-impls
  default-extensions:  OverloadedStrings
                       RecordWildCards
                       ScopedTypeVariables
                       TypeApplications
                       BangPatterns
  if impl(ghc >= 8.2.2)
    other-modules:     DMap