search

jonascarpay / calligraphy

haskell source code visualizer
BSD 3-Clause "New" or "Revised" License
97 stars 13 forks source link

Resolve dependencies through ConstraintKinds #35

Open jmcarthur opened 5 months ago

jmcarthur commented 5 months ago

Suppose I have this code:

class Foo a
class Bar a
type Baz a = (Foo a, Bar a)
class (Foo a, Bar a) => Qux a

It'd be pretty sweet if the dependence on Foo and Bar would appear in the generated diagram.