Infer for modules/scopes

[xixixao]

Request a feature

🤷 Motivation

If I have a big scope/module I don't want to have to pull out all the types one by one an refer to them

💡 Solution

This works:

type InferModule<M> = {
  [K in keyof M]: M[K] extends { infer: infer O } ? O : never;
};

used like:

const MlflowSchema = type.module({
  SearchExperimentsResponse: {
    experiments: "Experiment[]",
    next_page_token: "string?",
  },
  Experiment: {
    experiment_id: "string"
  },
});

type MlflowSchema = InferScope<typeof MlflowSchema>;

If this is already "built-in" I could not find it in the docs.

[pullfrog]

  ^{｜ Build this ➔ ｜ Make a plan ➔ ｜ pullfrog.com}

[xixixao]

Also jump to definition doesn't work on the (runtime) Scope.Type expression, which is unfortunate, and makes me want to move away from scopes unless I have cyclic types...