GraphQL.Client.Variables

data CombineVarsProp gqlVars

Instances

• (IsSymbol sym, IsSymbol gql, Cons sym (Proxy gql) rest gqlVars, GqlArrayAndMaybeType val) => FoldingWithIndex (CombineVarsProp (Record gqlVars)) (Proxy sym) GqlQueryVarsN val GqlQueryVarsN

data GetVarRec

Get variables from a record, recursively

Constructors

• GetVarRec

Instances

• (GetVar val (Record subRes), Union acc subRes trash, Union subRes acc trash, Nub trash res) => Folding GetVarRec (Proxy (Record acc)) val (Proxy (Record res))

type GqlQueryVars = List { varName :: String, varType :: String }

newtype GqlQueryVarsN

Constructors

• GqlQueryVarsN GqlQueryVars

Instances

• Newtype GqlQueryVarsN _
• (IsSymbol sym, IsSymbol gql, Cons sym (Proxy gql) rest gqlVars, GqlArrayAndMaybeType val) => FoldingWithIndex (CombineVarsProp (Record gqlVars)) (Proxy sym) GqlQueryVarsN val GqlQueryVarsN

data PropGetGqlVars schema

For internal use only but must be exported for other modules to compile

Instances

• (Cons al subSchema rest schema, GetGqlQueryVars subSchema val (Record vars), Union vars prev row, Nub row result) => FoldingWithIndex (PropGetGqlVars (Record schema)) (Proxy sym) (Proxy (Record prev)) (Alias (Proxy al) val) (Proxy (Record result))
• (Cons sym subSchema rest schema, GetGqlQueryVars subSchema val (Record vars), Union prev vars row, Nub row result) => FoldingWithIndex (PropGetGqlVars (Record schema)) (Proxy sym) (Proxy (Record prev)) val (Proxy (Record result))

data WithVars query vars

Constructors

• WithVars (vars -> Json) query vars

Instances

• (GetGqlQueryVars schema query (Record gqlVars), HFoldlWithIndex (CombineVarsProp (Record gqlVars)) GqlQueryVarsN (Record vars) GqlQueryVarsN) => VarsTypeChecked schema (WithVars query (Record vars))
• (GetGqlQueryVars a q vars) => GetGqlQueryVars a (WithVars q v) vars

class GetGqlQueryVars schema query vars | schema query -> vars

The vars in the query and their GraphQL type

Instances

• (GetGqlQueryVars schema l (Record varsL), GetGqlQueryVars schema r (Record varsR), Union varsL varsR trash, Union varsR varsL trash, Nub trash vars) => GetGqlQueryVars schema (OrArg l r) (Record vars)
• (GetGqlQueryVars schema l (Record varsL), GetGqlQueryVars schema r (Record varsR), Union varsL varsR trash, Union varsR varsL trash, Nub trash vars) => GetGqlQueryVars schema (AndArgs l r) (Record vars)
• (Cons name (Proxy gqlName) () result, IsSymbol gqlName) => GetGqlQueryVars (AsGql gqlName a) (Var name q) (Record result)
• (GetGqlQueryVars a q vars) => GetGqlQueryVars (AsGql gqlName a) q vars
• (GetGqlQueryVars a q vars) => GetGqlQueryVars a (WithVars q v) vars
• (GqlType a gqlName, Cons name (Proxy gqlName) () result) => GetGqlQueryVars a (Var name q) (Record result)
• GetGqlQueryVars a Unit (Record ())
• (GetGqlQueryVars a q vars) => GetGqlQueryVars a (ApplyDirective name args q) vars
• (GetGqlQueryVars a q vars) => GetGqlQueryVars a (ErrorBoundary q) vars
• (GetGqlQueryVars a q vars) => GetGqlQueryVars (Array a) q vars
• (GetGqlQueryVars a q vars) => GetGqlQueryVars a (Array q) vars
• (GetGqlQueryVars a q vars) => GetGqlQueryVars (Maybe a) q vars
• (GetGqlQueryVars a q vars) => GetGqlQueryVars a (Maybe q) vars
• (GetGqlQueryVars a q vars) => GetGqlQueryVars (NotNull a) q vars
• (Cons alias subSchema rest schema, GetGqlQueryVars subSchema (Args (Array args) q) vars) => GetGqlQueryVars (Record schema) (Spread (Proxy alias) args q) vars
• (GetGqlQueryVars (Record schema) (Spread (Proxy alias) args q) vars, Newtype newtypeSchema (Record schema)) => GetGqlQueryVars newtypeSchema (Spread (Proxy alias) args q) vars
• (GetGqlQueryVarsRecord (Record schema) (Record query) vars) => GetGqlQueryVars (GqlUnion schema) (GqlUnion query) vars
• (GetGqlQueryVars t q (Record vars), GetGqlQueryVars (Record params) (Record args) (Record argVars), Union vars argVars rl, Nub rl result) => GetGqlQueryVars (Record params -> t) (Args (Record args) q) (Record result)
• (GetGqlQueryVars t q vars) => GetGqlQueryVars (Record params -> t) q vars
• (GetGqlQueryVarsRecord (Record schema) (Record query) vars) => GetGqlQueryVars (Record schema) (Record query) vars
• (GetGqlQueryVars (Record schema) (Record query) vars, Newtype newtypeSchema (Record schema)) => GetGqlQueryVars newtypeSchema (Record query) vars
• GetGqlQueryVars a q (Record ())

