MK
Я никогда кстати не пользовался всеми этими *plate
gplate же есть в линзахSize: a a a
2020 May 23
AV
о норм
к
Я никогда кстати не пользовался всеми этими *plate
оч удобно когда нужно с AST работать
например достать из определения все идентификаторы, и не важно где они там, в применнии функий, в where-блоках
declaration ^.. template @_ @Ident
например достать из определения все идентификаторы, и не важно где они там, в применнии функий, в where-блоках
declaration ^.. template @_ @Ident
MK
> Matthew Pickering has been finishing off the multi component patch with the careful review of Moritz and Pepe. It looks like it will be merged within the next week.
YS
А можно как-то сделать так from в генериках, чтобы оно рекурсивно разворачивало значения в K1, если они тоже генерики имеют?
YS
Или я странного хочу? .-.
IK
А можно как-то сделать так from в генериках, чтобы оно рекурсивно разворачивало значения в K1, если они тоже генерики имеют?
Звучит как можно
MK
тип
Rep же не разворачиваетMK
значит это другой тип будет
MK
нет?
IK
значит это другой тип будет
Ну внутри то вполне может быть другой
AV
А можно как-то сделать так from в генериках, чтобы оно рекурсивно разворачивало значения в K1, если они тоже генерики имеют?
А что ты пытаешься сделать?
YS
А что ты пытаешься сделать?
Конвертер на генериках
AV
https://github.com/qnikst/hasql-extra/blob/master/src/Hasql/Encoders.hs#L122-L124 возьми такую штуку и запили для него развертывалку генериков
AV
Проще будет а ещё стабильно и типизировано ^_^
AV
С генериками ты убьёшься с массивами