From 5390c4ca1e7e6bcf36dbe5e773c1355dd4b65939 Mon Sep 17 00:00:00 2001 From: Danny Navarro Date: Sat, 28 Jan 2017 14:15:14 -0300 Subject: Split AST in 2 One AST is meant to be a target parser and tries to adhere as much as possible to the spec. The other is a simplified version of that AST meant for execution. Also newtypes have been replaced by type synonyms and NonEmpty lists are being used where it makes sense. --- Data/GraphQL/Execute.hs | 39 +++++++++++++++++++-------------------- 1 file changed, 19 insertions(+), 20 deletions(-) (limited to 'Data/GraphQL/Execute.hs') diff --git a/Data/GraphQL/Execute.hs b/Data/GraphQL/Execute.hs index a7e3c91..4dab56c 100644 --- a/Data/GraphQL/Execute.hs +++ b/Data/GraphQL/Execute.hs @@ -21,38 +21,37 @@ import Data.GraphQL.Error -- errors wrapped in an /errors/ field. execute :: Alternative f => Schema.Schema f -> Schema.Subs -> Document -> f Aeson.Value -execute (Schema resolvs) subs doc = runCollectErrs res - where res = Schema.resolvers resolvs $ rootFields subs doc +execute resolvers subs doc = undefined -- resolver resolvs $ rootFields subs doc -- | Takes a variable substitution function and a @GraphQL@ document. -- If the document contains one query (and no other definitions) -- it applies the substitution to the query's set of selections -- and then returns their fields. -rootFields :: Schema.Subs -> Document -> [Field] -rootFields subs (Document [DefinitionOperation (Query (Node _varDefs _ _ sels))]) = - Schema.fields $ substitute subs <$> sels -rootFields _ _ = [] +-- rootFields :: Schema.Subs -> Document -> [Field] +-- rootFields subs (Document [DefinitionOperation (Query (Node _varDefs _ _ sels))]) = +-- Schema.fields $ substitute subs <$> sels +-- rootFields _ _ = [] -- | Takes a variable substitution function and a selection. If the -- selection is a field it applies the substitution to the field's -- arguments using 'subsArg', and recursively applies the substitution to -- the arguments of fields nested in the primary field. -substitute :: Schema.Subs -> Selection -> Selection -substitute subs (SelectionField (Field alias name args directives sels)) = - SelectionField $ Field - alias - name - -- TODO: Get rid of `catMaybes`, invalid arguments should raise an error - (catMaybes $ subsArg subs <$> args) - directives - (substitute subs <$> sels) -substitute _ sel = sel +-- substitute :: Schema.Subs -> Selection -> Selection +-- substitute subs (SelectionField (Field alias name args directives sels)) = +-- SelectionField $ Field +-- alias +-- name +-- -- TODO: Get rid of `catMaybes`, invalid arguments should raise an error +-- (catMaybes $ subsArg subs <$> args) +-- directives +-- (substitute subs <$> sels) +-- substitute _ sel = sel -- TODO: Support different value types -- | Takes a variable substitution function and an argument. If the -- argument's value is a variable the substitution is applied to the -- variable's name. -subsArg :: Schema.Subs -> Argument -> Maybe Argument -subsArg subs (Argument n (ValueVariable (Variable v))) = - Argument n . ValueString <$> subs v -subsArg _ arg = Just arg +-- subsArg :: Schema.Subs -> Argument -> Maybe Argument +-- subsArg subs (Argument n (ValueVariable (Variable v))) = +-- Argument n . ValueString <$> subs v +-- subsArg _ arg = Just arg -- cgit v1.2.3