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.
|Versions [faq]||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|
|Dependencies||base (>=4.7 && <4.10), containers, ghc-prim, vector [details]|
|Copyright||2017 Li-yao Xia|
|Revised||Revision 2 made by lyxia at Sun Jan 7 04:05:31 UTC 2018|
|Source repo||head: git clone https://github.com/Lysxia/type-map|
|Uploaded||by lyxia at Mon Apr 10 02:01:53 UTC 2017|
|Downloads||1345 total (113 in the last 30 days)|
|Rating||(no votes yet) [estimated by rule of succession]|
Docs available [build log]
Last success reported on 2017-04-10 [all 1 reports]
- type-map-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
For package maintainers and hackage trustees