Closest class found for the type or for a LUB of all intersection members in case of an intersection type.
Closest class found for the type or for a LUB of all intersection members in case of an intersection type.
A Scala type may not have an associated JVM class, as such
this class may not be sufficient to create instances of T
Only if tag.hasPreciseClass
returns true
it may be safe to reflect on closestClass
Internal LightTypeTag
holding the typeConstructor
of type T
(Since version ) see corresponding Javadoc for more information.
Internal unsafe API representing a poly-kinded, higher-kinded type tag.
To create a Tag* implicit for an arbitrary kind use the following syntax:
As an argument to HKTag, you should specify the type variables your type parameter will take and apply them to it, in order.
A convenience macro
Tag.auto.T
is available to automatically create a type lambda for a type of any kind:def x[K[_[_, _], _[_], _[_[_], _, _, _]: Tag.auto.T]: Tag.auto.T[K] = implicitly[Tag.auto.T[K]]