higher kinded type-polymorphic collections


Higher Kinded Type-Polymorphic Collections

In brief, typekey provides the following features:

  • A TypeKey is a TypeTag that is suitable for use as a key in a Set or a Map.
  • A TypeKeyMap is a Map from TypeKey to objects with type arguments that match the type indicated by the TypeKey.
  • A TypeBoundMap is a Map where the key and value of each key-value pair is bound to the same type argument.

For more details, please see the typekey website and API docs.