How to type guards so that their event & { cond } arguments contain the correct props?

[lsps9150414]

I have a batchEmpty guard and a canJumpTo custom guard defined inside the machine option and referenced inside machine config but getting Typescript error.

Inside an invoke node:

invoke: {
  src: DiscoveryAction.getDiscoveryProfiles,
  onDone: [
    {
      target: getStateId(DiscoveryState.OPENED_EMPTY),
      cond: DiscoveryGuard.batchEmpty,  // <--- My guard
    },
  ],
},

inside an on node:

on: {
    [JUMP_TO]: [
      {
        target: getStateId(DiscoveryState.DISCOVERING),
        cond: {
          type: DiscoveryGuard.canJumpTo,  // <--- My custom guard
          jumpTo: DiscoveryState.DISCOVERING,
        },
      },
    ],
  },
},

Option

{
  guards: {
    [DiscoveryGuard.batchEmpty]: (ctx, e) => {
      // Getting TS error: Type Property 'data' does not exist on type 'DiscoveryEvent'
      console.log(e?.data);
    },
    [DiscoveryGuard.canJumpTo]: (ctx, e, { cond }) => {
      // Getting TS error: Property 'target' does not exist on type 'DiscoveryEvent'.
      // Getting TS error: Property 'target' does not exist on type 'Guard<DiscoveryContext, DiscoveryEvent>'.
      console.log(return e?.jumpTo === cond?.jumpTo;)
    },
  },
};

What is the proper way to type such guards?

[Andarist]

For now, you need to assert the type in your guard's implementation. We are thinking about how to make this better with an additional tool that would aid the development. The current attempts at this can be found here: https://github.com/mattpocock/xstate-codegen but this doesn't cover your use case yet.

[lsps9150414]

Thanks for the reply!