supertagged

Type Members

1. type @@[T, +U] = T with Tag[T, U]

   

2. trait ClassicTagger[U] extends AnyRef

   

   Classic way.

   Classic way. Original idea: Miles Sabin

3. trait LifterF[F[_]] extends AnyRef

   

   Lift ( Adopted and simplified from: https://github.com/softwaremill/scala-common/blob/master/tagging/src/main/scala/com/softwaremill/tagging/TypeclassTaggingCompat.scala) *

4. implicit final class PostfixSugar[C] extends AnyVal

   

   For pretty coding value @@ MyTag

5. 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

6. type Tagged[T, +U] = T with Tag[T, U]

   

7. trait TaggedType[T] extends AnyRef

   

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

8. trait Tagger[TagIn, Tag, U, SubType, C] extends AnyRef

   

   Magic starts here *