Trait

supertagged

TaggedType

Related Doc: package supertagged

Permalink

trait TaggedType[T] extends TaggedType0[T] with LiftedOrdering

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

Type Members

  1. type Raw = T

    Permalink
    Definition Classes
    TaggedType0

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

    Permalink
    Definition Classes
    TaggedType0

  3. type Type = T with supertagged.Tag[T, 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)

  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, T, Type]): Out

    Permalink

    alias for apply

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

    Permalink

    Multi tagging

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

    Permalink

    Tagging (not already tagged values)

  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

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

    Permalink
    Definition Classes
    AnyRef

  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    LiftedOrdering

  21. final def raw(c: Type): T

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  23. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  24. final def unapply(v: Type): Option[T]

    Permalink

    Thanks @eld0727 from https://t.me/scala_ru for feature request

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

    Permalink
    Attributes
    protected
    Definition Classes
    TaggedType0
    Annotations
    @inline()

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

    Permalink

  27. final def wait(): Unit

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

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

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

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

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

Inherited from LiftedOrdering

Inherited from TaggedType0[T]

Inherited from AnyRef

Inherited from Any

Ungrouped