type-map: Type-indexed maps

[ data, library, mit ] [ Propose Tags ]

Maps where keys are types and values can have types depending on their keys.

  • Data.TypeMap.Dynamic: Simple maps using the Typeable mechanism, 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

Maintainer's Corner

Package maintainers

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
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
Uploaded by lyxia at 2018-01-07T07:06:37Z
Distributions LTSHaskell:0.1.7.0, NixOS:0.1.7.0, Stackage:0.1.7.0
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 4220 total (30 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-07 [all 1 reports]