В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Haskell Start

817 membersпожаловаться на группу
2021 January 02

к

кана in Haskell Start
суть трюка в том, что 10 имеет тип Num a => a
инстанс PrintNum a как раз под него подходит, а уже после подбора инстанса применяется констрейнт на a ~ Int. INCOHERENT нужен для того, чтобы можно было написать другие инстансы, то есть это такой фолбек инстанс по сути
источник
22:04пожаловаться#1

A

Aragaer in Haskell Start
а вот еще один вопрос, но уже про Aeson.Lens наверно. Есть жсон, в котором список объектов, я хочу список значений определенных ключей оттуда.
источник
22:41пожаловаться#2

к

кана in Haskell Start
хочется прочитать, или обновить?
источник
22:42пожаловаться#3

A

Aragaer in Haskell Start
прочитать
источник
22:42пожаловаться#4

A

Aragaer in Haskell Start
я понимаю, что можно достать сам список, а потом map чтобы достать ключи, но есть ли возможность это через линзы сделать сразу?
источник
22:42пожаловаться#5

к

кана in Haskell Start
ixes :: (Monoid r, Ixed s, Foldable t) => t (Index s) -> Getting r s (IxValue s)
ixes = foldMap ix

value ^.. key "a" . key "b" . _Object . ixes ["a", "b", "c"]
источник
22:43пожаловаться#6

к

кана in Haskell Start
-- Examples:
-- >>> Map.fromList [("a", 1), ("b", 2), ("c", 3)] ^.. ixes (Set.fromList ["a", "b", "d"])
-- [1, 2]
источник
22:43пожаловаться#7

A

Aragaer in Haskell Start
сейчас попробую
источник
22:44пожаловаться#8

A

Aragaer in Haskell Start
ну то есть у меня допустим {"k":[{"a":1},{"a":2},{"a",3}]}, хочу получить список [1,2,3]
источник
22:45пожаловаться#9

к

кана in Haskell Start
а, тут ничего такого не надо

value ^.. key "k" . values . key "a" . _Number
источник
22:45пожаловаться#10

A

Aragaer in Haskell Start
о, получилось. А я не туда ^.. пихал, писал value ^? key "k" . _Array ^.. key "a" . _Number
источник
22:47пожаловаться#11

A

Aragaer in Haskell Start
спасибо
источник
22:47пожаловаться#12

к

кана in Haskell Start
Aragaer
о, получилось. А я не туда ^.. пихал, писал value ^? key "k" . _Array ^.. key "a" . _Number
так тоже можно на самом деле, но не нужно

a =
 [aesonQQ| { "k": [{"a": 1}, {"a": 2}, {"a": 3}] } |]
   ^? key "k" . _Array
   ^.. _Just . each . key "a" . _Number
источник
22:52пожаловаться#13

к

кана in Haskell Start
_Just чтобы добраться до значения от ^? (который Maybe возвращает), each, потому что там вектор в результате
источник
22:53пожаловаться#14

к

кана in Haskell Start
values = _Array . each
источник
22:53пожаловаться#15

A

Aragaer in Haskell Start
ну я использовал ^?!
источник
22:54пожаловаться#16

A

Aragaer in Haskell Start
но ключевое что я не знал, это each
источник
22:55пожаловаться#17

к

кана in Haskell Start
хинт: лучше заранее распарсить json в Value, если хочется захендлить или упасть на невалидном json
источник
22:56пожаловаться#18

к

кана in Haskell Start
потому что весь этот линзокод просто пропустит все ошибки, и ни на чем не сфокусится просто
источник
22:56пожаловаться#19

к

кана in Haskell Start
a =
 ("invalid json" :: String)
   & key "k" . values . key "a" . _Number +~ 1
-- "invalid json"
источник
22:57пожаловаться#20