Type Members

1.  final case class TypedEntry[A](key: TypedKey[A], value: A) extends Product with Serializable

   An entry that binds a typed key and a value.

   An entry that binds a typed key and a value. These entries can be placed into a TypedMap or any other type of object with typed values.

   A

   The type of the value.

   key

   The key for this entry.

   value

   The value for this entry.

2.  final class TypedKey[A] extends AnyRef

   A TypedKey is a key that can be used to get and set values in a TypedMap or any object with typed keys.

   A TypedKey is a key that can be used to get and set values in a TypedMap or any object with typed keys. This class uses reference equality for comparisons, so each new instance is different key.

   A

   The type of values associated with this key.

3.  trait TypedMap extends AnyRef

   A TypedMap is an immutable map containing typed values.

   A TypedMap is an immutable map containing typed values. Each entry is associated with a TypedKey that can be used to look up the value. A TypedKey also defines the type of the value, e.g. a TypedKey[String] would be associated with a String value.

   Instances of this class are created with the TypedMap.empty method.

   The elements inside TypedMaps cannot be enumerated. This is a decision designed to enforce modularity. It's not possible to accidentally or intentionally access a value in a TypedMap without holding the corresponding TypedKey.