Listing all results from doc-search in xml format
mikesol opened this issue · 2 comments
mikesol commented
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.
mikesol commented
Thanks, will ask there!