type-map: Type-indexed maps
Maps where keys are types and values can have types depending on their keys.
Data.TypeMap.Dynamic: Simple maps using the
Typeablemechanism, tracking keys at run time. Data.TypeMap.Dynamic.Alt is an alternative API based on type applications rather than passing proxies, available from GHC 8.0.1.Data.TypeMap.Vector: Only available from GHC 8.0.1. Maps whose domains are given in their types for compile-time verification and fast indexing. Two more variants with the same API: Data.TypeMap.List uses lists and Data.TypeMap.Map uses maps (from
containers), trading indexing speed for more efficient creation and modification. Data.TypeMap.Static exports some operations on type lists.
Downloads
- type-map-0.1.2.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, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.1.4.0, 0.1.5.0, 0.1.6.0, 0.1.7.0 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.7 && <4.11), containers, ghc-prim, vector [details] |
| License | MIT |
| Copyright | 2017 Li-yao Xia |
| Author | Li-yao Xia |
| Maintainer | lysxia@gmail.com |
| Uploaded | by lyxia at 2018-01-17T23:55:21Z |
| Category | Data |
| Home page | https://github.com/Lysxia/type-map |
| Bug tracker | https://github.com/Lysxia/type-map/issues |
| Source repo | head: git clone https://github.com/Lysxia/type-map |
| Distributions | LTSHaskell:0.1.7.0, NixOS:0.1.7.0, Stackage:0.1.7.0 |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Downloads | 4633 total (10 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2018-01-18 [all 1 reports] |