Есть ли инструмент, который автоматически создаст визуализацию (что-то вроде диаграммы классов) модели данных haskell из исходного кода? Что-то, что проходит по конструкторам данных и записям, показывает дерево типов и полей и выводит красивое изображение с прямоугольниками и тому подобным.
Таким образом, он будет анализировать исходный код, например:
data Type1 = Type1 Int Type2
data Type2 = Type2 { v1 :: Type3, v2 :: Type4, v3 :: String }
data Type3 = Type3 { v4 :: Double }
data Type4 = Type4 { v4 :: Type3 }
И он будет генерировать диаграмму из этого с Type1, показывающим 2 атрибута и связанным с Type2, показывающим 3 атрибута с их именами и связанными с Type3 и Type4 и т. д.
