JS
а Map таки кодирует в строку лишний раз?
Size: a a a
2021 June 06
JS
вот это нелогично
OS
а есть ли какой-то недорогой (newtype?) трюк, чтобы заставить Aeson сераиализировать его как объект? (без перекладывания в Map)
OS
логично - в смысле, я понимаю логику авторов (не обязательно принимаю)
MK
Ну так напиши сам инстанс для ньютайпа
JS
Map ломает эту логику
OS
пасибо, кеп ) я надеялся, что об это уже кто-то споткнулся и написал для этого такой враппер, может быть в самом Aeson
OS
ахаха. Они таки перекладывают в HashMap. И правда, хип же бесплатен:
module Data.Aeson.Types.Class
...
instance (ToJSON v) => ToJSON (M.Map Text v) where
toJSON = Object . M.foldrWithKey (\k -> H.insert k . toJSON) H.empty
{-# INLINE toJSON #-}
JS
ну вот конкретно для Int кодирует в строку, получается непоследовательно с IntMap
MK
Да, там есть ToJSONKey класс для этого
MK
Он решает что будет, список пар или объект
MK
Довольно бесячий класс, надо сказать
С
А есть реализация sop над State или Arrow? Типо NP (TetatS a m) xs ->StateT (NP I xs ) m a
JS
а в чём смысл этого?
С
Работать с множественными произведениями и суммами
JS
это можно и без State
С
Да, но со Stаte можно соеденять подобные функции.