Apply formatting to hover information

[InSyncWithFoo]

Here's what ty has to say about the type of pydantic.Field:

For reference, here's Pyright's:

There are two problems here:

• There is no syntax highlighting.

  The code block's language is text, but it should be python. I understand ty's type information is not always valid Python, but for all intents and purposes it might as well be considered as such. I'd also like to add that ty should put more trust in syntax highlighters, which are often written with invalid code in mind.

• The formatting is unreadable.

  I feel like it should be possible to run Ruff's formatter on ty's output, especially syntactically valid ones like Literal["some", "very", "long", "names"].

[Gankra]

We've since added python highlighting but are still dropping the ball on pretty-printing the type (this scrolls for a long while, eventually you also hit docs).

[InSyncWithFoo]

@Gankra Appreciate the update, and thanks for your recent work on new server features. I have been seeing syntax highlighting, but no docstrings anywhere. Is there something I need to set client-side to get that to work? Neither the docs nor the PR mentions such a thing.

I'm using a self-built version of ty on PyCharm, if that matters.

Here's a screenshot, for debugging and entertainment:

[Gankra]

The docstring stuff landed like, a day or two ago so unless you have the latest build of main you won't see it, but otherwise it should Just Work?

[InSyncWithFoo]

@Gankra I did in fact have the latest build of the main branch, unless something was wrong with gh run download. On the other hand, 0.0.1-alpha.18 does work:

Not pretty by any means, but certainly an improvement over Pyright's:

[MichaReiser]

I'll merge this into #1000, now that we do apply some basic formatting (I'll create another issue for docstring formatting)