Help with related pattern matching to ts-pattern

[wilsonlewis]

We use ts-pattern and love it, but we are also seeking help for a different type of pattern matching function for our codebase, and thought someone here might be able to help...

We have a generic type:

type DataType<Type extends string, Data> = {
  type: Type,
  data: Data
}

We would like to be able to do this:

// psuedo without types
function match(pattern) {
  return (event) => {
    const handle = pattern[event.type]
    if (handle) return handle(event.data)
    const catchall = pattern['*']
    if (catchall) return catchall(event)
  }
}

type MyData =
  | DataType<'foo', { bar: string }>
  | DataType<'biz', { baz: number}>

// should be exhaustive when there is not an * key to catchall
// inferred return type should be (value: MyData) => string | number
// the return type should be inferred by a union of all the possible matched return types
const matcher = match<MyData>({
  foo: (data) => data.bar, // data inferred as { bar: string },
  biz: (data) => data.baz, // data inferred as { baz: number}
})

Is this even possible?

Thanks!