git.iko.soy/typerep-map
on v0.3.0 help sign in
typerep-map/typerep-map.cabal
118 lines 4.1 kB history raw
1name: typerep-map
2version: 0.3.0
3synopsis: Efficient implementation of a dependent map with types as keys
4description:
5 A dependent map from type representations to values of these types.
6 .
7 Here is an illustration of such a map:
8 .
9 > TMap
10 > ---------------
11 > Int -> 5
12 > Bool -> True
13 > Char -> 'x'
14 .
15 In addition to @TMap@, we provide @TypeRepMap@ parametrized by a
16 @vinyl@-style interpretation. This data structure is equivalent to @DMap
17 TypeRep@, but with significantly more efficient lookups.
19homepage: https://github.com/kowainik/typerep-map
20bug-reports: https://github.com/kowainik/typerep-map/issues
21license: MIT
22license-file: LICENSE
23author: Kowainik, Vladislav Zavialov
24maintainer: xrom.xkov@gmail.com
25copyright: 2017-2018 Kowainik
26category: Data, Data Structures, Types
27build-type: Simple
28extra-doc-files: README.md
29 , CHANGELOG.md
30cabal-version: 2.0
31tested-with: GHC == 8.2.2
32 , GHC == 8.4.3
34source-repository head
35 type: git
36 location: https://github.com/kowainik/typerep-map.git
38library
39 hs-source-dirs: src
40 exposed-modules: Data.TMap
41 Data.TypeRepMap
42 Data.TypeRepMap.Internal
43 ghc-options: -Wall
44 build-depends: base >= 4.9 && < 5
45 , containers
46 , ghc-prim
47 , primitive >= 0.6.4
48 default-extensions: OverloadedStrings
49 RecordWildCards
50 ScopedTypeVariables
51 TypeApplications
52 default-language: Haskell2010
54library typerep-extra-impls
55 hs-source-dirs: typerep-extra-impls
56 exposed-modules: Data.TypeRep.CMap
57 Data.TypeRep.OptimalVector
58 Data.TypeRep.Vector
59 ghc-options: -Wall
60 build-depends: base
61 , containers
62 , vector
63 default-extensions: OverloadedStrings
64 RecordWildCards
65 ScopedTypeVariables
66 TypeApplications
68 default-language: Haskell2010
70test-suite typerep-map-test
71 type: exitcode-stdio-1.0
72 hs-source-dirs: test
73 main-is: Test.hs
74 other-modules: Test.TypeRep.CMap
75 , Test.TypeRep.CacheMap
76 , Test.TypeRep.MapProperty
77 , Test.TypeRep.Vector
78 , Test.TypeRep.VectorOpt
79 build-depends: base
80 , ghc-typelits-knownnat
81 , hedgehog
82 , typerep-map
83 , typerep-extra-impls
84 , tasty
85 , tasty-discover >= 4.1.1
86 , tasty-hedgehog
87 , tasty-hspec
88 build-tool-depends: tasty-discover:tasty-discover
89 ghc-options: -Wall -threaded -rtsopts -with-rtsopts=-N
90 default-extensions: ScopedTypeVariables
91 TypeApplications
93 default-language: Haskell2010
95benchmark typerep-map-benchmark
96 type: exitcode-stdio-1.0
97 default-language: Haskell2010
98 ghc-options: -Wall -O2 -threaded -rtsopts -with-rtsopts=-N -freduction-depth=0
99 hs-source-dirs: benchmark
100 main-is: Main.hs
101 other-modules: CMap
102 , CacheMap
103 , Vector
104 , OptimalVector
105 build-depends: base
106 , criterion
107 , deepseq
108 , dependent-map
109 , dependent-sum
110 , ghc-typelits-knownnat
111 , typerep-map
112 , typerep-extra-impls
113 default-extensions: OverloadedStrings
114 RecordWildCards
115 ScopedTypeVariables
116 TypeApplications
117 if impl(ghc >= 8.2.2)
118 other-modules: DMap