d4fa331 · typeable/aeson

67import Control.Monad (MonadPlus(..), ap)

68import qualified Control.Monad.Fail as Fail

69import Data.ByteString.Builder (Builder, char7, toLazyByteString)

70−import Data.Char (isLower, isUpper, toLower)

70+import Data.Char (isLower, isUpper, toLower, isAlpha, isAlphaNum)

71import Data.Data (Data)

72import Data.HashMap.Strict (HashMap)

73import Data.Hashable (Hashable(..))

459formatError :: JSONPath -> String -> String

460formatError path msg = "Error in " ++ (format "$" path) ++ ": " ++ msg

461 where

462+ format :: String -> JSONPath -> String

462 format pfx [] = pfx

463 format pfx [] = pfx

463 format pfx (Index idx:parts) = format (pfx ++ "[" ++ show idx ++ "]") parts

464 format pfx (Index idx:parts) = format (pfx ++ "[" ++ show idx ++ "]") parts

464− format pfx (Key key:parts) = format (pfx ++ "." ++ unpack key) parts

465+ format pfx (Key key:parts) = format (pfx ++ formatKey key) parts

466+

467+ formatKey :: Text -> String

468+ formatKey key

469+ | isIdentifierKey strKey = "." ++ strKey

470+ | otherwise = "['" ++ escapeKey strKey ++ "']"

471+ where strKey = unpack key

472+

473+ isIdentifierKey :: String -> Bool

474+ isIdentifierKey [] = False

475+ isIdentifierKey (x:xs) = isAlpha x && all isAlphaNum xs

476+

477+ escapeKey :: String -> String

478+ escapeKey = concatMap escapeChar

479+

480+ escapeChar :: Char -> String

481+ escapeChar '\'' = "\\'"

482+ escapeChar '\\' = "\\\\"

483+ escapeChar c = [c]

465

484

466-- | A key\/value pair for an 'Object'.

485-- | A key\/value pair for an 'Object'.

467type Pair = (Text, Value)

486type Pair = (Text, Value)