VY
DOC?print ∷ ∀ a. MdxExpr a → DOCу меня для каждого из первых параметров этих конструкторв есть реализация для моего класса типов
IsDOC : toDOC ∷ a → DOC это претти-принтер обычный
Size: a a a
2018 September 06
VY
etc, то как можно это свернуть в
это претти-принтер обычный
это претти-принтер обычный
VY
я понимаю как использовть
foldFree с эффектом, но чего-то жестко туплю как просто свернуть это в строку без всяких Writer'oв и других монадк
Identity
VY
да, спасибо!)
MdxExprF ~> Identity
наверное, пока пытаюсь осмыслитьк
вообще конечно покажи лучше ссылку на свой foldfree
к
потому что вообще фолдфрии это просто cata + хендл для Pure
к
типа такого
foldFree :: Functor f => (f a -> a) -> Free f a -> a
foldFree alg (Pure x) = x
foldFree alg (Join x) = alg . fmap (foldFree alg) $ xк
а если нужна монада, то это foldFreeM какой-то
2018 September 07
к
или run какой-то
VY
(врубаюсь, у меня там раньше был Writer просто)
AK
а что там для VDOM нынче использовать? Раньше был Smolder.Renderer.VDom на базе Data.VirtualDOM, а теперь Smolder обновлён, VDOM-рендерер для него нет, Data.VDom тоже больше нет, но есть Halogen.VDom
VY
круто, это полезно, тк в
я прям вообще офигел как увидел это ^
purescript-free там немного сложнее это выглядитdata Free f a = Free (FreeView f Val Val) (CatList (ExpF f))
я прям вообще офигел как увидел это ^
к
вот ткой хелпер я бы советовал тебе написать
к
да, в ps-free оптимизации используются
ЗП
в пурсе free monad уже больше как freer
ЗП
foldFree = cata
foldFreeM = cataM
если описать базовый функтор для оптимизированной версии free в пурсе, то можно в полной мощности юзать все рекурсивные схемы
foldFreeM = cataM
если описать базовый функтор для оптимизированной версии free в пурсе, то можно в полной мощности юзать все рекурсивные схемы