Middleware `action` is typed as `any`

[ethanneff]

The documentation is missing typing on action. https://redux.js.org/usage/usage-with-typescript#type-checking-middleware

export type AppStore = typeof store;
export type AppState = ReturnType<typeof store.getState>;
export type AppDispatch = typeof store.dispatch;
export type AppMiddleware = Middleware<void, AppState, AppDispatch>;

export const loggerMiddleware: AppMiddleware =
  (storeApi) => (next) => (action) => {
    const state = storeApi.getState();

    console.log(action.type, state); // Unsafe member access .type on an `any` value.

    return next(action); // Unsafe return of an `any` typed value.
  };

[markerikson]

That's because as far as the middleware is concerned, that action literally could be anything. It could be an action object, it could be a thunk function, it could be a promise... anything at all:

export interface Middleware<
  DispatchExt = {},
  S = any,
  D extends Dispatch = Dispatch
> {
  (api: MiddlewareAPI<D, S>): (
    next: Dispatch<AnyAction>
  ) => (action: any) => any
}

It's up to you to do appropriate type guard checks if you need to narrow it down.

[EskiMojo14]

if you want this to be more explicit, you can force action to be unknown:

export const loggerMiddleware: AppMiddleware =
  (storeApi) => (next) => (action: unknown) => {

this would force you to check what the action is before you can do anything with it.

[ethanneff]

Is there a way to do this without using any or unknown for action:?

For example, is there a known way to pull the action type for all actions?

const actions = {
  ...deviceSlice.actions,
  ...authSlice.actions,
};

type AppAction = typeof actions;

[EskiMojo14]

by doing so, you would be lying to Typescript: Do not create union types with Redux Action Types. It's most likely an antipattern.

if you want to check whether an action is a known one, you can use the action creator's match method and/or RTK's matching utilities.

the simple fact is that you do not know what is being dispatched - in a middleware, it could be anything (thunks for example are functions and would not have a .type property at all)

[ethanneff]

For context, I was trying to migrate an existing redux library to toolkit. In my existing codebase, I had full type-safety around actions, dispatches, and middleware.

But this relied on a RootAction, which from the article is an anti-pattern.

I guess my next best bet is to type it as unknown and guard check it.

[markerikson]

Yep. Type action as unknown here in the middleware.

Per that article, we really don't find it useful to limit what can be passed into dispatch at the TS level.

[EskiMojo14]

yeah, so for example your reduxWhitelist check could instead look like:

export type AppMiddleware<DispatchExt = {}> = Middleware<DispatchExt, AppState, AppDispatch>;

const isWhitelistedAction = isAnyOf(chatCreated, chatDeleted);

export const syncMiddleware: AppMiddleware = (mwApi) => (next) => (action: unknown) => {
  if (isWhitelistedAction(action)) {
     // inside this block, action is now a union of all the actions whitelisted
     syncQueue.set([action.type]);
  }
  return next(action);
}

[guillaumebrunerie]

I would also very much like it to default to unknown, which is (in my opinion) the correct way to say that it can be anything at all.
Generally speaking, I would love that all instances of any be replaced by unknown. Having bugs that would have been prevented by Typescript just because Redux silently introduced some any type somewhere is one of the few places where I find the typing suboptimal. For instance the Reducer type defaults with any, and there are various other places where the AnyAction type is used.

[Methuselah96]

I am also interested in defaulting those to unknown for v5 and have poked at that a little bit. It should be possible to make state default to unknown, but actions are a bit more tricky since they need to be covariant in some places and contravariant in other places. Using AnyAction as the default action sweeps those issues under the rug (for better or worse).

[Methuselah96]

Although after discussing it some more, I think they're always contravariant, but it will still take more work to avoid AnyAction for the default type.