| 2026-05-07 |
Javier Sagredo | Drop the data-fam-instance "Kind" panel entry entirely |
commit | commitdiff | tree | snapshot |
| 2026-05-07 |
Javier Sagredo | Family node labels show tyvars, with (data) on its... |
commit | commitdiff | tree | snapshot |
| 2026-05-07 |
Javier Sagredo | Don't show "Right-hand side" for data fam-instances |
commit | commitdiff | tree | snapshot |
| 2026-05-07 |
Javier Sagredo | Show readable type-family flavor names in the side... |
commit | commitdiff | tree | snapshot |
| 2026-05-07 |
Javier Sagredo | Skip placeholder synthesis for unapplied-family use... |
commit | commitdiff | tree | snapshot |
| 2026-05-07 |
Javier Sagredo | Chain real fam-instance to predicate node when no class... |
commit | commitdiff | tree | snapshot |
| 2026-05-07 |
Javier Sagredo | Render external type families as grey diamonds in the... |
commit | commitdiff | tree | snapshot |
| 2026-05-07 |
Javier Sagredo | Document data-fam-instance skip in reduceTypeArg |
commit | commitdiff | tree | snapshot |
| 2026-05-07 |
Javier Sagredo | Skip data fam-instances in reduceTypeArg to avoid infin... |
commit | commitdiff | tree | snapshot |
| 2026-05-07 |
Javier Sagredo | Re-enable node grabbing in cytoscape |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Let drill-in work on external classes that have local... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Disable cytoscape node grabbing so taps fire reliably |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Fix data-family R: rewrite to substitute rep tyvars... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Render a side panel for external type families |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Rewrite data-family R: TyCons to abstract family applic... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Mention package + module in external-class panel descri... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Center the search box in the topbar |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Move Focus chips and Mark-orphans toggle to the side... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Show tyvars on class node labels |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Document the synthetic Family args = ? placeholder |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Mark external families and synthesise unresolved-fam... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Show class→assoc-family links in the instance view |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Document predicate-node dedup caveats in INTERNALS.md |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Unify unmatched superclass with context predicate node |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Render instance context constraints as predicate nodes |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Shorten "superclass needed Foo a b" edge label to ... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Don't draw the predicate-class node alongside fam-resol... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Drop the instance → fam-instance "= (Rhs)" edge |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Drop the "satisfies Foo" label on fam-resolves chain... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Remove the "via Bar" instance → family edge |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Don't draw the superclass class node when an instance... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Relabel "needs Foo" superclass edges to "superclass... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Add docs/INTERNALS.md (with neutral examples) |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Document setup for the two Emacs editor-link schemes |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Add two Emacs editor-link schemes |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Don't recolor the focused type-family node |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Rename Pin to Focus in the side-panel UI |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Render type-level lists as [a, b, c] not (: a (: b... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Infer per-package source roots from classgraph-view... |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Fix render of tuples and add source-code links |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | Add haddocks to side panel if compiled with -haddock |
commit | commitdiff | tree | snapshot |
| 2026-05-06 |
Javier Sagredo | WIP |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | Add README.md |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | Add classgraph-plugin-flag.sh for unintrusive plugin... |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | Mark top-level classes (no subclasses) and render them... |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | Data families: (data) label, hide synthetic RHS, per... |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | Normalise package ids when merging dumps |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | Support multiple --input directories |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | Side panel: subclass index, pin/mute buttons; search... |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | Resolve family-instance chains to matching class instan... |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | demo: cover equality, family-in-context, greetings... |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | viewer: search bar, pin/mute/filter panels, splitter... |
commit | commitdiff | tree | snapshot |
| 2026-05-04 |
Javier Sagredo | First commit |
commit | commitdiff | tree | snapshot |
|