class GetGqlQueryVarsRecord schema query vars | schema query -> vars

Instances

• (HFoldlWithIndex (PropGetGqlVars (Record schema)) (Proxy (Record ())) (Record query) (Proxy vars)) => GetGqlQueryVarsRecord (Record schema) (Record query) vars

class GetVar query var | query -> var where

Members

• getVar :: Proxy query -> Proxy var

Instances

• (Cons name a () var) => GetVar (Var name a) (Record var)
• (GetVar query var) => GetVar (Alias name query) var
• (GetVar a (Record vars)) => GetVar (Maybe a) (Record vars)
• (GetVar a (Record vars)) => GetVar (AsGql sym a) (Record vars)
• (GetVar a (Record vars)) => GetVar (Array a) (Record vars)
• (GetVar query var) => GetVar (ApplyDirective name args query) var
• (GetVar l (Record varL), GetVar r (Record varR), Union varR varL trash, Union varL varR trash, Nub trash var) => GetVar (Spread name l r) (Record var)
• (GetVar arg (Record varArg), GetVar t (Record varT), Union varT varArg trash, Union varArg varT trash, Nub trash var) => GetVar (Args arg t) (Record var)
• (GetVar l (Record varL), GetVar r (Record varR), Union varR varL trash, Union varL varR trash, Nub trash var) => GetVar (AndArg l r) (Record var)
• (GetVar l (Record varL), GetVar r (Record varR), Union varR varL trash, Union varL varR trash, Nub trash var) => GetVar (AndArgs l r) (Record var)
• (GetVar l (Record varL), GetVar r (Record varR), Union varR varL trash, Union varL varR trash, Nub trash var) => GetVar (OrArg l r) (Record var)
• (HFoldl GetVarRec (Proxy (Record ())) (Record query) (Proxy (Record var))) => GetVar (Record query) (Record var)
• GetVar a (Record ())

class GqlArrayAndMaybeType a  where

Members

• gqlArrayAndMaybeType :: Proxy a -> String -> String

Instances

• (GqlArrayAndMaybeType a) => GqlArrayAndMaybeType (Maybe (Array a))
• (GqlArrayAndMaybeType a) => GqlArrayAndMaybeType (Array a)
• (GqlArrayAndMaybeType a) => GqlArrayAndMaybeType (Maybe a)
• GqlArrayAndMaybeType a

class VarsTypeChecked schema query  where

Members

• getVarsJson :: Proxy schema -> query -> Json
• getVarsTypeNames :: Proxy schema -> query -> String

Instances

• (GetGqlQueryVars schema query (Record gqlVars), HFoldlWithIndex (CombineVarsProp (Record gqlVars)) GqlQueryVarsN (Record vars) GqlQueryVarsN) => VarsTypeChecked schema (WithVars query (Record vars))
• (GetVar (Record query) (Record ())) => VarsTypeChecked schema (ApplyDirective name args (Record query))
• (GetVar (Record query) (Record ())) => VarsTypeChecked schema (Record query)
• (GetVar query (Record ())) => VarsTypeChecked schema (Identity query)
• (GetVar query (Record ())) => VarsTypeChecked schema (ErrorBoundary query)
• (GetVar (Record query) (Record ())) => VarsTypeChecked schema (GqlUnion query)
• (GetVar (Spread alias arg fields) (Record ())) => VarsTypeChecked schema (Spread alias arg fields)

combineVars :: forall vars gqlVars. HFoldlWithIndex (CombineVarsProp (Record gqlVars)) GqlQueryVarsN vars GqlQueryVarsN => vars -> Proxy (Record gqlVars) -> GqlQueryVarsN

getQuery :: forall query vars. WithVars query vars -> query

getQueryVars :: forall query vars. GetVar query vars => query -> Proxy vars

propGetGqlVars :: forall query schema result. HFoldlWithIndex (PropGetGqlVars schema) (Proxy (Record ())) (Record query) (Proxy result) => Proxy schema -> Proxy (Record query) -> Proxy result

withVars :: forall query vars. EncodeJson (Record vars) => query -> Record vars -> WithVars query (Record vars)

Add variables to a query

withVarsEncode :: forall query vars. (Record vars -> Json) -> query -> Record vars -> WithVars query (Record vars)

Add variables to a query with a custom encoder