Существует ли инструмент, который автоматически создаст визуализацию (что-то вроде диаграммы классов) модели данных 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 }
И он сгенерирует диаграмму из этого с типом 1, показывающим 2 атрибута и связанным с типом 2, показывающим 3 атрибута с их именами и связанным с типом 3 и типом 4 и т. Д.