type-map: Type-indexed maps
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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 for more efficient creation and modification. Data.TypeMap.Static exports some operations on type lists.
Properties
| Versions | 0.1.0.0, 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 | None available |
| Dependencies | base (>=4.7 && <5), 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 |
| Source repo | head: git clone https://github.com/Lysxia/type-map |
| Uploaded | by lyxia at 2017-04-10T01:57:16Z |
Modules
[Index]
- Data
Downloads
- type-map-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees