Packages

trait RuntimeDIUniverse extends DIUniverse

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RuntimeDIUniverse
  2. DIUniverse
  3. WithDIAnnotation
  4. WithDIWiring
  5. WithDIAssociation
  6. WithDIDependencyContext
  7. WithDIKey
  8. WithDICallable
  9. WithDITypedRef
  10. WithDISymbolInfo
  11. WithDISafeType
  12. WithTags
  13. DIUniverseBase
  14. UniverseGeneric
  15. AnyRef
  16. 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]
  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. class FactoryProvidersCannotBeCombined extends DIException
    Definition Classes
    WithDICallable
  23. trait Provider extends (WithDICallable.this)#Callable
    Definition Classes
    WithDICallable
  24. class UnsafeCallArgsMismatched extends DIException
    Definition Classes
    WithDICallable
  25. case class SafeType(tpe: (WithDISafeType.this)#TypeNative, fullLightTypeTag: FLTT) extends SafeType0[(WithDISafeType.this)#u.type] with Product with Serializable
    Definition Classes
    WithDISafeType
  26. trait SymbolInfo extends AnyRef
    Definition Classes
    WithDISymbolInfo
  27. 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
  28. trait LowPriorityHKTagInstances extends AnyRef
    Definition Classes
    WithTags
  29. trait LowPriorityTagInstances extends AnyRef
    Definition Classes
    WithTags
  30. 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/7mind/izumi/pull/369

    Definition Classes
    WithTags
    Annotations
    @implicitNotFound( ... )
  31. trait WeakTag[T] extends AnyRef
    Definition Classes
    WithTags
  32. trait WeakTagInstances0 extends WeakTagInstances1
    Definition Classes
    WithTags
  33. 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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  12. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @HotSpotIntrinsicCandidate() @throws( ... )
  13. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  14. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  15. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  16. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @HotSpotIntrinsicCandidate()
  17. val identityEffectType: SafeType
  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 val 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 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