purescript/purescript-docs-search

Listing all results from doc-search in xml format

mikesol opened this issue · 2 comments

Great work on this package!

I'm experimenting with a different indexing method using SBERT and FAISS.

I'm wondering if it's possible to dump the entire index in xml form. For example:

<entry>
  <package>purescript-lists</package>
  <module>Data.List</module>
  <id>singleton</id>
  <def>singleton :: forall a. a -> List a</def>
  <doc>Create a list with a single element.

Running time: `O(1)`</doc>
</entry>

It's easier to work with SBERT when things are organized like this.

If you have pointers on how to hack at the repo to get there, I can give it a shot!

f-f commented

This project has been merged into spago, here - this repo is missing the last two years worth of patches/updates.

Thanks, will ask there!