aeson-value-parser 0.19.6 → 0.19.7

raw patch · 3 files changed

+32/−3 lines, 3 filessetup-changedPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• Setup.hs +0/−2
• aeson-value-parser.cabal +1/−1
• library/AesonValueParser.hs +31/−0

@@ -1,2 +0,0 @@-import Distribution.Simple-main = defaultMain

@@ -1,5 +1,5 @@ name: aeson-value-parser-version: 0.19.6+version: 0.19.7 synopsis: API for parsing "aeson" JSON tree into Haskell types description:   A flexible parser DSL of JSON AST produced by the \"aeson\" library

@@ -7,6 +7,7 @@   ( Value,     run,     runWithTextError,+    runAsValueParser,     Error.Error (..),     parseByteString, @@ -51,6 +52,7 @@     Array,     element,     elementVector,+    elementList,     foldlElements,     foldrElements,     elementsAmount,@@ -63,10 +65,12 @@ import qualified Data.Aeson as Aeson import qualified Data.Aeson.Key as Key import qualified Data.Aeson.KeyMap as KeyMap+import qualified Data.Aeson.Types as Aeson import qualified Data.Attoparsec.Text as Attoparsec import qualified Data.HashMap.Strict as HashMap import qualified Data.HashSet as HashSet import qualified Data.Scientific as Scientific+import qualified Data.Text as Text import qualified Data.Text.Encoding as Text import qualified Data.Vector as Vector import qualified Text.Megaparsec as Megaparsec@@ -108,6 +112,29 @@ runWithTextError :: Value a -> Aeson.Value -> Either Text a runWithTextError parser = left Error.toText . run parser +-- | Convert into a function directly applicable as definition+-- of 'Aeson.parseJSON'.+-- +-- Here's an example of how it can be used:+-- +-- @+-- data Artist = Artist+--   { artistName :: Text,+--     artistGenres :: [Text]+--   }+-- +-- instance 'Aeson.FromJSON' Artist where+--   'Aeson.parseJSON' = 'runAsValueParser' $+--     'object' $ do+--       name <- 'field' "name" $ 'string' 'text'+--       genres <- 'field' "genres" $ 'array' $ 'elementList' $ 'string' 'text'+--       return $ Artist name genres+-- @+runAsValueParser :: Value a -> Aeson.Value -> Aeson.Parser a+runAsValueParser parser =+  either (fail . Text.unpack) return+    . runWithTextError parser+ runString :: String a -> Text -> Either (Maybe Text) a runString (String a) b = first getLast (runExcept (runReaderT a b)) @@ -358,6 +385,10 @@   ReaderT $ \arrayAst -> flip Vector.imapM arrayAst $ \index ast -> case run elementParser ast of     Right element -> return element     Left error -> lift $ throwE $ Error.indexed index error++{-# INLINE elementList #-}+elementList :: Value a -> Array [a]+elementList = fmap Vector.toList . elementVector  {-# INLINE foldlElements #-} foldlElements :: (state -> Int -> element -> state) -> state -> Value element -> Array state