object Tag
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Tag
- 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
- def appliedTag[R](tag: HKTag[_], args: List[LightTypeTag]): Tag[R]
Create a Tag of a type formed by applying the type in
tag
toargs
.Create a Tag of a type formed by applying the type in
tag
toargs
.Example:
implicit def tagFromTagTAKA[T[_, _[_], _]: TagK3, K[_]: TagK, A0: Tag, A1: Tag]: Tag[T[A0, K, A1]] = Tag.appliedTag(TagK3[T].tag, List(Tag[A0].tag, TagK[K].tag, Tag[A1].tag))
- def apply[T](cls: Class[_], tag0: LightTypeTag): Tag[T]
- def apply[T](implicit arg0: Tag[T]): Tag[T]
- Annotations
- @inline()
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- macro def auto: Any
Use
Tag.auto.T[TYPE_PARAM]
syntax to summon aTag
for a type parameter of any kind:Use
Tag.auto.T[TYPE_PARAM]
syntax to summon aTag
for a type parameter of any kind:def module1[F[_]: Tag.auto.T] = new ModuleDef { ... } def module2[F[_, _]: Tag.auto.T] = new ModuleDef { ... }
def y[K[_[_, _], _[_], _[_[_], _, _, _]](implicit ev: Tag.auto.T[K]): Tag.auto.T[K] = ev
def x[K[_[_, _], _[_], _[_[_], _, _, _]: Tag.auto.T]: Tag.auto.T[K] = implicitly[Tag.auto.T[K]]
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- 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()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def refinedTag[R](lubClass: Class[_], intersection: List[LightTypeTag], structType: LightTypeTag, additionalTypeMembers: Map[String, LightTypeTag]): Tag[R]
Create a Tag of a type formed from an
intersection
of types (A with B) with a structural refinement taken fromstructType
Create a Tag of a type formed from an
intersection
of types (A with B) with a structural refinement taken fromstructType
structType
is assumed to be a weak type of the entire type, e.g.Tag[A with B {def abc: Unit}] == refinedTag(classOf[Any], List(LTag[A].tag, LTag[B].tag), LTag.Weak[A with B { def abc: Unit }].tag, Map.empty)
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- implicit final macro def tagFromTagMacro[T]: Tag[T]
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- 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()