search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
90 stars 23 forks source link

[ new ] pretty-printed dependency graphs #245

Closed stefan-hoeck closed 1 year ago

stefan-hoeck commented 1 year ago

Adds query options -tree and --parent-tree. The former prints the dependency graph of a library, the latter the inverse dependency graph: A tree of libraries (transitively) depending on the one we are searching.

Examples:

» build/exec/pack --tree query rhone
rhone
|
|
quantifiers-extra

rhone-js
|______________________________
|            |                 |
dom          refined           rhone
|__          |_______          |
|  |         |       |         |
js elab-util algebra elab-util quantifiers-extra
|_________________
|                 |
quantifiers-extra elab-util