YS
Как именно ты это делаешь?
Руками написал аппликейшен, создавая ответ responseLBS. Код пока не могу показать - обедаю(
Size: a a a
2020 May 09
AV
19:39!
YS
Или ужинаю, я пока не решил
MK
19:39!
Ты не в Москве что ли?
YS
Я не в Москве
AV
я в Мск, а он нет
MK
А)
YS
Х(
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
Как сделать чтобы оверлапились нормально?
AV
class Unnest (k::[*]) a | a -> k where
AV
Проблема, что он не может понять, что
k более специфичноAV
при этом оно однозначно выводится из переменной, которая более специфична
AV
Переписать на ассоциированные типы?
AV
Кажется тут можно
AV
Кстати можно писать как-то проще, чем:
Eval (Eval (k1++k2) ++ Eval (k3++k4)) ~ k
Eval (Eval (k1++k2) ++ Eval (k3++k4)) ~ k
AV
А то у меня до 15 разных k может быть, я убьюсь писать констреинт
MK
Не знаю, если честно
AV
а там наверное Сoncat есть
AV
Осталось тогда с overlapping-ом вопрос решить