feat: access providers in same scope

examples/auto_route/analysis_options.yaml

@@ -1,6 +1,7 @@
 analyzer:
   errors:
     always_put_required_named_parameters_first: ignore
+    specify_nonobvious_property_types: ignore
 include: package:very_good_analysis/analysis_options.yaml
 
 linter:

examples/bloc/analysis_options.yaml

@@ -1,6 +1,9 @@
+analyzer:
+  errors:
+    specify_nonobvious_property_types: ignore
 include: package:very_good_analysis/analysis_options.yaml
 
 linter:
   rules:
     # since this is just an example, there is no need for ubiquitous documentation.
-    public_member_api_docs: false
+    public_member_api_docs: false

examples/solidart/analysis_options.yaml

@@ -3,6 +3,7 @@ include: package:very_good_analysis/analysis_options.yaml
 analyzer:
   errors:
     always_put_required_named_parameters_first: ignore
+    specify_nonobvious_property_types: ignore
   plugins:
     - custom_lint
 

packages/disco/CHANGELOG.md

@@ -1,3 +1,8 @@
+## 2.0.0
+
+- **FEAT**: Allow providers declared in the same `ProviderScope` to depend on each other, by leveraging the order of declaration. This simplifies the development experience and prevents circular dependencies by design.
+- **FEAT**: Add `debugName` parameter to providers for easier debugging, allowing better identification of providers in error messages and logs.
+
 ## 1.0.3+1
 
 - **CHORE**: Improve documentation.

packages/disco/lib/src/disco_internal.dart

@@ -10,6 +10,7 @@ part 'models/providers/instantiable_provider.dart';
 part 'models/providers/provider_argument.dart';
 part 'models/providers/provider.dart';
 part 'utils/disco_config.dart';
+part 'utils/extensions.dart';
 part 'widgets/provider_scope.dart';
 part 'widgets/provider_scope_override.dart';
 part 'widgets/provider_scope_portal.dart';

packages/disco/lib/src/models/overrides/provider_argument_override.dart

@@ -4,10 +4,8 @@ part of '../../disco_internal.dart';
 /// [_argProvider].
 @immutable
 class ArgProviderOverride<T extends Object, A> extends Override {
-  ArgProviderOverride._(
-    this._argProvider,
-    T value,
-  )   : _value = value,
+  ArgProviderOverride._(this._argProvider, T value, {this.debugName})
+      : _value = value,
         super._();
 
   /// The reference of the argument provider to override.
@@ -24,4 +22,7 @@ class ArgProviderOverride<T extends Object, A> extends Override {
         (_) => _value,
         lazy: false,
       );
+
+  /// {@macro Provider.debugName}
+  final String? debugName;
 }

packages/disco/lib/src/models/providers/provider.dart

@@ -36,6 +36,7 @@ class Provider<T extends Object> extends InstantiableProvider {
 
     /// {@macro Provider.lazy}
     bool? lazy,
+    this.debugName,
   })  : _createValue = create,
         _disposeValue = dispose,
         _lazy = lazy ?? DiscoConfig.lazy,
@@ -46,8 +47,9 @@ class Provider<T extends Object> extends InstantiableProvider {
     CreateArgProviderValueFn<T, A> create, {
     DisposeProviderValueFn<T>? dispose,
     bool lazy = true,
+    String? debugName,
   }) =>
-      ArgProvider._(create, dispose: dispose, lazy: lazy);
+      ArgProvider._(create, dispose: dispose, lazy: lazy, debugName: debugName);
 
   /// {@template Provider.lazy}
   /// Makes the creation of the provided value lazy. defaults to true.
@@ -118,4 +120,9 @@ class Provider<T extends Object> extends InstantiableProvider {
 
   /// Returns the type of the value.
   Type get _valueType => T;
+
+  /// {@template Provider.debugName}
+  /// An optional debug name for this provider.
+  /// {@endtemplate}
+  final String? debugName;
 }

packages/disco/lib/src/models/providers/provider_argument.dart

@@ -17,6 +17,7 @@ class ArgProvider<T extends Object, A> {
     CreateArgProviderValueFn<T, A> create, {
     DisposeProviderValueFn<T>? dispose,
     bool? lazy,
+    this.debugName,
   })  : _createValue = create,
         _disposeValue = dispose,
         _lazy = lazy ?? DiscoConfig.lazy;
@@ -37,7 +38,7 @@ class ArgProvider<T extends Object, A> {
   /// {@macro Provider.overrideWithValue}
   @visibleForTesting
   ArgProviderOverride<T, A> overrideWithValue(T value) =>
-      ArgProviderOverride._(this, value);
+      ArgProviderOverride._(this, value, debugName: debugName);
 
   // ---
   // DI methods
@@ -47,7 +48,7 @@ class ArgProvider<T extends Object, A> {
   T of(BuildContext context) {
     final provider = maybeOf(context);
     if (provider == null) {
-      throw ArgProviderWithoutScopeError(this);
+      throw ProviderWithoutScopeError(this);
     }
     return provider;
   }
@@ -81,6 +82,9 @@ class ArgProvider<T extends Object, A> {
         dispose: _disposeValue,
         lazy: _lazy,
       );
+
+  /// {@macro Provider.debugName}
+  final String? debugName;
 }
 
 /// {@template InstantiableArgProvider}

packages/disco/lib/src/utils/extensions.dart

@@ -0,0 +1,19 @@
+part of '../disco_internal.dart';
+
+extension _DebugNameProvider<T extends Object> on Provider<T> {
+  // Returns a debug name for the provider.
+  String? get _debugName {
+    var s = 'Provider<$_valueType>';
+    if (debugName != null) s += '(name: $debugName)';
+    return s;
+  }
+}
+
+extension _DebugNameArgProvider<T extends Object, A> on ArgProvider<T, A> {
+  // Returns a debug name for the provider with arguments.
+  String? get _debugName {
+    var s = 'ArgProvider<$_valueType, $_argumentType>';
+    if (debugName != null) s += '(name: $debugName)';
+    return s;
+  }
+}