Y
Чё делать, если хочется
foldl1 adjoin [ix "fieldA", ix "fieldB"], но типы не дают?foldMap ix ["fieldA", "fieldB"], если типы геттеров одинаковыеSize: a a a
2020 December 28
Y
@kana_sama тут писал недавно
KV
Ага, инстанс моноида значит
KV
fold [ix "fieldA", ix "fieldB"]
Вот так-то да, но мне кажется, что это работает только для фолдовKV
Ну блин
KV
adjoin можно заставить работать с ATraversal, но вот как потом вернуть обратно — хз
2020 December 29
KV
let adjoinAll =
cloneTraversal
. foldl1 (\t1 t2 -> adjoin (cloneTraversal t1) (cloneTraversal t2)) in
"{\"a\":1,\"b\":2}" & partsOf (_Value . (adjoinAll [ix "a", ix "b"]) . _Number) .~ [2,3]
Короче надо было вот так
AP
Неужели никто сервантом POST-формы не парсит?
MK
я!
AP
Ни одного пакета не нашёл...
AP
Сырой боди парсить?
MK
servant-multipart
MK
там можно свой инстанс написать для парсинга
MK
ну или MultipartData ковырять через lookupInput/lookupFile
AP
Хмм. [Input] это всё равно как-то сыровато :) Но уже хоть что-то
MK
instance FromMultipart Mem UploadCheckForm where
fromMultipart form =
let
val = UploadCheckForm
<$> liftError (const ["file"]) (fdToFileInfo <$> lookupFile "file" form)
<*> ....
in
case val of
Success ucf -> Right ucf
-- Ugly as hell :/
Failure fields -> Left $ unwords fieldsMK
у меня вот такое
AP
lookupInput мне подойдёт, спасибо