Get all providers for an interface type from the current scope chain.

Get a named provider by trying exact key (Type:name) then interface scan (Type:Impl:name). Raises AmbiguousServiceError if multiple interface impls share the same name.

Get a named provider, returning nil if not found. Raises AmbiguousServiceError if multiple interface impls share the same name.

Get a provider from the current scope chain (or root registry). Tries exact key first, then interface prefix scan.

Get a provider from the current scope chain, returning nil if not found.

Check health of all resolved singletons in a named scope.

Includes inherited services from parent scopes. Raises Di::ScopeNotFound if the scope is not active in the current fiber.

Check health of all resolved singletons in the root registry.

Returns a hash mapping provider keys to health status. Only includes services that respond to .healthy? and have been resolved.

Track resolution chain to detect circular dependencies at runtime. Yields to block. Raises CircularDependency if type is already in chain.

Register a provider in the current scope (or root registry). Sets the provider key for cycle detection before storing.

Clear all providers and scopes (test helper).

Resets the container to a clean state. Primarily for use in specs. Raises Di::ScopeError if any scope is active in any fiber.

Create a named scope with parent inheritance.

Providers registered inside the block are scoped. The scope inherits all providers from the parent (or root if at top level). On block exit, shutdown is called on all scope-local singleton providers.

Example:

Di.scope(:request) do
  Di.provide { CurrentUser.from_token(token) }
  user = Di[CurrentUser]
end

Shut down all singleton providers in reverse registration order.

Calls .shutdown on services that respond to it. Transient services and services without .shutdown are skipped. Raises Di::ScopeError if any scope is active in any fiber.

Resolve a service by type.

Returns the instance as exactly T — fully typed, no casting. Singleton providers return the cached instance; transient providers create a new instance on every call.

Example:

db = Di[Database]
primary = Di[Database, :primary]

Raises Di::ServiceNotFound if the type is not registered.

Resolve a service by type, returning nil if not registered.

Returns T? — the instance or nil. Does not raise.

Example:

db = Di[Database]?
replica = Di[Database, :replica]?

Resolve a service by type.

Deprecated: Use Di[Type] instead. This alias exists for backward compatibility but the bracket syntax is preferred for idiomatic Crystal.

Example:

db = Di.invoke(Database)                # deprecated
db = Di[Database]                       # preferred
primary = Di.invoke(Database, :primary) # deprecated
primary = Di[Database, :primary]        # preferred

Raises Di::ServiceNotFound if the type is not registered.

Resolve a service by type, returning nil if not registered.

Deprecated: Use Di[Type]? instead. This alias exists for backward compatibility but the bracket syntax is preferred for idiomatic Crystal.

Example:

db = Di.invoke?(Database) # deprecated
db = Di[Database]?        # preferred

Register a service provider.

No block (auto-wire):

• Di.provide UserService
• Di.provide UserService, as: :primary

Interface binding (2 types, no block):

• Di.provide Printable, Square # register Square under Printable key
• Di.provide Printable, Square, as: :primary

Block forms:

• Di.provide { Database.new(url) }
• Di.provide(A) { |a| B.new(a) }
• Di.provide(A, B) { |a, b| C.new(a, b) }
• Di.provide({Database, :primary}) { |db| Repo.new(db) }

With dependency types, each is resolved and passed to block arguments in order. This works at top-level without macro-order issues.