name: typerep-map version: 0.3.2 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-2019 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.5 , 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