Monadoc

typerep-map

Version 0.6.0.0 revision 0 uploaded by vrom911.

Package meta

Synopsis
Efficient implementation of a dependent map with types as keys
Description

A dependent map from type representations to values of these types.

Here is an illustration of such a map:

    TMap
---------------
 Int  -> 5
 Bool -> True
 Char -> 'x'

In addition to TMap, we provide TypeRepMap parametrized by a vinyl-style interpretation. This data structure is equivalent to DMap TypeRep, but with significantly more efficient lookups.

Author
Veronika Romashkina, Vladislav Zavialov, Dmitrii Kovanikov
Bug reports
https://github.com/kowainik/typerep-map/issues
Category
Data, Data Structures, Types
Copyright
2017-2022 Kowainik
Homepage
https://github.com/kowainik/typerep-map
Maintainer
Kowainik <xrom.xkov@gmail.com>
Package URL
n/a
Stability
n/a

Components