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
TypeKeyis aTypeTagthat is suitable for use as a key in aSetor aMap. - A
TypeKeyMapis aMapfromTypeKeyto objects with type arguments that match the type indicated by theTypeKey. - A
TypeBoundMapis aMapwhere 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: