typerep-map: Efficient implementation of a dependent map with types as keys
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.
[Skip to Readme]
Downloads
- typerep-map-0.6.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 0.3.3.0, 0.4.0.0, 0.5.0.0, 0.6.0.0 (info) |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.10 && <4.18), containers (>=0.5.10.2 && <0.7), deepseq (>=1.4 && <1.5), ghc-prim (>=0.5.1.1 && <0.10), primitive (>=0.7.0 && <0.8), vector (>=0.12.0.1 && <0.14) [details] |
Tested with | ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.4, ghc ==9.4.2 |
License | MPL-2.0 |
Copyright | 2017-2022 Kowainik |
Author | Veronika Romashkina, Vladislav Zavialov, Dmitrii Kovanikov |
Maintainer | Kowainik <xrom.xkov@gmail.com> |
Category | Data, Data Structures, Types |
Home page | https://github.com/kowainik/typerep-map |
Bug tracker | https://github.com/kowainik/typerep-map/issues |
Source repo | head: git clone https://github.com/kowainik/typerep-map.git |
Uploaded | by vrom911 at 2022-11-02T20:33:13Z |
Distributions | NixOS:0.6.0.0 |
Reverse Dependencies | 5 direct, 16 indirect [details] |
Downloads | 20013 total (65 in the last 30 days) |
Rating | 2.5 (votes: 3) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |