copyWith method

A copy with the given properties replaced; everything else, unknown keys included, is kept.

Implementation

ProgressNotification copyWith({
  ProgressNotificationParams? params,
}) =>
    ProgressNotification.fromJson({
      ...toJson(),
      if (params != null) 'params': $encode(params),
    });