GraphQL.Client.QueryReturns

newtype PropToSchemaType :: Row Type -> Typenewtype PropToSchemaType schema

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

Instances

• (IsSymbol sym, IsSymbol al, Cons al subSchema rest schema, QueryReturnsAt sym subSchema val returns) => MappingWithIndex (PropToSchemaType schema) (Proxy sym) (Alias (Proxy al) val) returns
• (IsSymbol sym, IsSymbol val, Cons val subSchema rest schema, QueryReturnsAt sym subSchema (Proxy val) returns) => MappingWithIndex (PropToSchemaType schema) (Proxy sym) (Proxy val) returns
• (IsSymbol sym, Cons sym subSchema rest schema, QueryReturnsAt sym subSchema val returns) => MappingWithIndex (PropToSchemaType schema) (Proxy sym) val returns

class QueryReturns :: forall k1 k2 k3. k1 -> k2 -> k3 -> Constraintclass QueryReturns schema query returns | schema query -> returns

Instances

• (QueryReturnsAt any schema query returns) => QueryReturns schema query returns

class QueryReturnsAt :: Symbol -> Type -> Type -> Type -> Constraintclass QueryReturnsAt at schema query returns | schema query -> returns where

Members

• queryReturnsAtImpl :: Proxy at -> schema -> query -> returns

  Do not use this. Use queryReturns instead. Only exported due to compiler restrictions

Instances

• (QueryReturnsAt at a q t) => QueryReturnsAt at a (WithVars q vars) t
• (QueryReturnsAt at a q t) => QueryReturnsAt at a (Var name q) t
• (QueryReturnsAt at a q t) => QueryReturnsAt at (AsGql gql a) q t
• (QueryReturnsAt at a q t) => QueryReturnsAt at a (ApplyDirective name args q) t
• (QueryReturnsAt at a q t) => QueryReturnsAt at a (Identity q) (Identity t)
• (QueryReturnsAt at a q t) => QueryReturnsAt at a (ErrorBoundary q) (BoundaryResult Unit t)
• (IsSymbol alias, Cons alias subSchema rest schema, QueryReturnsAt at subSchema (Args args q) returns) => QueryReturnsAt at (Record schema) (Spread (Proxy alias) args q) (SpreadRes returns)
• (QueryReturnsAt at (Record schema) (Spread (Proxy alias) args q) (SpreadRes returns), Newtype newtypeSchema (Record schema)) => QueryReturnsAt at newtypeSchema (Spread (Proxy alias) args q) (SpreadRes returns)
• (QueryReturnsAt at a q t) => QueryReturnsAt at (Array a) (ArrayOf q) (Array t)
• (QueryReturnsAt at a q t) => QueryReturnsAt at (Array a) q (Array t)
• (QueryReturnsAt at a q t) => QueryReturnsAt at (Maybe a) q (Maybe t)
• (HMapWithIndex (PropToSchemaType schema) (Record query) (Record returns)) => QueryReturnsAt at (GqlUnion schema) (GqlUnion query) (UnionReturned returns)
• (QueryReturnsAt at t q result, HMapWithIndex (ArgPropToGql params) (Record args) s, SatisfyNotNullParam (Record params) (Record args)) => QueryReturnsAt at (Record params -> t) (Args (Record args) q) result
• (QueryReturnsAt at t q result, SatisfyNotNullParam (Record params) (Record ())) => QueryReturnsAt at (Record params -> t) q result
• (HMapWithIndex (PropToSchemaType schema) query returns) => QueryReturnsAt at (Record schema) query returns
• (Newtype newtypeSchema (Record schema), QueryReturnsAt at (Record schema) (Record query) returns) => QueryReturnsAt at newtypeSchema (Record query) returns
• QueryReturnsAt at a q a
• (Fail (Above (Text "Query return type mismatch: ") (Beside (Text " ") (Above (Beside (Text "Schema type: ") (Quote schema)) (Above (Beside (Text "Incorrect return type: ") (Quote returns)) (Beside (Text "At: ") (Quote at))))))) => QueryReturnsAt at schema query returns

queryReturns :: forall schema query returns. QueryReturns schema query returns => Proxy schema -> query -> Proxy returns

Get the type that a query returns.