Designing a convenient type alias to pair with IdentifiedActionOf

[arasan01]

We have IdentifiedActionOf which is closely related to the definition by Reducer. This is often used in combination with Reducer.Action and Reducer.State: Identifiable. Currently, the type used in Action can be passed directly from the Reducer, while the type used in State is a bit more specific: an array of Reducer.State. It seems worthwhile to introduce a helper to help a little bit of cognition when considering combining Reducer.

example: Example/Todos

struct State: Equatable {
  ...
  var todos: IdentifiedArrayOf<Todo.State> = []

  var filteredTodos: IdentifiedArrayOf<Todo.State> {
    ...
  }
}

enum Action: BindableAction, Sendable {
  ...
  case todos(IdentifiedActionOf<Todo>)
}

For existing Action definitions...

public typealias IdentifiedActionOf<R: Reducer> = IdentifiedAction<R.State.ID, R.Action>
where R.State: Identifiable

Helpers worth introducing are...

public typealias IdentifiedStatesOf<R: Reducer> = IdentifiedArray<R.State.ID, R.State>
where R.State: Identifiable

In that case...

struct State: Equatable {
  ...
  var todos: IdentifiedStatesOf<Todo> = []

  var filteredTodos: IdentifiedStatesOf<Todo> {
    ...
  }
}

enum Action: BindableAction, Sendable {
  ...
  case todos(IdentifiedActionOf<Todo>)
}