purescript/purescript-docs-search

API for integration with editors (hoogle-like)

mkohlhaas opened this issue · 4 comments

mkohlhaas commented

Could the command line return JSON/XML/Dhall or some other data output?

Would be great e.g. for third-party integration.

klntsky commented

@mkohlhaas
Dhall is certainly not for machines. JSON - I think that's possible, but could you please provide some example use cases?

  • 👍1
mkohlhaas commented

Hi Vladimir,

e.g. you could use it in your editor. There are similar plugins for Hoogle, e.g. fzf-hoogle.vim and many others.

See also the Hoogle JSON API.

klntsky commented

@mkohlhaas this is achievable.

I'm going to post it to discord to see if the feature gets enough interest.

klntsky commented

There was not enough interest, but I think the issue should remain open as someone may prioritize it and actually start working on this feature.

  • 👍1