utils

Type Members

1. trait Add[C, Raw, TagNew] extends AnyRef

   

   Add new tag TagNew to Raw type (already tagged or not) at arbitrary nested position in container C

2. trait AddLow extends AnyRef

   

3. trait ETag[C, Raw] extends AnyRef

   

   Extracting Tag info (if exists or fails) Ex: def @@@[C, CTag](c: C)(implicit E:ETag.Aux[CTag, C,T], R:Replace[C, T @@ CTag, T @@ (CTag with Tag)]): R.Out = cast(c)

4. trait ETagLow extends AnyRef

   

5. sealed trait NullDummy extends AnyRef

   

6. trait Remove[C, Raw, TagRemove] extends AnyRef

   

   Removes TagRemove from tagged value or fails

   Removes TagRemove from tagged value or fails

   Annotations

   @implicitNotFound( ... )

7. trait RemoveLow extends AnyRef

   

8. trait Replace[C0, A, B] extends AnyRef

   

   Replace Type A -> B at arbitrary nested position in container C

9. trait ReplaceLow extends AnyRef

   

10. class ReplaceOps[A, B] extends AnyRef