2023-07-26 17:42:11 -04:00
|
|
|
import 'package:flutter_riverpod/flutter_riverpod.dart';
|
2023-07-26 14:20:29 -04:00
|
|
|
|
2023-01-10 21:04:18 -05:00
|
|
|
import '../tools/tools.dart';
|
|
|
|
|
|
|
|
enum ConnectionState {
|
|
|
|
detached,
|
|
|
|
detaching,
|
|
|
|
attaching,
|
|
|
|
attachedWeak,
|
|
|
|
attachedGood,
|
|
|
|
attachedStrong,
|
|
|
|
fullyAttached,
|
|
|
|
overAttached,
|
|
|
|
}
|
|
|
|
|
|
|
|
ExternalStreamState<ConnectionState> globalConnectionState =
|
|
|
|
ExternalStreamState<ConnectionState>(ConnectionState.detached);
|
2023-07-26 17:42:11 -04:00
|
|
|
AutoDisposeStreamProvider<ConnectionState> globalConnectionStateProvider =
|
|
|
|
globalConnectionState.provider();
|