Size: a a a

2020 May 24

к

кана in Haskell
но если без линз, то можно и с униплейтом

https://hackage.haskell.org/package/uniplate-1.6.12/docs/Data-Generics-Uniplate-Operations.html
источник

к

кана in Haskell
(universeBi @_ @SubTerm (ast :: Term)) :: [SubTerm]
отдаст все сабтермы в ast
источник

AA

A64m AL256m qn<co... in Haskell
Alexander Vershilov
А в общем случае смотреть на доки uniplate?
ну да, чтоб в общих чертах ознакомится че эти комбинаторы делают, рерайты там всякие
источник

AV

Alexander Vershilov in Haskell
кана
ast ^.. template . filtered qwe
where
 qwe :: SubTerm -> Bool
А можно тоже самое но сразу преобразивание сделать?
источник

AV

Alexander Vershilov in Haskell
типа qwe :: SubTerm-> Maybe A
источник

к

кана in Haskell
ну да, это траверсал а не геттер
источник

к

кана in Haskell
ast & template . filtered predicate %~ update
источник

к

кана in Haskell
ну ток так, мб у линз есть что-то такое чтобы сразу
источник

C

Combot in Haskell
кана has been banned! (5 duplicate messages in a row)
источник

к

кана in Haskell
хммм, а где дупликейт был
источник

AV

Alexander Vershilov in Haskell
А где бан? Я ищу где разбанить..
источник

к

кана in Haskell
ну не похоже что я забанен
источник

AA

A64m AL256m qn<co... in Haskell
может теперь при заходе на канал с комботом он будет писать кана забанен
источник

AA

A64m AL256m qn<co... in Haskell
как для известных ему спамеров
источник

AV

Alexander Vershilov in Haskell
Не круто, вообще он edit-ы за сообщения посчитал
источник

AV

Alexander Vershilov in Haskell
скорее всего
источник

AV

Alexander Vershilov in Haskell
кана
ast & template . filtered predicate %~ update
Тут predicate и update у меня примерно одинаковые, т.е. predicate = isJust . update
источник

к

кана in Haskell
ну тогда наверное можно просто без фильтра

ast & template %~ \subterm ->
 fromMaybe subterm (update subterm)


-- хитрый инстанс стрелки
ast & template %~ \subterm ->
 fromMaybe <*> update


странно что нет готового комбинатора для этого
источник

AV

Alexander Vershilov in Haskell
так ладно, давай по очереди у меня проблема раньше, я сейчас смотрю Control.Lens.Plated, т.к. у меня только Generic и не вижу там template
источник

ЗП

Зигохистоморфный Пре... in Haskell
Alexander Vershilov
так ладно, давай по очереди у меня проблема раньше, я сейчас смотрю Control.Lens.Plated, т.к. у меня только Generic и не вижу там template
источник