class OverTagged[R, T <: TaggedType[R]] extends TaggedType[R with Tag[R, supertagged.OverTagged.T.Tag]]
New name: Overtagged
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- OverTagged
- TaggedType
- LiftedOrdering
- TaggedType0
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Instance Constructors
- new OverTagged(nested: T with TaggedType[R])
Type Members
- type Raw = R with supertagged.Tag[R, T.Tag]
- Definition Classes
- TaggedType0
- abstract type Tag <: OverTagged.this.type
- Definition Classes
- TaggedType0
- type Type = R with supertagged.Tag[R, T.Tag] with supertagged.Tag[R with supertagged.Tag[R, T.Tag], Tag]
Here if we use Raw in
type TaggedType = @@[Raw,Tag]
we will get scalac specific compile error, but with T - all okHere if we use Raw in
type TaggedType = @@[Raw,Tag]
we will get scalac specific compile error, but with T - all ok- Definition Classes
- TaggedType0
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def !@@[C, Tag](c: C)(implicit Tag: utils.ETag.Aux[Tag, C, Raw], R: Replace[C, @@[Raw, Tag], Type]): Out
Force tagging (removes all over tags)
Force tagging (removes all over tags)
- Definition Classes
- TaggedType
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def @@[C](c: C)(implicit R: Replace[C, R with supertagged.Tag[R, T.Tag], Type]): Out
alias for
apply
alias for
apply
- Definition Classes
- TaggedType
- final def @@@[C](c: C)(implicit A: Add[C, R with supertagged.Tag[R, T.Tag], Tag]): Out
Multi tagging
Multi tagging
- Definition Classes
- TaggedType
- final def apply[C](c: C)(implicit R: Replace[C, R with supertagged.Tag[R, T.Tag], Type]): Out
Tagging (not already tagged values)
Tagging (not already tagged values)
- Definition Classes
- TaggedType
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- 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 lift[F[_]](implicit F: F[Raw]): F[Type]
- Definition Classes
- TaggedType
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val nested: T with TaggedType[R]
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- implicit def ordering(implicit origin: Ordering[Raw]): Ordering[Type]
- Definition Classes
- LiftedOrdering
- final def raw(c: Type): R with supertagged.Tag[R, T.Tag]
- Definition Classes
- TaggedType
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def unapply(v: Type): Option[R with supertagged.Tag[R, T.Tag]]
Thanks @eld0727 from https://t.me/scala_ru for feature request
Thanks @eld0727 from https://t.me/scala_ru for feature request
- Definition Classes
- TaggedType
- final def unsafeCast[A, B](v: A): B
- Attributes
- protected
- Definition Classes
- TaggedType0
- Annotations
- @inline()
- final def untag[C](c: C)(implicit R: Remove[C, R with supertagged.Tag[R, T.Tag], Tag]): Out
- Definition Classes
- TaggedType
- 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()