Can I just generate typescript declarations locally and provide them with the source code?

[nikelborm]

I'm so tired of those slow types errors while 90% of my code relies on the power of dynamic inference.
Here's an example:

// Extracting to a separate type is required by JSR, so that consumers of the
// library will have much faster type inference
export const _1: TaggedErrorClassWithNoContext<
  'GitHubApiGeneralServerError',
  typeof RequestError
> = buildTaggedErrorClassVerifyingCause()(
  'GitHubApiGeneralServerError',
  'GitHub API Error: Bad server',
  RequestError,
);

export class GitHubApiGeneralServerError extends _1 {}

// Extracting to a separate type is required by JSR, so that consumers of the
// library will have much faster type inference
export const _2: TaggedErrorClassWithNoStaticContext<
  'GitHubApiGeneralUserError',
  typeof RequestError,
  { readonly notes?: string }
> = buildTaggedErrorClassVerifyingCause<{ readonly notes?: string }>()(
  'GitHubApiGeneralUserError',
  'GitHub API Error: Bad user, invalid request',
  RequestError,
);

export class GitHubApiGeneralUserError extends _2 {}

// Extracting to a separate type is required by JSR, so that consumers of the
// library will have much faster type inference
const _3: TaggedErrorClassWithNoContext<
  'GitHubApiThingNotExistsOrYouDontHaveAccessError',
  typeof RequestError
> = buildTaggedErrorClassVerifyingCause()(
  'GitHubApiThingNotExistsOrYouDontHaveAccessError',
  "GitHub API Error: Either repo, owner, path in repo, or specified ref don't exist or you don't have permissions to access it",
  RequestError,
);

export class GitHubApiThingNotExistsOrYouDontHaveAccessError extends _3 {}

// Extracting to a separate type is required by JSR, so that consumers of the
// library will have much faster type inference
export const _4: TaggedErrorClassWithNoContext<
  'GitHubApiRepoIsEmptyError',
  typeof RequestError
> = buildTaggedErrorClassVerifyingCause()(
  'GitHubApiRepoIsEmptyError',
  'GitHub API Error: This Repo is empty',
  RequestError,
);

export class GitHubApiRepoIsEmptyError extends _4 {}

// Extracting to a separate type is required by JSR, so that consumers of the
// library will have much faster type inference
export const _5: TaggedErrorClassWithNoStaticContext<
  'GitHubApiNoCommitFoundForGitRefError',
  typeof RequestError,
  { gitRef: string }
> = buildTaggedErrorClassVerifyingCause<{ gitRef: string }>()(
  'GitHubApiNoCommitFoundForGitRefError',
  'GitHub API Error: No commit found for this git ref',
  RequestError,
);

export class GitHubApiNoCommitFoundForGitRefError extends _5 {}

// Extracting to a separate type is required by JSR, so that consumers of the
// library will have much faster type inference
export const _6: TaggedErrorClassWithNoContext<
  'GitHubApiBadCredentialsError',
  typeof RequestError
> = buildTaggedErrorClassVerifyingCause()(
  'GitHubApiBadCredentialsError',
  "GitHub API Error: Token you're using is invalid.",
  RequestError,
);

export class GitHubApiBadCredentialsError extends _6 {}

// Extracting to a separate type is required by JSR, so that consumers of the
// library will have much faster type inference
export const _7: TaggedErrorClassWithNoContext<
  'GitHubApiAuthRatelimitedError',
  typeof RequestError
> = buildTaggedErrorClassVerifyingCause()(
  'GitHubApiAuthRatelimitedError',
  'GitHub API Error: Too many invalid auth attempts. Chillout pal',
  RequestError,
);

export class GitHubApiAuthRatelimitedError extends _7 {}

// Extracting to a separate type is required by JSR, so that consumers of the
// library will have much faster type inference
export const _8: TaggedErrorClassWithNoContext<
  'GitHubApiRatelimitedError',
  typeof RequestError
> = buildTaggedErrorClassVerifyingCause()(
  'GitHubApiRatelimitedError',
  'GitHub API Error: Too many requests. Chillout pal',
  RequestError,
);

export class GitHubApiRatelimitedError extends _8 {}

And many times it's just impossible to provide those typings because I use Effect.ts, which LOVES to dynamically build superclasses as function calls. It's just absolutely almost every single thing in this framework is intended to be used this way.

And typescript is able to generate dts files for NPM package perfectly. No problems.

Is there just somewhere a preprocessing build step or a tool, that allows to inline those locally built type declarations into a package before publishing it to JSR, while keeping the main codebase of my library clean so I can just happily enjoy the benefits of type inference?

For example I want to write code like this:

export class GitHubApiRatelimitedError extends buildTaggedErrorClassVerifyingCause()(
  'GitHubApiRatelimitedError',
  'GitHub API Error: Too many requests. Chillout pal',
  RequestError,
) {}

And before publishing, it will be transformed to something like this:

export const _8: TaggedErrorClassWithNoContext<
  'GitHubApiRatelimitedError',
  typeof RequestError
> = buildTaggedErrorClassVerifyingCause()(
  'GitHubApiRatelimitedError',
  'GitHub API Error: Too many requests. Chillout pal',
  RequestError,
);

export class GitHubApiRatelimitedError extends _8 {}

It's so frustrating, that I'm forced to create 2 identifiers instead of 1 and simply using as also doesn't work. What's so complex about as???

error[unsupported-super-class-expr]: super class expression was too complex
   --> /home/nikel/projects/fetch-github-folder/src/commonErrors.ts:101:48
    | 
101 | export class GitHubApiRatelimitedError extends (buildTaggedErrorClassVerifyingCause()(
    |                                                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
102 |   'GitHubApiRatelimitedError',
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
103 |   'GitHub API Error: Too many requests. Chillout pal',
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
104 |   RequestError,
    | ^^^^^^^^^^^^^^^
105 | ) as TaggedErrorClassWithNoContext<
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
106 |   'GitHubApiRatelimitedError',
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
107 |   typeof RequestError
    | ^^^^^^^^^^^^^^^^^^^^^
108 | >) {}
    | ^^ this is the superclass expression

The absurdity of it is that this code even compiles successfully with isolatedDeclarations enabled, but that's still not enough to publish it to JSR:

export class GitHubApiRatelimitedError extends (buildTaggedErrorClassVerifyingCause()(
  'GitHubApiRatelimitedError',
  'GitHub API Error: Too many requests. Chillout pal',
  RequestError,
) as TaggedErrorClassWithNoContext<
  'GitHubApiRatelimitedError',
  typeof RequestError
>) {}

[AugustinMauroy]

Take a look here https://github.com/AugustinMauroy/typescript-package-template
i transpile it then publish it to npm & jsr
if you don't want to publish to npm just remove the step in GHA