[
я ньютайп запилил с нужными опциями и пошёл бегать по проекту с deriving via
Size: a a a
2021 November 01
AP
Примерно такое, но в виде инстанса для newtype-обертки над Double
E
я примерно такое и пытаюсь сейчас родить, но проблема в том что эта функция продолжала фейлиться с той же ошибкой
[
вот такие чуда с withObject можно композить между собой с помощью <|>
E
то есть у меня было
cod <- o .: "cod" :: Parser Double, а стало cod <- o .: "cod" >>= parseCod, это компилируется но не дает результата[
у тебя получится что-то типа
\v -> withText "Foo" (\text -> pure . StringConst . Text.unpack $ text) v
<|> withScientific "Foo" (\num -> pure . NumberConstr . scientificToInt $ num) v
[
это я примерно накидал, не уверен, что тебе подойдёт
E
супер
E
осталось мне понять почему это работает)
E
но это я сам
E
спасибо
AP
import qualified Data.ByteString.Lazy.UTF8 as BSL8
newtype Code = Code Double deriving Show
instance FromJSON Code where
parseJSON x = Code <$> (parseJSON @Double x <|> fromText x)
fromText v =
maybe (fail "Non-number") pure =<< decode @Double . BSL8.fromString <$> parseJSON vAP
> decode @Code "\"42.0\""
Just (Code 42.0)
> decode @Code "42.0"
Just (Code 42.0)
> decode @Code "foo"
NothingAP
(мог чего-то забыть, потому как из REPL копипастил, но суть такая)
E
я сделал вот так
parseCod :: Value -> Parser (Either String Double)
parseCod v =
withText "cod" (pure . Left . T.unpack) v
<|> withScientific "cod" (pure . Right . toRealFloat) v
parseCod :: Value -> Parser (Either String Double)
parseCod v =
withText "cod" (pure . Left . T.unpack) v
<|> withScientific "cod" (pure . Right . toRealFloat) v
E
это сработало
E
но вот чтобы инстанс, то я не могу понять как его обобщить до любых двух JSON-типов
AP
Мой вариант просто декодирует JSON из строкового значения в JSON :)
AP
Более всеядно
E
и что за
@Code я же еще ребенок