Packages

object RuntimeDIUniverse extends RuntimeDIUniverse

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RuntimeDIUniverse
  2. RuntimeDIUniverse
  3. DIUniverse
  4. WithDIAnnotation
  5. WithDIWiring
  6. WithDIAssociation
  7. WithDIDependencyContext
  8. WithDIKey
  9. WithDICallable
  10. WithDITypedRef
  11. WithDISymbolInfo
  12. WithDISafeType
  13. WithTags
  14. DIUniverseBase
  15. UniverseGeneric
  16. AnyRef
  17. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait Association extends AnyRef
    Definition Classes
    WithDIAssociation
  2. sealed trait DependencyContext extends AnyRef
    Definition Classes
    WithDIDependencyContext
  3. sealed trait Wiring extends AnyRef
    Definition Classes
    WithDIWiring
  4. sealed trait DIKey extends AnyRef
    Definition Classes
    WithDIKey
  5. trait IdContract[T] extends AnyRef
    Definition Classes
    WithDIKey
  6. case class TypedRef[+T](v: T, symbol: (WithDITypedRef.this)#SafeType) extends Product with Serializable
    Definition Classes
    WithDITypedRef
  7. class IdContractImpl[T] extends IdContract[T]
    Definition Classes
    RuntimeDIUniverse
  8. type MethodSymb = scala.reflect.api.JavaUniverse.MethodSymbol
    Definition Classes
    DIUniverseBase
  9. type ScalaReflectTypeTag[T] = scala.reflect.api.JavaUniverse.TypeTag[T]
    Definition Classes
    WithTags
  10. type ScalaReflectWeakTypeTag[T] = scala.reflect.api.JavaUniverse.WeakTypeTag[T]
    Definition Classes
    WithTags
  11. type Symb = scala.reflect.api.JavaUniverse.Symbol
    Definition Classes
    DIUniverseBase
  12. type TagK[K[_]] = HKTag[AnyRef { type Arg[A] = K[A] }]

    TagK is a scala.reflect.api.TypeTags.TypeTag for higher-kinded types.

    TagK is a scala.reflect.api.TypeTags.TypeTag for higher-kinded types.

    Example:

    def containerTypesEqual[F[_]: TagK, K[_]: TagK]): Boolean = TagK[F].tag.tpe =:= TagK[K].tag.tpe
    
    containerTypesEqual[Set, collection.immutable.Set] == true
    containerTypesEqual[Array, List] == false
    Definition Classes
    WithTags
  13. type TagK3[K[_, _, _]] = HKTag[AnyRef { type Arg[A, B, C] = K[A,B,C] }]
    Definition Classes
    WithTags
  14. type TagKK[K[_, _]] = HKTag[AnyRef { type Arg[A, B] = K[A,B] }]
    Definition Classes
    WithTags
  15. type TagObject = Tag.type
    Definition Classes
    WithTags
  16. type TagT[K[_[_]]] = HKTag[AnyRef { type Arg[A[_]] = K[A] }]
    Definition Classes
    WithTags
  17. type TagTK[K[_[_], _]] = HKTag[AnyRef { type Arg[A[_], B] = K[A,B] }]
    Definition Classes
    WithTags
  18. type TagTK3[K[_[_], _, _, _]] = HKTag[AnyRef { type Arg[A[_], B, C, D] = K[A,B,C,D] }]
    Definition Classes
    WithTags
  19. type TagTKK[K[_[_], _, _]] = HKTag[AnyRef { type Arg[A[_], B, C] = K[A,B,C] }]
    Definition Classes
    WithTags
  20. type TypeNative = scala.reflect.api.JavaUniverse.Type
    Definition Classes
    DIUniverseBase
  21. trait Callable extends AnyRef
    Definition Classes
    WithDICallable
  22. trait Provider extends (WithDICallable.this)#Callable
    Definition Classes
    WithDICallable
  23. class UnsafeCallArgsMismatched extends DIException
    Definition Classes
    WithDICallable
  24. case class SafeType(tpe: (WithDISafeType.this)#TypeNative) extends SafeType0[(WithDISafeType.this)#u.type] with Product with Serializable
    Definition Classes
    WithDISafeType
  25. trait SymbolInfo extends AnyRef
    Definition Classes
    WithDISymbolInfo
  26. trait HKTag[T] extends AnyRef

    Internal unsafe API representing a poly-kinded, higher-kinded type tag.

    Internal unsafe API representing a poly-kinded, higher-kinded type tag.

    To create a Tag* implicit for an arbitrary kind use the following syntax:

    type TagK5[K[_, _, _, _, _]] = HKTag[ { type Arg[A, B, C, D, E] = K[A, B, C, D, E] } ]

    As an argument to HKTag, you should specify the type variables your type parameter will take and apply them to it, in order.

    type TagFGC[K[_[_, _], _[_], _[_[_], _, _, _]] = HKTag[ { type Arg[A[_, _], B[_], C[_[_], _, _, _]] = K[A, B, C] } ]

    A convenience macro Tag.auto.T is available to automatically create a type lambda from a type of any kind:

    def x[K[_[_, _], _[_], _[_[_], _, _, _]: Tag.auto.T]: Tag.auto.T[K] = implicitly[Tag.auto.T[K]]
    Definition Classes
    WithTags
  27. trait LowPriorityHKTagInstances extends AnyRef
    Definition Classes
    WithTags
  28. trait LowPriorityTagInstances extends AnyRef
    Definition Classes
    WithTags
  29. trait Tag[T] extends AnyRef

    Like scala.reflect.api.TypeTags.TypeTag, but supports higher-kinded type tags via TagK type class.

    Like scala.reflect.api.TypeTags.TypeTag, but supports higher-kinded type tags via TagK type class.

    In context of DI this lets you define modules parameterized by higher-kinded type parameters. This is especially helpful for applying tagless final style

    Example:

    class MyModule[F[_]: Monad: TagK] {
      make[MyService[F]]
      make[F[Int]].named("lucky-number").from(Monad[F].pure(7))
    }

    Without a TagK constraint above, this example would fail with no TypeTag available for MyService[F] error

    Currently some limitations apply as to when a Tag will be correctly constructed: * Type Parameters do not yet resolve inside structural refinements, e.g. T in

    Tag[{ def x: T}]

    * Type Parameters do not yet resolve inside higher-kinded type lambdas, e.g. T in

    TagK[Either[T, ?]]

    * TagK* does not resolve for constructors with bounded parameters, e.g. S in

    class Abc[S <: String]; TagK[Abc]

    (You can still have a bound in partial application: e.g.

    class Abc[S <: String, A]; TagK[Abc["hi", ?]]

    * Further details at https://github.com/pshirshov/izumi-r2/pull/369

    Definition Classes
    WithTags
    Annotations
    @implicitNotFound( ... )
  30. trait WeakTag[T] extends AnyRef
    Definition Classes
    WithTags
  31. trait WeakTagInstances0 extends WeakTagInstances1
    Definition Classes
    WithTags
  32. trait WeakTagInstances1 extends AnyRef
    Definition Classes
    WithTags

Value Members

  1. object Id
    Definition Classes
    WithDIAnnotation
  2. object With
    Definition Classes
    WithDIAnnotation
  3. object Association
    Definition Classes
    WithDIAssociation
  4. object DependencyContext
    Definition Classes
    WithDIDependencyContext
  5. object Wiring
    Definition Classes
    WithDIWiring
  6. object DIKey
    Definition Classes
    WithDIKey
  7. object TypedRef extends Serializable
    Definition Classes
    WithDITypedRef
  8. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  9. final def ##(): Int
    Definition Classes
    AnyRef → Any
  10. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  11. implicit def anyIdContract[T]: IdContract[T]
    Definition Classes
    RuntimeDIUniverse
  12. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  13. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  14. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  15. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  16. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  18. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  19. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  20. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  21. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  22. implicit def singletonStringIdContract[S <: String with Singleton]: IdContract[S]
    Definition Classes
    RuntimeDIUniverseWithDIKey
  23. implicit def stringIdContract: IdContract[String]
    Definition Classes
    RuntimeDIUniverseWithDIKey
  24. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  25. def toString(): String
    Definition Classes
    AnyRef → Any
  26. val typeOfDistageAnnotation: SafeType
    Attributes
    protected
    Definition Classes
    RuntimeDIUniverseWithDISymbolInfo
  27. final val u: scala.reflect.runtime.universe.type
    Definition Classes
    RuntimeDIUniverseUniverseGeneric
  28. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  29. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  30. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. object Provider
    Definition Classes
    WithDICallable
  32. object SafeType extends Serializable
    Definition Classes
    WithDISafeType
  33. object SymbolInfo
    Definition Classes
    WithDISymbolInfo
  34. object HKTag extends LowPriorityHKTagInstances
    Definition Classes
    WithTags
  35. object Tag extends LowPriorityTagInstances
    Definition Classes
    WithTags
  36. object TagK
    Definition Classes
    WithTags
  37. object TagK3
    Definition Classes
    WithTags
  38. object TagKK
    Definition Classes
    WithTags
  39. object TagT
    Definition Classes
    WithTags
  40. object TagTK
    Definition Classes
    WithTags
  41. object TagTK3
    Definition Classes
    WithTags
  42. object TagTKK
    Definition Classes
    WithTags
  43. object WeakTag extends WeakTagInstances0
    Definition Classes
    WithTags

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from RuntimeDIUniverse

Inherited from DIUniverse

Inherited from WithDIAnnotation

Inherited from WithDIWiring

Inherited from WithDIAssociation

Inherited from WithDIDependencyContext

Inherited from WithDIKey

Inherited from WithDICallable

Inherited from WithDITypedRef

Inherited from WithDISymbolInfo

Inherited from WithDISafeType

Inherited from WithTags

Inherited from DIUniverseBase

Inherited from UniverseGeneric

Inherited from AnyRef

Inherited from Any

Ungrouped