ничего полезного этот hlint не говорит, смело можно его вырубать

Чтобы он нормально находил лишние скобочки надо половину варнингов отключать

https://t.me/haskellru/316548
именно так проверил?

а, я не заметил, что там второй (^.), конечно, так не надо

а скобки ты и сам можешь убрать

ну вот скобки да

первый день с линзами!

учусь

С почином!

Ага, спасибо с:

ну вроде с линзами повеселее

надо будет комбинаторы поизучать

-- |
-- Examples:
-- >>> x = (["a.b", "c.d"], 10)
-- >>> x & _1 %~ (>>= splitOn ".")
-- (["a", "b", "c", "d"], 10)
-- >>> x & _1 . bound %~ splitOn "."
-- (["a", "b", "c", "d"], 10)
bound :: Monad m => Setter (m a) (m b) a (m b)
bound = sets (=<<)

-- |
-- Examples:
-- >>> "abc" ^? prefixed "a"
-- Just "bc"
-- >>> "Abc" ^? prefixed "a"
-- Nothing
-- >>> "abc" & prefixed "a" %~ Text.toUpper
-- "aBC"
-- >>> "Abc" & prefixed "a" %~ Text.toUpper
-- "abc"
prefixed :: Text -> Traversal' Text Text
prefixed prefix next text =
 case Text.stripPrefix prefix text of
   Just suffix -> liftA2 (<>) (pure prefix) (next suffix)
   Nothing -> pure text

-- |
-- Examples:
-- >>> Map.fromList [("a", 1), ("b", 2), ("c", 3)] ^.. ixes (Set.fromList ["a", "b", "d"])
-- [1, 2]
ixes :: (Monoid r, Ixed s, Foldable t) => t (Index s) -> Getting r s (IxValue s)
ixes = foldMap ix

несколько прикольных штук которых нет в lens

но которые оч полезные (ну кроме первого, первый просто красивый, юзкейс я только один придумал)

первый пример какой-то немотивирующий. зачем обобщать список до монады, если и concat хорошо работает?

да хм, вопрос у меня обычно стоит иначе

про concat и concatMap еще нужно вспомнить, а инстанс монады всегда в голове

а еще не факт что они в прелюде

а я стараюсь инстанс монады для списка в голове не держать