supertagged

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