homepage: https://github.com/Lysxia/type-map
changelog-type: ''
hash: 6e9532987271f76d4185e13241c83a1755d80e8b2e71772376b31a93840d5e54
test-bench-deps: {}
maintainer: lysxia@gmail.com
synopsis: Type-indexed maps
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  containers: -any
  ghc-prim: -any
all-versions:
- '0.1.0.0'
author: Li-yao Xia
latest: '0.1.0.0'
description-type: haddock
description: ! '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 for more efficient creation and modification. "Data.TypeMap.Static"

  exports some operations on type lists.'
license-name: MIT

Update from Hackage at 2017-04-10T02:07:29Z
Update from Hackage at 2017-04-10T02:07:29Z
