Type Members

1.  type @@[T, +U] = T with Tag[T, U]
2.  sealed class Extractor[Raw, T] extends AnyRef

   Extractor

3.  sealed trait ImplicitScope[T, +U] extends Any
4.  trait LiftedOrdering extends AnyRef

   Lifted Orderings.

   Lifted Orderings. Mix them to tagged & newtypes. Ex: object Width extends TaggedType[Int] with LiftedOrdering

5.  trait LiftedOrderingT extends AnyRef
6.  trait NewType[T] extends AnyRef
7.  trait NewType0 extends AnyRef
8.  trait NewTypeT extends NewType0
9.  type Newtype[Repr, Ops] = AnyRef { ... /* 2 definitions in type refinement */ }

   NEW TYPES

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

    New name: Overtagged

11.  sealed trait Tag[T, +U] extends Any

    Making universal trait for overcoming feature bug(knowing as [I cannot be cast to [Ljava.lang.Object; - see at TestScalacBug).

    Making universal trait for overcoming feature bug(knowing as [I cannot be cast to [Ljava.lang.Object; - see at TestScalacBug). Everything seems ok for now. There is no runtime overhead(after jit). Casting doesn't change memory model, boxing for primitive types appears only at specific corner cases and JIT cleans generated rubbish bytecode very well

12.  type Tagged[T, +U] = T with Tag[T, U]
13.  sealed class TaggedOps[Raw, Tag, Type] extends AnyRef
14.  trait TaggedType[T] extends TaggedType0[T] with LiftedOrdering
15.  trait TaggedType0[T] extends AnyRef
16.  trait TaggedTypeT extends TaggedTypeT0
17.  trait TaggedTypeT0 extends AnyRef