Вл
правда в прелюдии пурсы его вроде нет
Size: a a a
2018 August 14
AK
странно что у тебя список в Maybe но бывает такое да
из
view-линзы выходитAK
v : fold maybeList
о, красиво, спасибо!
Вл
а там мб non []
Вл
о, красиво, спасибо!
но тебе пакет нужно будет добавить. хотя он и так нужный
AK
да, он и так понадобится
Вл
или какие там линзы сейчас используют
Вл
ну если из view то вроде семантика будет такая же
ЗП
вот только зачем усложнять?
ЗП
logShow $ 10 L.: (fold (Just (20 L.: L.Nil)))
logShow $ 10 L.: Just (20 L.: L.Nil) ^. non (L.Nil)
ЗП
как-то против
maybe это переборВл
ну да вышло подлиньше
Вл
у меня просто эти всякие линзовые цепочки отдельно выписаны и зачастую сразу с non mempty
даже наверное стоило бы сделать функцию которая
f a = at a . non mempty
даже наверное стоило бы сделать функцию которая
f a = at a . non mempty
AK
у меня просто эти всякие линзовые цепочки отдельно выписаны и зачастую сразу с non mempty
даже наверное стоило бы сделать функцию которая
f a = at a . non mempty
даже наверное стоило бы сделать функцию которая
f a = at a . non mempty
да, такая функция или линза — было бы удобно
2018 August 15
AK
поэтому и думал что где-то в недрах пакетов есть, довольно частый кейс кажется
ЗП
правда еще можно
foldrfoldr (<>) (L.singleton 10) (Just (20 L.: L.Nil))