_:
reqType не несёт кажется информации кроме как о части имени типа
Я сейчас переписываю апишку с php просто
Size: a a a
2020 June 02
AV
см TaggedObject
MK
++
AV
TaggedObject "type" "body"AV
Или в newtype завернуть и ему через TH/Generic написать инстанс
AV
Просто реально этот type это не часть логики, а часть транспортного типа, при этом такая, которую раз сгенерировал и забыл
AV
newtype/data если как в JSONRpc заверунть, стандартный объект с пачкой доп полей
AV
тогда можно делать
JsonRpc A, JsonRpc BAV
Итого у тебя все сервант разберёт, а ты уже с нормальными данными работать будешь
_:
Thx, попробую
MK
буэ, сваггер ломается от type synonym
_:
буэ, сваггер ломается от type synonym
Ага, он хрупкий
YS
Такой вопрос - можно ли написать инстанс Eq для экзистенциального типа?
AV
Нет, если у него нет typeable
AV
data E = forall a . Eq a => E a
e1 = E Int
e2 = E (Sum Int)
e1 и e2 не отличаются
e1 = E Int
e2 = E (Sum Int)
e1 и e2 не отличаются
YS
А если есть Typeable?
AV
Хотя может быть можно сделать какой-то ад и проверить указатели на словари!
YS
На такой ад я не согласен
YS
х(