mirror of
https://github.com/hasura/graphql-engine.git
synced 2024-12-15 09:22:43 +03:00
11a454c2d6
This commit applies ormolu to the whole Haskell code base by running `make format`. For in-flight branches, simply merging changes from `main` will result in merge conflicts. To avoid this, update your branch using the following instructions. Replace `<format-commit>` by the hash of *this* commit. $ git checkout my-feature-branch $ git merge <format-commit>^ # and resolve conflicts normally $ make format $ git commit -a -m "reformat with ormolu" $ git merge -s ours post-ormolu https://github.com/hasura/graphql-engine-mono/pull/2404 GitOrigin-RevId: 75049f5c12f430c615eafb4c6b8e83e371e01c8e
44 lines
1.5 KiB
Haskell
44 lines
1.5 KiB
Haskell
module Data.Parser.JSONPathSpec (spec) where
|
|
|
|
import Data.Parser.JSONPath
|
|
import Data.Text qualified as T
|
|
import Hasura.Base.Error (encodeJSONPath)
|
|
import Hasura.Prelude
|
|
import Test.Hspec
|
|
import Test.QuickCheck
|
|
|
|
spec :: Spec
|
|
spec = describe "encode and parse JSONPath" $ do
|
|
it "JSONPath encoder" $
|
|
forM_ generateTestEncodeJSONPath $ \(jsonPath, result) ->
|
|
encodeJSONPath jsonPath `shouldBe` result
|
|
|
|
describe "JSONPath parser" $ do
|
|
it "Single $" $
|
|
parseJSONPath "$" `shouldBe` (Right [] :: Either String JSONPath)
|
|
|
|
it "Random json paths" $
|
|
withMaxSuccess 1000 $
|
|
forAll (resize 20 generateJSONPath) $ \jsonPath ->
|
|
let encPath = encodeJSONPath jsonPath
|
|
parsedJSONPathE = parseJSONPath $ T.pack encPath
|
|
in case parsedJSONPathE of
|
|
Left err -> counterexample (err <> ": " <> encPath) False
|
|
Right parsedJSONPath -> property $ parsedJSONPath == jsonPath
|
|
|
|
generateTestEncodeJSONPath :: [(JSONPath, String)]
|
|
generateTestEncodeJSONPath =
|
|
[ ([Key "7seven", Index 0, Key "@!^@*#(!("], "$['7seven'][0]['@!^@*#(!(']"),
|
|
([Key "ABCD"], "$.ABCD")
|
|
]
|
|
|
|
generateJSONPath :: Gen JSONPath
|
|
generateJSONPath = map (either id id) <$> listOf1 genPathElementEither
|
|
where
|
|
genPathElementEither = do
|
|
indexLeft <- Left <$> genIndex
|
|
keyRight <- Right <$> genKey
|
|
elements [indexLeft, keyRight]
|
|
genIndex = Index <$> choose (0, 100)
|
|
genKey = Key . T.pack <$> listOf1 (elements $ alphaNumerics ++ ".,!@#$%^&*_-?:;|/\"")
|