MK
reqTypeSize: a a a
2020 June 02
_:
а как ты это предполагаешь? декодировать по очереди и "кто первый успешно декодировался"?
Сейчас это как-то так выглядит
_:
а как ты это предполагаешь? декодировать по очереди и "кто первый успешно декодировался"?
Ну, в процессе
MK
сделай
FRequest просто суммойMK
и ничего не надо декодировать в хендлере
AV
MK
или тебе обязательно ещё тип результата надо менять связанно с типом запроса?
AV
А ещё можно просто написать свой инстанс Aeson
QZ
или тебе обязательно ещё тип результата надо менять связанно с типом запроса?
тогда лучше 4 эндпоинта уже
AV
Да, иначе всё равно swagger не выразишь
AV
А endpoint-ы вполне себе могут один хендлер вызывать
QZ
А endpoint-ы вполне себе могут один хендлер вызывать
+
AV
_c = handle0
_r = handle0
_u = handle0
MK
data CRUD = C | R | U | D
data FRequest op where
CRequest :: CreateBody -> FRequest C
...
data FResult op where
CResult :: CreateResult -> FResult C
...
type Api = ReqBody '[JSON] (FRequest op) -> Post '[JSON] (FResult op)
_:
Еще предполагается что такой формат реквестов будет использоваться для всех эндпоинтов в принципе
MK
data CRUD = C | R | U | D
data FRequest op where
CRequest :: CreateBody -> FRequest C
...
data FResult op where
CResult :: CreateResult -> FResult C
...
type Api = ReqBody '[JSON] (FRequest op) -> Post '[JSON] (FResult op)
инстансы задолбаешься писать
YS
>> data CRUD = C | R | U | D
K | P | A | C | U | B | OYS
(простите)
AV
Еще предполагается что такой формат реквестов будет использоваться для всех эндпоинтов в принципе
Это же тупо кодировка
AV
reqType не несёт кажется информации кроме как о части имени типа