AP
Это явное указание типа
Size: a a a
2021 November 01
E
вместо ::?
AP
TypeApplications расширение
E
красиво
AP
вместо
(parse x :: Parser X)пишете
parse @X xE
Как это можно генерализовать?
E
то есть я-то могу сделать newtype который будет хранить Either String Double, но не могу понять как мне сделать для Either a b, ведь заранее не знаешь что надо будет withText или withObject
AP
newtype ChoiceBetween a b = ChoiseBetween (Either a b)
instance (FromJSON a, FromJSON b) => FromJSON (ChoiceBetween a b) where
parseJSON v =
ChoiceBetween <$> (
(Left <$> parseJSON v)
<|>
(Right <$> parseJSON v)
)AP
попробует раскодировать в первый тип, потом во второй
E
хм
AP
Минус в том, что условный
ChoiceBetween Int Int всегда будет декодировать в первый вариант. Инстанс для Either использует явные метки, поэтому там попроще, но ценой усложнения структуры JSONНА
Большое спасибо.
AP
Всегда пожалуйста :)
E
Спасибо
E
и все таки почему не работает с read?
E
то есть вот здесь вот если я оставляю Either , а read этапом позже, то это работает
E
а если read то все
E
думаю в моем случае проще просто это поле не использовать
[
рид исключения кидает
E
но он ведь их не кидает когда вытаскиваешь ту же строку из Left?