Cabal revisions of typerep-map-0.3.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-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+name: typerep-map +version: 0.3.1 +x-revision: 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 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
revision 2
name: typerep-map version: 0.3.1 -x-revision: 1 +x-revision: 2 synopsis: Efficient implementation of a dependent map with types as keys description: A dependent map from type representations to values of these types. license-file: LICENSE author: Kowainik, Vladislav Zavialov maintainer: xrom.xkov@gmail.com -copyright: 2017 Kowainik +copyright: 2017-2019 Kowainik category: Data, Data Structures, Types build-type: Simple extra-doc-files: README.md