Efficient implementation of a dependent map with types as keys


Version on this page:0.3.2@rev:3
LTS Haskell 18.28:
Stackage Nightly 2022-02-27:
Latest on Hackage:

See all snapshots typerep-map appears in

MIT licensed by Veronika Romashkina, Vladislav Zavialov, Dmitrii Kovanikov
Maintained by Kowainik
This version can be pinned in stack with:typerep-map-0.3.2@sha256:3a3c3dfcc6f6bbd34ade3cb266cc9bfd9ff919d415b2887575ee7c96d51d5e0c,4841

Module documentation for 0.3.2

Used by 1 package in lts-15.3(full list with versions):


electricity Hackage Build status MIT license

typerep-map introduces TMap and TypeRepMap — data structures like Map, but where types serve as keys, and values have the types specified in the corresponding key spots.

For the more details on the implementation see this blog post.

Usage example

ghci> import Data.TMap

ghci> tm = insert True $ one (42 :: Int)

ghci> size tm

ghci> res = lookup tm

ghci> res :: Maybe Int
Just 42

ghci> res :: Maybe Bool
Just True

ghci> res :: Maybe String

ghci> lookup (insert "hello" tm) :: Maybe String
Just "hello"

ghci> member @Int tm

ghci> tm' = delete @Int tm

ghci> member @Int tm'


Tables below contain comparision with DMap TypeRep of ten lookup operations on structure with size 10^4:

ghc-8.2.2 ghc-8.4.3
DMap TypeRep 517.5 ns 779.9 ns
typerep-map 205.3 ns 187.2 ns
ghc-8.2.2 ghc-8.4.3
DMap 8.2.2 DMap 8.4.3
TMap 8.2.2 TMap 8.4.3



typerep-map uses PVP Versioning. The changelog is available on GitHub.

0.3.2 — Mar 27, 2019

  • #47: Add Eq instance for TypeRepMap using -XQuantifiedConstraints.
  • #70: Bump up to dependent-sum-0.5.


  • #64: Fix segfault in toList.
  • Support GHC 8.4.4 and 8.6.3.


  • #46: Make Show instance for TypeRepMap show keys. Add keys function.
  • #48: Add adjust function for TypeRepMap and TMap.
  • #30: Rewrite fromSortedList to use Array and MutableArray instead of IntMap.


  • #43: Implement IsList instance for TypeRepMap. Add hoistA function.
  • #39: Implement hoistWithKey function. Add map function for TMap.
  • Drop support for ghc-8.0.2.


  • Initially created.