PureScript

July 19, 2022 ยท View on GitHub

  • Generate with spago docs --deps-only -f markdown
  • Select some files and copy in source
  • cat source/*.md > functions.txt
  • Delete lines with sed -i '/ :: /!d' functions.txt
  • Delete all functions from instances :g/^ /d because missing constraint
  • Delete instance: g/^instance /d
  • Delete lines beginning with asterisk: :g/^\*/d
  • Delete lines with multiple ::: :g/::.*::/d
  • Delete explicit forall: :%s/forall .*\. //g
  • Delete derives: g/^derive /d
  • Drop examples like splitAt that are failing tests
  • Make unique and sort sort -u -o functions.txt functions.txt