final case class ConcurrentHMap[R[_, _]] extends Product with Serializable
This class provides a mutable, thread safe, version of shapeless HMap.
Type safety is only guaranteed by the ev
parameters that is passed to various
methods. Because of that, default constructors of the class are disabled via the
private
keyword.
In order to have type safety, the relation R
must satisfy the following:
- R
be single-valued: if R[A, B1]
and R[A, B2]
are defined, then
we should have B1 = B2
.
- If there is evidence for R[A1, B1]
and R[A2, B2]
for different B1
and B2
,
then for all non-null values x1: A1
and x2: A2
, we must have x1 != x2
.
See tests for counter-examples.
- Annotations
- @SuppressWarnings() @nowarn()
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- ConcurrentHMap
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def get[K, V](k: K)(implicit ev: R[K, V]): Option[V]
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
- def getOrElseUpdate[K, V](k: K, v: => V)(implicit ev: R[K, V]): V
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def putIfAbsent[K, V](k: K, v: V)(implicit ev: R[K, V]): Option[V]
- def put_[K, V](k: K, v: V)(implicit ev: R[K, V]): Unit
- def remove[K, V](k: K)(implicit ev: R[K, V]): Option[V]
- def remove_[K](k: K): Unit
- def replace_[K, V](k: K, v: V)(implicit ev: R[K, V]): Unit
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- val underlying: Map[Any, Any]
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])