TaggedType

Example: object Width extends TaggedType[Int] type Width = Width.Type // this for pretty coding:def method(v:Width)

Linear Supertypes

AnyRef, Any

Type Members

type Raw = T
type Tag = TaggedType.this.type

Original idea from Alexander Semenov [https://github.com/Tvaroh] using inner:
Original idea from Alexander Semenov [https://github.com/Tvaroh] using inner:
sealed trait Tag
but, we can use existent already materialized anchor object MyTag extends TaggedType[T], so there is no need for any additional anchor trait. All right for now :)
type Type = T with supertagged.Tag[T, Tag]

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def !@@[TagIn, Sub, C](c: C)(implicit tagger: Tagger[TagIn, Type, Tag, Sub, C]): OutReplaced

Replaces all existing tags with 1 new (if no tags then adds one) (Don't know who really needs this, but very simple implementation, so it is here)
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def @@[TagIn, Sub, C](c: C)(implicit tagger: Tagger[TagIn, Type, Tag, Sub, C]): Out

Alias for apply for pretty coding MyTag @@ value
def apply[TagIn, Sub, C](c: C)(implicit tagger: Tagger[TagIn, Type, Tag, Sub, C]): Out

Adds one more tag to existing tags (if no tags then adds one)
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
implicit def ordering[U](implicit origin: Ordering[T]): Ordering[@@[T, U]]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def untag[TagIn, Sub, C](c: C)(implicit tagger: Tagger[TagIn, Type, Tag, Sub, C]): Untagged

Removes concrete tag (this.Tag)
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package supertagged

trait TaggedType[T] extends AnyRef

Type Members

type Raw = T

type Tag = TaggedType.this.type

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

Value Members

final def !=(arg0: Any): Boolean

def !@@[TagIn, Sub, C](c: C)(implicit tagger: Tagger[TagIn, Type, Tag, Sub, C]): OutReplaced

final def ##(): Int

final def ==(arg0: Any): Boolean

def @@[TagIn, Sub, C](c: C)(implicit tagger: Tagger[TagIn, Type, Tag, Sub, C]): Out

def apply[TagIn, Sub, C](c: C)(implicit tagger: Tagger[TagIn, Type, Tag, Sub, C]): Out

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

implicit def ordering[U](implicit origin: Ordering[T]): Ordering[@@[T, U]]

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

def toString(): String

def untag[TagIn, Sub, C](c: C)(implicit tagger: Tagger[TagIn, Type, Tag, Sub, C]): Untagged

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped