YS
λ> data A = A Int Char deriving (Show,Generic)
λ> instance HVector A
λ> convert (12,'c') :: A
A 12 'c'
Такое?
Это тупл в дататайп с таким же количеством полей?
Такое?
Size: a a a
2020 May 24
Такое?
АХ
Любой тип произведение в любой другой тип произведение, если у них одинаковые поля в одинаковом порядке
АХ
В частности тупли
YS
А если не одинаковые, а коерсибл, или "типы с известным способом конвертирования"?
АХ
Только тупое — идентичны
YS
ну вот у меня всякие ньютайпы часто наверчены(
YS
ну или пресловутое "там стринг, тут текст"
YS
Но спасибо!
АХ
Наверное, можно напрячься и запилить
АХ
Я про fixed-vector-hetero есличто
YS
Я про fixed-vector-hetero есличто
Спасибо, гляну)
YS
может чего почерпну там
YS
Я про fixed-vector-hetero есличто
Это ещё оказывается и твоё с:
АХ
Надо же продвигать его в массы :)
YS
Согласен! Надо будет глянуть, надеюсь чёнить пойму х)
AV
Если это для hasql то там нужно кастомное, там во первых вектора структур превращать в стуктуры векторов, во-вторых не все вложения Maybe представимы, в третьих не всегда отображение 1 в 1
YS
Если это для hasql то там нужно кастомное, там во первых вектора структур превращать в стуктуры векторов, во-вторых не все вложения Maybe представимы, в третьих не всегда отображение 1 в 1
Это в общем пока) Надеюсь, что, если доведу до чего-то адекватного, то будет достаточно универсально, в том числе и для hasql
AV
https://gist.github.com/qnikst/5665fa5c2178cf67386c299fead2657d кстати вот так был код на генериках, но он старый очень может там что-то и не работает
AV
Из мертвой ветки достал
AV
Это в общем пока) Надеюсь, что, если доведу до чего-то адекватного, то будет достаточно универсально, в том числе и для hasql
А тебе ещё для всяких транспортных типов?