Welcome to the typekey! We privide an extension API for type tags, called a type key, as well as some higher kinded type-polymorphic collections.
In brief, typekey provides the following features:
- A
TypeKey
is aTypeTag
that is suitable for use as a key in aSet
or aMap
. - A
TypeKeyMap
is aMap
fromTypeKey
to objects with type arguments that match the type indicated by theTypeKey
. - A
TypeBoundMap
is aMap
where the key and value of each key-value pair is bound to the same type argument.
Here’s some more in-depth material to help you get started: