ccb35ec · typeable/aeson

544

545parseAllNullarySum :: SumFromString f => Options -> Value -> Parser (f a)

546parseAllNullarySum opts = withText "Text" $ \key ->

547− maybe (notFound $ unpack key) return $

547+ maybe (notFound key) return $

548 parseSumFromString opts key

549

550class SumFromString f where

571 TaggedObject{..} ->

572 withObject "Object" $ \obj -> do

573 tag <- obj .: pack tagFieldName

574− fromMaybe (notFound $ unpack tag) $

574+ fromMaybe (notFound tag) $

575 parseFromTaggedObject opts contentsFieldName obj tag

576

577 ObjectWithSingleField ->

578 withObject "Object" $ \obj ->

579 case H.toList obj of

580− [pair@(tag, _)] -> fromMaybe (notFound $ unpack tag) $

580+ [pair@(tag, _)] -> fromMaybe (notFound tag) $

581 parsePair opts pair

582 _ -> fail "Object doesn't have a single field"

583

585 withArray "Array" $ \arr ->

586 if V.length arr == 2

587 then case V.unsafeIndex arr 0 of

588− String tag -> fromMaybe (notFound $ unpack tag) $

588+ String tag -> fromMaybe (notFound tag) $

589 parsePair opts (tag, V.unsafeIndex arr 1)

590 _ -> fail "First element is not a String"

591 else fail "Array doesn't have 2 elements"

791

792--------------------------------------------------------------------------------

793

794−notFound :: String -> Parser a

794+notFound :: Text -> Parser a

795−notFound key = fail $ "The key \"" ++ key ++ "\" was not found"

795+notFound key = fail $ "The key \"" ++ unpack key ++ "\" was not found"

796{-# INLINE notFound #-}