OSS/graphql-spice
1
1
Fork 1
Code Issues 1 Pull Requests Actions Releases 2 Wiki Activity

Provide VariableValue instance on the JSON newtype

Browse Source
This commit is contained in:
Eugen Wissner 2022-01-19 10:41:55 +01:00
parent dc813621fd
commit 90abeb6425
Signed by: belka
GPG Key ID: A27FDC1E8EE902C0
1 changed files with 10 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/Language/GraphQL/Serialize.hs
View File

@ -49,9 +49,9 @@ instance Serialize JSON where
serialize _ _ = Nothing serialize _ _ = Nothing
null = JSON Aeson.Null null = JSON Aeson.Null
instance VariableValue Aeson.Value where instance VariableValue JSON where
coerceVariableValue _ Aeson.Null = Just Type.Null coerceVariableValue _ (JSON Aeson.Null) = Just Type.Null
coerceVariableValue (In.ScalarBaseType scalarType) value coerceVariableValue (In.ScalarBaseType scalarType) (JSON value)
| (Aeson.String stringValue) <- value = Just $ Type.String stringValue | (Aeson.String stringValue) <- value = Just $ Type.String stringValue
| (Aeson.Bool booleanValue) <- value = Just $ Type.Boolean booleanValue | (Aeson.Bool booleanValue) <- value = Just $ Type.Boolean booleanValue
| (Aeson.Number numberValue) <- value | (Aeson.Number numberValue) <- value
@ -59,9 +59,9 @@ instance VariableValue Aeson.Value where
Just $ Type.Float $ toRealFloat numberValue Just $ Type.Float $ toRealFloat numberValue
| (Aeson.Number numberValue) <- value = -- ID or Int | (Aeson.Number numberValue) <- value = -- ID or Int
Type.Int <$> toBoundedInteger numberValue Type.Int <$> toBoundedInteger numberValue
coerceVariableValue (In.EnumBaseType _) (Aeson.String stringValue) = coerceVariableValue (In.EnumBaseType _) (JSON (Aeson.String stringValue)) =
Just $ Type.Enum stringValue Just $ Type.Enum stringValue
coerceVariableValue (In.InputObjectBaseType objectType) value coerceVariableValue (In.InputObjectBaseType objectType) (JSON value)
| (Aeson.Object objectValue) <- value = do | (Aeson.Object objectValue) <- value = do
let (In.InputObjectType _ _ inputFields) = objectType let (In.InputObjectType _ _ inputFields) = objectType
(newObjectValue, resultMap) <- foldWithKey objectValue inputFields (newObjectValue, resultMap) <- foldWithKey objectValue inputFields
@ -86,16 +86,17 @@ instance VariableValue Aeson.Value where
newObjectValue = KeyMap.delete fieldKey objectValue newObjectValue = KeyMap.delete fieldKey objectValue
in case KeyMap.lookup fieldKey objectValue of in case KeyMap.lookup fieldKey objectValue of
Just variableValue -> do Just variableValue -> do
coerced <- coerceVariableValue fieldType variableValue coerced <- coerceVariableValue fieldType
$ JSON variableValue
pure (newObjectValue, insert coerced) pure (newObjectValue, insert coerced)
Nothing -> Just (objectValue, resultMap) Nothing -> Just (objectValue, resultMap)
coerceVariableValue (In.ListBaseType listType) value coerceVariableValue (In.ListBaseType listType) (JSON value)
| (Aeson.Array arrayValue) <- value = | (Aeson.Array arrayValue) <- value =
Type.List <$> foldr foldVector (Just []) arrayValue Type.List <$> foldr foldVector (Just []) arrayValue
| otherwise = coerceVariableValue listType value | otherwise = coerceVariableValue listType $ JSON value
where where
foldVector _ Nothing = Nothing foldVector _ Nothing = Nothing
foldVector variableValue (Just list) = do foldVector variableValue (Just list) = do
coerced <- coerceVariableValue listType variableValue coerced <- coerceVariableValue listType $ JSON variableValue
pure $ coerced : list pure $ coerced : list
coerceVariableValue _ _ = Nothing coerceVariableValue _ _ = Nothing