AV
Но проще парсер написать
Size: a a a
2020 May 05
MK
MK
кабал 3!
MK
и доки для бейза собраны с новым цсс
KZ
последние дни настают
AV
@Ordinary_man запилил себе в итоге:
пока вроде взлетает всё
пока вроде взлетает всё
encoder = HE.params @(AccessToken, RefreshToken, UserId)
AV
Кажется такое количество бойлерплейта меня устраивает
YS
@Ordinary_man запилил себе в итоге:
пока вроде взлетает всё
пока вроде взлетает всё
encoder = HE.params @(AccessToken, RefreshToken, UserId)
Это как раз, когда ты спрашивал, чтобы типы проверяло, но писать нужно было явно?
AV
Угу
YS
Выглядит интересно... пытаюсь понять как это сделано хД
AV
• Couldn't match type ‘'False’ with ‘'True’
arising from a use of ‘HE.params’
• In the expression: HE.params @UserId
arising from a use of ‘HE.params’
• In the expression: HE.params @UserId
YS
Т.е., ты просто явно аннотируешь типом энкодер, и, если на всех составляющих твоего есть энкодеры - он выводится?
AV
Даже ошибку словило
AV
params :: forall t s . ((t==s) ~ 'True, AsParams s) => HE.Params s
params = buildParams @s
params = buildParams @s
AV
AsParams s класс типов похожий на то, что у тебя
AV
instance {-# OVERLAPPABLE #-} AsValue x => AsParams x where buildParams = nonNullableParam id
instance AsValue x => AsParams (Maybe x) where buildParams = nullableParam id
instance (AsParams a, AsParams b) => AsParams (a,b) where
...AV
AsValue - класс типов говорящий как значение в Value превращается
AV
generic специально не делал, кажетя опасным, но может потом передумаю
AV
Как бы 100% случаев не покроет, у меня там весьма хитрые штуки бывают, но может как-то с линзами разберусь.
AV
Но там где тупли позволит всё сделать