final case class KMap1_2[K[_], V[_, _, _], TC[_, _, _]](map: Map[K[Nothing], V[Nothing, Nothing, Nothing]]) extends AnyVal with Product with Serializable
KMap where values are parameterized by 2 additional type parameters,
uniquely determined by a typeclass instance. Type safety relies on
TC[A, B, C] being functional in A, i.e. for each A there are
globally unique B, C such that there is an instance of TC[A, B, C].
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- KMap1_2
- Serializable
- Product
- Equals
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new KMap1_2(map: Map[K[Nothing], V[Nothing, Nothing, Nothing]])
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- Any
- final def ##: Int
- Definition Classes
- Any
- def -[A](k: K[A]): KMap1_2[K, V, TC]
- final def ==(arg0: Any): Boolean
- Definition Classes
- Any
- def apply[A, B, C](k: K[A])(implicit ev: TC[A, B, C]): V[A, B, C]
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def get[A, B, C](k: K[A])(implicit ev: TC[A, B, C]): Option[V[A, B, C]]
- def getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- def isEmpty: Boolean
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- val map: Map[K[Nothing], V[Nothing, Nothing, Nothing]]
- def nonEmpty: Boolean
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def put[A, B, C](k: K[A])(v: V[A, B, C])(implicit ev: TC[A, B, C]): KMap1_2[K, V, TC]
- def size: Int
- def tail: KMap1_2[K, V, TC]
- def updated[A, B, C](k: K[A])(v: V[A, B, C])(combineIfPresent: (V[A, B, C], V[A, B, C]) => V[A, B, C])(implicit ev: TC[A, B, C]): KMap1_2[K, V, TC]