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. trait NewType[T, Tag0] extends AnyRef

   

5. trait NewTypeF[R, Tag] extends NewType[R, Tag]

   

6. type Newtype[Repr, Ops] = AnyRef { type T = supertagged.package.Tag[Repr,Ops] }

   

   NEW TYPES (based on Miles Sabin shapeless.newtype )

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

   

   New name: Overtagged

8. implicit final class PostfixSugar[C] extends AnyVal

   

   For pretty coding value @@ MyTag

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

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

    

11. trait TaggedType[T] extends AnyRef

    

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

12. trait TaggedTypeF[T] extends TaggedType[T]

    

    Need one more trait in chain.

    Need one more trait in chain. Do not cut and optimize it!

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

    

    Magic starts here *