Class

supertagged

OverTagged

Related Doc: package supertagged

Permalink

class OverTagged[R, T <: TaggedType[R]] extends TaggedType[R with Tag[R, supertagged.OverTagged.T.Tag]]

New name: Overtagged

Linear Supertypes
TaggedType[R with supertagged.Tag[R, T.Tag]], LiftedOrdering, TaggedType0[R with supertagged.Tag[R, T.Tag]], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. OverTagged
  2. TaggedType
  3. LiftedOrdering
  4. TaggedType0
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new OverTagged(nested: T with TaggedType[R])

    Permalink

Type Members

  1. type Raw = R with supertagged.Tag[R, T.Tag]

    Permalink
    Definition Classes
    TaggedType0

  2. abstract type Tag <: OverTagged.this.type

    Permalink
    Definition Classes
    TaggedType0

  3. type Type = R with supertagged.Tag[R, T.Tag] with supertagged.Tag[R with supertagged.Tag[R, T.Tag], Tag]

    Permalink

    Here if we use Raw in type TaggedType = @@[Raw,Tag] we will get scalac specific compile error, but with T - all ok

    Here 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

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def !@@[C, Tag](c: C)(implicit Tag: utils.ETag.Aux[Tag, C, Raw], R: Replace[C, @@[Raw, Tag], Type]): Out

    Permalink

    Force tagging (removes all over tags)

    Force tagging (removes all over tags)

    Definition Classes
    TaggedType

  3. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  5. final def @@[C](c: C)(implicit R: Replace[C, R with supertagged.Tag[R, T.Tag], Type]): Out

    Permalink

    alias for apply

    alias for apply

    Definition Classes
    TaggedType

  6. final def @@@[C](c: C)(implicit A: Add[C, R with supertagged.Tag[R, T.Tag], Tag]): Out

    Permalink

    Multi tagging

    Multi tagging

    Definition Classes
    TaggedType

  7. final def apply[C](c: C)(implicit R: Replace[C, R with supertagged.Tag[R, T.Tag], Type]): Out

    Permalink

    Tagging (not already tagged values)

    Tagging (not already tagged values)

    Definition Classes
    TaggedType

  8. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  9. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  13. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  16. final def lift[F[_]](implicit F: F[Raw]): F[Type]

    Permalink
    Definition Classes
    TaggedType

  17. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  18. val nested: T with TaggedType[R]

    Permalink

  19. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  20. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  21. implicit def ordering(implicit origin: Ordering[Raw]): Ordering[Type]

    Permalink
    Definition Classes
    LiftedOrdering

  22. final def raw(c: Type): R with supertagged.Tag[R, T.Tag]

    Permalink
    Definition Classes
    TaggedType

  23. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  24. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  25. final def unapply(v: Type): Option[R with supertagged.Tag[R, T.Tag]]

    Permalink

    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

  26. final def unsafeCast[A, B](v: A): B

    Permalink
    Attributes
    protected
    Definition Classes
    TaggedType0
    Annotations
    @inline()

  27. final def untag[C](c: C)(implicit R: Remove[C, R with supertagged.Tag[R, T.Tag], Tag]): Out

    Permalink
    Definition Classes
    TaggedType

  28. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  29. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  30. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from TaggedType[R with supertagged.Tag[R, T.Tag]]

Inherited from LiftedOrdering

Inherited from TaggedType0[R with supertagged.Tag[R, T.Tag]]

Inherited from AnyRef

Inherited from Any

Ungrouped