Is there a way to approach Type Lamdas?

[Brooooooklyn]

I have a function with Generic types and I want transfer it into another function with the same Generic types:

class Module {
  foo<T>(action$: Observable<T>): Observable<R>
  bar<T>(action$: Observable<T>): Observable<R>
}

interface ModuleActionProps<M extends Module> {
  [key in keyof M]: (payload T): R // need something here transform <T>(action$: Observable<T>): Observable<R> to (payload: T): R to ensure T and R is same here
}

[gcnew]

Do you mean the same generic container type? If that's the case #1213 is tracking adding Higher Kinded Types.

E.g. someting like

interface ModuleActionProps<M extends Module, C> {
  [key in keyof M]: <T, R>(payload: C<T>): C<R> // `C` is the collection type
}

[Brooooooklyn]

uh... I don't know how to describe what I want in terms.

I think this approach could describe what I need:

type GetGenericType1<F extends <T, R>(action$: Observable<T>): Observable<R>> = T

type GetGenericType2<F extends <_, R>(action$: Observable<T>): Observable<R>> = R

interface ModuleActionProps<M extends Module, C> {
  [key in keyof M]: (payload: GetGenericType1<M[key]>):  GetGenericType2<M[key]> 
}

[Brooooooklyn]

maybe this question could be describe as Type Lambdas

[gcnew]

Take a look at #14400 and #6606. These suggestions propose type-first and expression-first type level application.

[HerringtonDarkholme]

Related #12342

[mhegazy]

I think this should be covered by #21316

[KiaraGrouwstra]

6606 version: express type lambda T => T as <T>(v: T) => T.

[typescript-bot]

Automatically closing this issue for housekeeping purposes. The issue labels indicate that it is unactionable at the moment or has already been addressed.