AK
Хотя у меня не работает на половине типов
Size: a a a
2020 April 09
ЗП
там через Generic все
ЗП
это может быть derive newtype instance
ЗП
но это ты делаешь представление такое же как у типа под newtype
AK
Show нету только
ЗП
я про это и сказал
AK
М, я в целом имел в виду, то что Show там нету не замечал раньше, жаль
AK
Поэтому и не работало, спасибо
ЗП
всегда есть Generic)
AK
А как тут type аргументы местами поменять?
newtype UpdateM event model = UpdateM { model :: model, affs :: Array (Aff event) }
instance functorUpdateM :: Functor (UpdateM event) where
map f (UpdateM u) = UpdateM u { model = f u.model }у тебя там
Array (Aff event) вижу, я попробовал у себя поменять на Monoid event => Aff event и счастлив — если event это тип-сумма, то можно его моноидом сделать, добавив всякие NoOp и Pair eventA eventB .AK
меньше кода везде,
fold работает — красотаR:
С 1 стороны да, но это уже пользователь пусть решает
R:
Ибо если констрент поставить на run, то это заставит всем делать его моноидом
AK
AK
Я чего-то то массивы ,то списки пользую, поэтому чтобы не выбирать, стараюсь избавиться от них констрейнтами
R:
Кстати, есть идея в принципе переделать все на списки
R:
Мне бы еще подписки дописать и компоненты сделать
ЗП
Кстати, есть идея в принципе переделать все на списки
Array ~> List?