Please, can inferred types be copied to clipboard

[Anton-Latukha]

Currently, there are numerous cases when types that are inferred (for instance declarations, for local functions, for typed holes) are shown in floating minibuffer, but can not be copied to search information on them.

As a regular user I need to manually remember, & retype IOEnv (Env TcGblEnv TcLclElv) a -> IO a in a separate virtual monitor to websearch.

If something - I know where are the inferred type signatures are in the HLS. But seems like that info is provided into Emacs & also can be retrieved in it.

An inferred signature retrieval key combination would be of immense help.

[yyoncho]

FYI there is M-x lsp-describe-thing-at-point which will open a buffer supporting copying.

[Anton-Latukha]

Yup. Writing a report - thought same thing (somebody would tell me to configure/open static buffer).

It is hidden in Spacemacs in h (help) submenu (, h h).

Good enough for me. But separate function would been even awesomer (*sic). It asks to exist when project would have #129 ability.

[yyoncho]

JFYI you can use K in spacemacs as well.

[Anton-Latukha]

Never knew of these short key combinations, K is not in the Spacemacs development Haskell layer docs nor in development LSP layer docs & idk how to search/see all currently loaded Emacs keybinds in the keymap (seems to be describe-bindings).

[yyoncho]

It is in top level spacemacs convention. K = ,hh; gd = ,gg