YS
Т.е. эта миддлваря точно может их вставлять и вставляет
Size: a a a
2020 May 09
AV
Анекдот про поиск ключей под фонарём
AV
Вопрос, доходит ли до неё, там где не приходят
YS
Ну я не представляю, как она не может не доходить х(
YS
Причем, как я уже говорил, когда я делаю всякую магию (не отсылаю Content-Length) то доходит до рукописного аппликейшена, и заголовок вставляется. Думаю, дело в том, что не дошло до его обработки моим кодом
YS
Я тут скорее наверное жалуюсь, чем жду ответов на мой такой расплывчатый вопрос))
YS
Ну или возгласов "О! Да у меня точно так же было, сейчас скажу как надо!"
YS
ну это в идеале
YS
В общем ладно, пойду разбираться(
AV
А я похоже забью, я не знаю как разумным способом идти дальше
YS
Про энкодеры?
AV
Ага, как сделать так чтобы выбор инстанса определял типовую переменную
AV
Но при этом эта переменная не влияла бы на выбор инстанса
AV
instance {-# OVERLAPPABLE #-} AsValue a => Unnest '[a] a where
instance {-# OVERLAPPABLE #-} (UnnestArray ks [a], Eval (Map R ks) ~ k) => Unnest k [a] where
тут не выбирается
instance {-# OVERLAPPABLE #-} (UnnestArray ks [a], Eval (Map R ks) ~ k) => Unnest k [a] where
тут не выбирается
AV
причем такая штука работает
_test4 :: HE.Params (Int64, (Int64, Int64))
_test4 = params @'[Int64, Int64, Int64]
_test4 :: HE.Params (Int64, (Int64, Int64))
_test4 = params @'[Int64, Int64, Int64]
AV
instance (Unnest k1 a, Unnest k2 b, Eval (k1 ++ k2) ~ k) => Unnest k (a,b) where
разрешается
разрешается
YS
Рад бы помочь, да мозгов нет(
AV
ЕЕЕ
AV
Разобрался
MK
И как?)