search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
105 stars 27 forks source link

[feature request] create a website like https://pursuit.purescript.org/search?q= #312

Open srghma opened 1 month ago

srghma commented 1 month ago

so, in purescript land we publish packages to pursuit using https://github.com/purescript/spago/

  1. I increment version in spago.yaml using vim
  2. spago publish
  3. it checks tests
  4. it git tag add NEWVERSION
  5. it git push --all
  6. it "tag was pushed? can fetch it from outside? yay, published, good"

every day at XX p.m. new bundle of packages is created at registry https://github.com/purescript/registry and now people can increment their 

workspace:
  packageSet:
    registry: 41.2.0

to a new version using spago upgrade

would be good to have a website like this (like pursuit or hoogle) where one can search types

and see for which system the package is (node, browser, javascript, ...etc)

stefan-hoeck commented 1 month ago

We do have quite a bit of what you describe above alread with the official pack collection where links to docs and and annotated resources are provided: Pack collection status page.

Currently, the page above is not searchable, and yes, that's a limitation. I currently don't have the capacity to implement a hoogle alternative, so contributions in this regard are highly welcome.

srghma commented 3 weeks ago

related

https://idris2docs.sinyax.net/ https://git.sr.ht/~cypheon/idris2-quickdocs