Ладно, вроде я нашел решение. Похоже, что мне подойдет gmapQ (show

Question

Ладно, вроде я нашел решение. Похоже, что мне подойдет gmapQ (show

. toConstr)

(может даже и без show, но пока для экспериментов оставлю так).

Но есть нюанс. Видимо, надо реализовать инстанс Uniplate для моих классов. А чтобы его реализовать, все равно придется все конструкторы копипастить. Правильно я это понял или не так?

Например, JSCommaList не реализует Uniplate https://hackage.haskell.org/package/language-javascript-0.6.0.13/docs/Language-JavaScript-Parser-AST.html#t:JSCommaList

, но как аргумент я могу передать данные этого типа в universe 🤔

И мои типы не реализуют Biplate, но данные таких типов можно передать в universeBi и тоже все работает

#haskell #programming #russian

0

02.08.2019