Module

Prospero.Client

Package: purescript-prospero
Repository: rowtype-yoga/purescript-prospero

#ClientError Source

type ClientError = { message :: String }

#QueryResult Source

data QueryResult :: Row Type -> Typedata QueryResult r

Constructors

Success (Record r)
PartialSuccess (Record r) (NonEmptyArray ClientError)
Failure (NonEmptyArray ClientError)

#Selection Source

newtype Selection :: Type -> Type -> Row Type -> Typenewtype Selection (parent :: Type) (result :: Type) (params :: Row Type)

Constructors

Selection String

#ServerMessage Source

data ServerMessage

Constructors

#AssertNonEmpty Source

class AssertNonEmpty :: Symbol -> Constraintclass AssertNonEmpty sym

Instances

(Fail (Text "Expected alias name before \':\'")) => AssertNonEmpty ""
AssertNonEmpty sym

#ChildKind Source

class ChildKind (a :: Type) (kind :: Type) | a -> kind

Instances

ChildKind (Record inner) Unit
ChildKind (GqlObject_ name a) Object
ChildKind (GqlEnum_ name a) Enum
ChildKind (GqlUnion_ name a) Union
(IsGql kind name a) => ChildKind a kind

#ChildRecord Source

class ChildRecord :: Type -> Symbol -> Row Type -> Constraintclass ChildRecord (childType :: Type) (childName :: Symbol) (childInner :: Row Type) | childType -> childName childInner

Instances

ChildRecord (Record inner) "Object" inner
(IsSymbol name) => ChildRecord (GqlObject_ name (Record inner)) name inner
(IsSymbol name, Newtype a (Record inner)) => ChildRecord (GqlObject_ name a) name inner
(Newtype a (Record inner), IsGql kind name a) => ChildRecord a name inner

#ExtractArgs Source

class ExtractArgs :: Type -> Row Type -> Constraintclass ExtractArgs (fieldType :: Type) (args :: Row Type) | fieldType -> args

Instances

(ExtractArgs a args) => ExtractArgs (Described desc a) args
(ExtractArgs a args) => ExtractArgs (Cost cost a) args
(ExtractArgs a args) => ExtractArgs (MaxAge n unit a) args
(ExtractArgs a args) => ExtractArgs (Private a) args
ExtractArgs (Query (Record args) a) args
ExtractArgs (Mutation (Record args) a) args
ExtractArgs (Query Unit a) ()
ExtractArgs (Mutation Unit a) ()
ExtractArgs (Subscription a) ()
ExtractArgs a ()

#FindArg Source

class FindArg :: RowList Type -> Symbol -> Type -> Constraintclass FindArg (argsRL :: RowList Type) (argName :: Symbol) (argType :: Type) | argsRL argName -> argType

Instances

(Fail (Beside (Text "Unknown argument: ") (Quote argName))) => FindArg Nil argName argType
FindArg (Cons argName ty tail) argName ty
(FindArg tail argName ty) => FindArg (Cons other otherTy tail) argName ty

#FindField Source

class FindField :: Symbol -> RowList Type -> Symbol -> Type -> Constraintclass FindField (parentName :: Symbol) (rl :: RowList Type) (name :: Symbol) (fieldType :: Type) | rl name -> fieldType

Instances

(Fail (Above (Beside (Text "Field ") (Beside (Quote name) (Beside (Text " does not exist on type ") (Quote parentName)))) (Text ""))) => FindField parentName Nil name fieldType
FindField parentName (Cons name ty tail) name ty
(FindField parentName tail name ty) => FindField parentName (Cons other otherTy tail) name ty

#FindVariantMember Source

class FindVariantMember :: Symbol -> RowList Type -> Type -> Constraintclass FindVariantMember (typeName :: Symbol) (rl :: RowList Type) (memberType :: Type) | typeName rl -> memberType

Instances

FindVariantMember name (Cons name ty tail) ty
(FindVariantMember name tail result) => FindVariantMember name (Cons other otherTy tail) result
(Fail (Beside (Text "Union has no member named ") (Quote name))) => FindVariantMember name Nil result

#LowercaseChar Source

class LowercaseChar :: Symbol -> Symbol -> Constraintclass LowercaseChar (upper :: Symbol) (lower :: Symbol) | upper -> lower

Instances

LowercaseChar "A" "a"
LowercaseChar "B" "b"
LowercaseChar "C" "c"
LowercaseChar "D" "d"
LowercaseChar "E" "e"
LowercaseChar "F" "f"
LowercaseChar "G" "g"
LowercaseChar "H" "h"
LowercaseChar "I" "i"
LowercaseChar "J" "j"
LowercaseChar "K" "k"
LowercaseChar "L" "l"
LowercaseChar "M" "m"
LowercaseChar "N" "n"
LowercaseChar "O" "o"
LowercaseChar "P" "p"
LowercaseChar "Q" "q"
LowercaseChar "R" "r"
LowercaseChar "S" "s"
LowercaseChar "T" "t"
LowercaseChar "U" "u"
LowercaseChar "V" "v"
LowercaseChar "W" "w"
LowercaseChar "X" "x"
LowercaseChar "Y" "y"
LowercaseChar "Z" "z"
LowercaseChar c c

#LowercaseFirst Source

class LowercaseFirst :: Symbol -> Symbol -> Constraintclass LowercaseFirst (input :: Symbol) (output :: Symbol) | input -> output

Instances

(Cons h t input, LowercaseChar h lh, Append lh t output) => LowercaseFirst input output

#ParseFragmentTypeName Source

class ParseFragmentTypeName :: Symbol -> Symbol -> Symbol -> Constraintclass ParseFragmentTypeName (sym :: Symbol) (typeName :: Symbol) (rest :: Symbol) | sym -> typeName rest

Instances

(Fail (Text "Expected type name after \'... on\'")) => ParseFragmentTypeName "" typeName rest
(Cons h t sym, ParseFragmentTypeNameGo h t "" typeName rest) => ParseFragmentTypeName sym typeName rest

#ParseFragmentTypeNameGo Source

class ParseFragmentTypeNameGo :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> Constraintclass ParseFragmentTypeNameGo (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (typeName :: Symbol) (rest :: Symbol) | head tail acc -> typeName rest

Instances

ParseFragmentTypeNameGo " " tail acc acc tail
ParseFragmentTypeNameGo "\n" tail acc acc tail
ParseFragmentTypeNameGo "\t" tail acc acc tail
ParseFragmentTypeNameGo "\r" tail acc acc tail
(Cons "{" tail rest) => ParseFragmentTypeNameGo "{" tail acc acc rest
(Append acc h acc') => ParseFragmentTypeNameGo h "" acc acc' ""
(Append acc h acc', Cons nextH nextT tail, ParseFragmentTypeNameGo nextH nextT acc' typeName rest) => ParseFragmentTypeNameGo h tail acc typeName rest

#ParseGql Source

class ParseGql :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGql (sym :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (resultRL :: RowList Type) (paramsRL :: RowList Type) | sym innerRL -> resultRL paramsRL

Instances

ParseGql "" parentName innerRL Nil Nil
(SkipSpaces sym sym', ParseGqlTrimmed sym' parentName innerRL resultRL paramsRL) => ParseGql sym parentName innerRL resultRL paramsRL

#ParseGqlAfterArgs Source

class ParseGqlAfterArgs :: Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGqlAfterArgs (rest :: Symbol) (acc :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) | rest acc innerRL accRL paramsIn -> outRL paramsOut

Instances

(FindField parentName innerRL acc fieldType, ScalarResult fieldType resultType) => ParseGqlAfterArgs "" acc parentName innerRL accRL paramsIn (Cons acc resultType accRL) paramsIn
(Cons h t rest, ParseGqlGo h t acc parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlAfterArgs rest acc parentName innerRL accRL paramsIn outRL paramsOut

#ParseGqlAfterSpace Source

class ParseGqlAfterSpace :: Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGqlAfterSpace (rest :: Symbol) (acc :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) | rest acc innerRL accRL paramsIn -> outRL paramsOut

Instances

ParseGqlAfterSpace "" "" parentName innerRL accRL paramsIn accRL paramsIn
(FindField parentName innerRL acc fieldType, ScalarResult fieldType resultType) => ParseGqlAfterSpace "" acc parentName innerRL accRL paramsIn (Cons acc resultType accRL) paramsIn
(Cons h t rest, ParseGqlAfterSpaceByHead h t acc parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut

#ParseGqlAfterSpaceByHead Source

class ParseGqlAfterSpaceByHead :: Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGqlAfterSpaceByHead (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) | head tail acc innerRL accRL paramsIn -> outRL paramsOut

Instances

(SkipSpaces tail rest, FindField parentName innerRL acc fieldType, UnwrapField fieldType childType, ParseGqlChild childType rest paramsIn nestedResult paramsAfterNested afterBrace, WrapResult fieldType nestedResult resultType, SkipSpaces afterBrace rest2, ParseGqlContinue rest2 parentName innerRL (Cons acc resultType accRL) paramsAfterNested outRL paramsOut) => ParseGqlAfterSpaceByHead "{" tail acc parentName innerRL accRL paramsIn outRL paramsOut
(Cons h t rest, ParseGqlGo h t "" parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlAfterSpaceByHead h t "" parentName innerRL accRL paramsIn outRL paramsOut
(FindField parentName innerRL acc fieldType, ScalarResult fieldType resultType, Cons h t rest, ParseGqlGo h t "" parentName innerRL (Cons acc resultType accRL) paramsIn outRL paramsOut) => ParseGqlAfterSpaceByHead h t acc parentName innerRL accRL paramsIn outRL paramsOut

#ParseGqlAliasedAfterArgs Source

class ParseGqlAliasedAfterArgs :: Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGqlAliasedAfterArgs (rest :: Symbol) (fieldAcc :: Symbol) (alias :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) | rest fieldAcc alias innerRL accRL paramsIn -> outRL paramsOut

Instances

(FindField parentName innerRL fieldAcc fieldType, ScalarResult fieldType resultType) => ParseGqlAliasedAfterArgs "" fieldAcc alias parentName innerRL accRL paramsIn (Cons alias resultType accRL) paramsIn
(Cons h t rest, ParseGqlAliasedFieldGo h t fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlAliasedAfterArgs rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut

#ParseGqlAliasedAfterSpace Source

class ParseGqlAliasedAfterSpace :: Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGqlAliasedAfterSpace (rest :: Symbol) (fieldAcc :: Symbol) (alias :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) | rest fieldAcc alias innerRL accRL paramsIn -> outRL paramsOut

Instances

(FindField parentName innerRL fieldAcc fieldType, ScalarResult fieldType resultType) => ParseGqlAliasedAfterSpace "" fieldAcc alias parentName innerRL accRL paramsIn (Cons alias resultType accRL) paramsIn
(Cons h t rest, ParseGqlAliasedAfterSpaceByHead h t fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut

#ParseGqlAliasedAfterSpaceByHead Source

class ParseGqlAliasedAfterSpaceByHead :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGqlAliasedAfterSpaceByHead (head :: Symbol) (tail :: Symbol) (fieldAcc :: Symbol) (alias :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) | head tail fieldAcc alias innerRL accRL paramsIn -> outRL paramsOut

Instances

(SkipSpaces tail rest, FindField parentName innerRL fieldAcc fieldType, UnwrapField fieldType childType, ParseGqlChild childType rest paramsIn nestedResult paramsAfterNested afterBrace, WrapResult fieldType nestedResult resultType, SkipSpaces afterBrace rest2, ParseGqlContinue rest2 parentName innerRL (Cons alias resultType accRL) paramsAfterNested outRL paramsOut) => ParseGqlAliasedAfterSpaceByHead "{" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut
(FindField parentName innerRL fieldAcc fieldType, ExtractArgs fieldType argsRow, RowToList argsRow argsRL, ParseGqlArgs tail argsRL paramsIn paramsAfterArgs rest, ParseGqlAliasedAfterArgs rest fieldAcc alias parentName innerRL accRL paramsAfterArgs outRL paramsOut) => ParseGqlAliasedAfterSpaceByHead "(" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut
(FindField parentName innerRL fieldAcc fieldType, ScalarResult fieldType resultType, ParseGqlGo h t "" parentName innerRL (Cons alias resultType accRL) paramsIn outRL paramsOut) => ParseGqlAliasedAfterSpaceByHead h t fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut

#ParseGqlAliasedFieldGo Source

class ParseGqlAliasedFieldGo :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGqlAliasedFieldGo (head :: Symbol) (tail :: Symbol) (fieldAcc :: Symbol) (alias :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) | head tail fieldAcc alias innerRL accRL paramsIn -> outRL paramsOut

Instances

(SkipSpaces tail rest, ParseGqlAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlAliasedFieldGo " " tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut
(SkipSpaces tail rest, ParseGqlAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlAliasedFieldGo "\n" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut
(SkipSpaces tail rest, ParseGqlAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlAliasedFieldGo "\t" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut
(SkipSpaces tail rest, ParseGqlAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlAliasedFieldGo "\r" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut
(FindField parentName innerRL fieldAcc fieldType, ExtractArgs fieldType argsRow, RowToList argsRow argsRL, ParseGqlArgs tail argsRL paramsIn paramsAfterArgs rest, ParseGqlAliasedAfterArgs rest fieldAcc alias parentName innerRL accRL paramsAfterArgs outRL paramsOut) => ParseGqlAliasedFieldGo "(" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut
(SkipSpaces tail rest, FindField parentName innerRL fieldAcc fieldType, UnwrapField fieldType childType, ParseGqlChild childType rest paramsIn nestedResult paramsAfterNested afterBrace, WrapResult fieldType nestedResult resultType, SkipSpaces afterBrace rest2, ParseGqlContinue rest2 parentName innerRL (Cons alias resultType accRL) paramsAfterNested outRL paramsOut) => ParseGqlAliasedFieldGo "{" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut
(Append fieldAcc h fieldAcc', FindField parentName innerRL fieldAcc' fieldType, ScalarResult fieldType resultType) => ParseGqlAliasedFieldGo h "" fieldAcc alias parentName innerRL accRL paramsIn (Cons alias resultType accRL) paramsIn
(Append fieldAcc h fieldAcc', Cons nextH nextT tail, ParseGqlAliasedFieldGo nextH nextT fieldAcc' alias parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlAliasedFieldGo h tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut

#ParseGqlArgSep Source

class ParseGqlArgSep :: Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlArgSep (sym :: Symbol) (paramAcc :: Symbol) (argName :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | sym paramAcc argName argsRL paramsIn -> paramsOut rest

Instances

(Fail (Text "Expected \',\' or \')\' after parameter name")) => ParseGqlArgSep "" paramAcc argName argsRL paramsIn paramsOut rest
(Cons h t sym, ParseGqlArgSepHead h t paramAcc argName argsRL paramsIn paramsOut rest) => ParseGqlArgSep sym paramAcc argName argsRL paramsIn paramsOut rest

#ParseGqlArgSepHead Source

class ParseGqlArgSepHead :: Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlArgSepHead (head :: Symbol) (tail :: Symbol) (paramAcc :: Symbol) (argName :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | head tail paramAcc argName argsRL paramsIn -> paramsOut rest

Instances

(FindArg argsRL argName argType) => ParseGqlArgSepHead ")" tail paramAcc argName argsRL paramsIn (Cons paramAcc argType paramsIn) tail
(FindArg argsRL argName argType, SkipSpaces tail rest, ParseGqlArgsStart rest argsRL (Cons paramAcc argType paramsIn) paramsOut rest2) => ParseGqlArgSepHead "," tail paramAcc argName argsRL paramsIn paramsOut rest2
(Fail (Text "Expected \',\' or \')\' after parameter name")) => ParseGqlArgSepHead h tail paramAcc argName argsRL paramsIn paramsOut rest

#ParseGqlArgValue Source

class ParseGqlArgValue :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlArgValue (sym :: Symbol) (argName :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | sym argName argsRL paramsIn -> paramsOut rest

Instances

(Fail (Text "Expected \'$\' parameter reference after \':\'")) => ParseGqlArgValue "" argName argsRL paramsIn paramsOut rest
(Cons h t sym, ParseGqlArgValueHead h t argName argsRL paramsIn paramsOut rest) => ParseGqlArgValue sym argName argsRL paramsIn paramsOut rest

#ParseGqlArgValueHead Source

class ParseGqlArgValueHead :: Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlArgValueHead (head :: Symbol) (tail :: Symbol) (argName :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | head tail argName argsRL paramsIn -> paramsOut rest

Instances

(ParseGqlParamName tail argName argsRL paramsIn paramsOut rest) => ParseGqlArgValueHead "$" tail argName argsRL paramsIn paramsOut rest
(FindArg argsRL argName argType, ParseGqlSkipStringBody tail afterString, Cons h2 t2 afterString, ParseGqlLiteralSkip h2 t2 argsRL paramsIn paramsOut rest) => ParseGqlArgValueHead "\"" tail argName argsRL paramsIn paramsOut rest
(FindArg argsRL argName argType, ParseGqlLiteralSkip h tail argsRL paramsIn paramsOut rest) => ParseGqlArgValueHead h tail argName argsRL paramsIn paramsOut rest

#ParseGqlArgs Source

class ParseGqlArgs :: Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlArgs (sym :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | sym argsRL paramsIn -> paramsOut rest

Instances

(Fail (Text "Unclosed \'(\' — expected \')\'")) => ParseGqlArgs "" argsRL paramsIn paramsOut rest
(SkipSpaces sym sym', ParseGqlArgsStart sym' argsRL paramsIn paramsOut rest) => ParseGqlArgs sym argsRL paramsIn paramsOut rest

#ParseGqlArgsColon Source

class ParseGqlArgsColon :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlArgsColon (sym :: Symbol) (argName :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | sym argName argsRL paramsIn -> paramsOut rest

Instances

(Fail (Text "Expected \':\' after argument name")) => ParseGqlArgsColon "" argName argsRL paramsIn paramsOut rest
(SkipSpaces tail rest, ParseGqlArgValue rest argName argsRL paramsIn paramsOut rest2) => ParseGqlArgsColon sym argName argsRL paramsIn paramsOut rest2

#ParseGqlArgsGo Source

class ParseGqlArgsGo :: Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlArgsGo (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | head tail acc argsRL paramsIn -> paramsOut rest

Instances

ParseGqlArgsGo ")" tail "" argsRL paramsIn paramsIn tail
(SkipSpaces tail rest, ParseGqlArgValue rest acc argsRL paramsIn paramsOut rest2) => ParseGqlArgsGo ":" tail acc argsRL paramsIn paramsOut rest2
(SkipSpaces tail rest, ParseGqlArgsColon rest acc argsRL paramsIn paramsOut rest2) => ParseGqlArgsGo " " tail acc argsRL paramsIn paramsOut rest2
(SkipSpaces tail rest, ParseGqlArgsColon rest acc argsRL paramsIn paramsOut rest2) => ParseGqlArgsGo "\n" tail acc argsRL paramsIn paramsOut rest2
(SkipSpaces tail rest, ParseGqlArgsColon rest acc argsRL paramsIn paramsOut rest2) => ParseGqlArgsGo "\t" tail acc argsRL paramsIn paramsOut rest2
(SkipSpaces tail rest, ParseGqlArgsColon rest acc argsRL paramsIn paramsOut rest2) => ParseGqlArgsGo "\r" tail acc argsRL paramsIn paramsOut rest2
(Append acc h acc', Cons nextH nextT tail, ParseGqlArgsGo nextH nextT acc' argsRL paramsIn paramsOut rest) => ParseGqlArgsGo h tail acc argsRL paramsIn paramsOut rest

#ParseGqlArgsStart Source

class ParseGqlArgsStart :: Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlArgsStart (sym :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | sym argsRL paramsIn -> paramsOut rest

Instances

(Fail (Text "Unclosed \'(\' — expected \')\'")) => ParseGqlArgsStart "" argsRL paramsIn paramsOut rest
(Cons h t sym, ParseGqlArgsGo h t "" argsRL paramsIn paramsOut rest) => ParseGqlArgsStart sym argsRL paramsIn paramsOut rest

#ParseGqlChild Source

class ParseGqlChild :: Type -> Symbol -> RowList Type -> Type -> RowList Type -> Symbol -> Constraintclass ParseGqlChild (childType :: Type) (sym :: Symbol) (paramsIn :: RowList Type) (nestedResult :: Type) (paramsOut :: RowList Type) (rest :: Symbol) | childType sym paramsIn -> nestedResult paramsOut rest

Instances

(ChildKind childType kind, ParseGqlChildByKind kind childType sym paramsIn nestedResult paramsOut rest) => ParseGqlChild childType sym paramsIn nestedResult paramsOut rest

#ParseGqlChildByKind Source

class ParseGqlChildByKind :: Type -> Type -> Symbol -> RowList Type -> Type -> RowList Type -> Symbol -> Constraintclass ParseGqlChildByKind (kind :: Type) (childType :: Type) (sym :: Symbol) (paramsIn :: RowList Type) (nestedResult :: Type) (paramsOut :: RowList Type) (rest :: Symbol) | kind childType sym paramsIn -> nestedResult paramsOut rest

Instances

(RowToList row rl, ParseGqlUnionNested sym rl Nil paramsIn nestedRL paramsOut rest, UnionResult nestedRL nestedResult) => ParseGqlChildByKind Union (GqlUnion_ name (Variant row)) sym paramsIn nestedResult paramsOut rest
(Newtype a (Variant row), RowToList row rl, ParseGqlUnionNested sym rl Nil paramsIn nestedRL paramsOut rest, UnionResult nestedRL nestedResult) => ParseGqlChildByKind Union (GqlUnion_ name a) sym paramsIn nestedResult paramsOut rest
(Newtype a (Variant row), RowToList row rl, ParseGqlUnionNested sym rl Nil paramsIn nestedRL paramsOut rest, UnionResult nestedRL nestedResult) => ParseGqlChildByKind Union a sym paramsIn nestedResult paramsOut rest
(IsSymbol name, RowToList inner childInnerRL, ParseGqlNested sym name childInnerRL Nil paramsIn nestedRL paramsOut rest, ListToRow nestedRL nestedRow) => ParseGqlChildByKind Object (GqlObject_ name (Record inner)) sym paramsIn (Record nestedRow) paramsOut rest
(IsSymbol name, Newtype a (Record inner), RowToList inner childInnerRL, ParseGqlNested sym name childInnerRL Nil paramsIn nestedRL paramsOut rest, ListToRow nestedRL nestedRow) => ParseGqlChildByKind Object (GqlObject_ name a) sym paramsIn (Record nestedRow) paramsOut rest
(RowToList inner childInnerRL, ParseGqlNested sym "Object" childInnerRL Nil paramsIn nestedRL paramsOut rest, ListToRow nestedRL nestedRow) => ParseGqlChildByKind Unit (Record inner) sym paramsIn (Record nestedRow) paramsOut rest
(Newtype a (Record inner), IsGql kind name a, RowToList inner childInnerRL, ParseGqlNested sym name childInnerRL Nil paramsIn nestedRL paramsOut rest, ListToRow nestedRL nestedRow) => ParseGqlChildByKind kind a sym paramsIn (Record nestedRow) paramsOut rest

#ParseGqlContinue Source

class ParseGqlContinue :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGqlContinue (rest :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) | rest innerRL accRL paramsIn -> outRL paramsOut

Instances

ParseGqlContinue "" parentName innerRL accRL paramsIn accRL paramsIn
(Cons h t rest, ParseGqlGo h t "" parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlContinue rest parentName innerRL accRL paramsIn outRL paramsOut

#ParseGqlGo Source

class ParseGqlGo :: Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGqlGo (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) | head tail acc innerRL accRL paramsIn -> outRL paramsOut

Instances

(SkipSpaces tail rest, ParseGqlAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlGo " " tail acc parentName innerRL accRL paramsIn outRL paramsOut
(SkipSpaces tail rest, ParseGqlAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlGo "\n" tail acc parentName innerRL accRL paramsIn outRL paramsOut
(SkipSpaces tail rest, ParseGqlAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlGo "\t" tail acc parentName innerRL accRL paramsIn outRL paramsOut
(SkipSpaces tail rest, ParseGqlAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlGo "\r" tail acc parentName innerRL accRL paramsIn outRL paramsOut
(SkipSpaces tail rest, ParseGqlAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlGo "," tail acc parentName innerRL accRL paramsIn outRL paramsOut
(FindField parentName innerRL acc fieldType, ExtractArgs fieldType argsRow, RowToList argsRow argsRL, ParseGqlArgs tail argsRL paramsIn paramsAfterArgs rest, ParseGqlAfterArgs rest acc parentName innerRL accRL paramsAfterArgs outRL paramsOut) => ParseGqlGo "(" tail acc parentName innerRL accRL paramsIn outRL paramsOut
(SkipSpaces tail rest, FindField parentName innerRL acc fieldType, UnwrapField fieldType childType, ParseGqlChild childType rest paramsIn nestedResult paramsAfterNested afterBrace, WrapResult fieldType nestedResult resultType, SkipSpaces afterBrace rest2, ParseGqlContinue rest2 parentName innerRL (Cons acc resultType accRL) paramsAfterNested outRL paramsOut) => ParseGqlGo "{" tail acc parentName innerRL accRL paramsIn outRL paramsOut
(Fail (Text "Unexpected \'}\' — not inside a nested selection")) => ParseGqlGo "}" tail acc parentName innerRL accRL paramsIn outRL paramsOut
(AssertNonEmpty acc, SkipSpaces tail rest, Cons h2 t2 rest, ParseGqlAliasedFieldGo h2 t2 "" acc parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlGo ":" tail acc parentName innerRL accRL paramsIn outRL paramsOut
(Append acc h acc', FindField parentName innerRL acc' fieldType, ScalarResult fieldType resultType) => ParseGqlGo h "" acc parentName innerRL accRL paramsIn (Cons acc' resultType accRL) paramsIn
(Append acc h acc', Cons nextH nextT tail, ParseGqlGo nextH nextT acc' parentName innerRL accRL paramsIn outRL paramsOut) => ParseGqlGo h tail acc parentName innerRL accRL paramsIn outRL paramsOut

#ParseGqlLiteralSep Source

class ParseGqlLiteralSep :: Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlLiteralSep (sym :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | sym argsRL paramsIn -> paramsOut rest

Instances

(Fail (Text "Expected \',\' or \')\' after literal value")) => ParseGqlLiteralSep "" argsRL paramsIn paramsOut rest
(Cons h t sym, ParseGqlLiteralSepHead h t argsRL paramsIn paramsOut rest) => ParseGqlLiteralSep sym argsRL paramsIn paramsOut rest

#ParseGqlLiteralSepHead Source

class ParseGqlLiteralSepHead :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlLiteralSepHead (head :: Symbol) (tail :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | head tail argsRL paramsIn -> paramsOut rest

Instances

ParseGqlLiteralSepHead ")" tail argsRL paramsIn paramsIn tail
(SkipSpaces tail rest, ParseGqlArgsStart rest argsRL paramsIn paramsOut rest2) => ParseGqlLiteralSepHead "," tail argsRL paramsIn paramsOut rest2
(Fail (Text "Expected \',\' or \')\' after literal value")) => ParseGqlLiteralSepHead h tail argsRL paramsIn paramsOut rest

#ParseGqlLiteralSkip Source

class ParseGqlLiteralSkip :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlLiteralSkip (head :: Symbol) (tail :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | head tail argsRL paramsIn -> paramsOut rest

Instances

ParseGqlLiteralSkip ")" tail argsRL paramsIn paramsIn tail
(SkipSpaces tail rest, ParseGqlArgsStart rest argsRL paramsIn paramsOut rest2) => ParseGqlLiteralSkip "," tail argsRL paramsIn paramsOut rest2
(SkipSpaces tail rest, ParseGqlLiteralSep rest argsRL paramsIn paramsOut rest2) => ParseGqlLiteralSkip " " tail argsRL paramsIn paramsOut rest2
(SkipSpaces tail rest, ParseGqlLiteralSep rest argsRL paramsIn paramsOut rest2) => ParseGqlLiteralSkip "\n" tail argsRL paramsIn paramsOut rest2
(SkipSpaces tail rest, ParseGqlLiteralSep rest argsRL paramsIn paramsOut rest2) => ParseGqlLiteralSkip "\t" tail argsRL paramsIn paramsOut rest2
(SkipSpaces tail rest, ParseGqlLiteralSep rest argsRL paramsIn paramsOut rest2) => ParseGqlLiteralSkip "\r" tail argsRL paramsIn paramsOut rest2
(Fail (Text "Unclosed \'(\' — expected \')\'")) => ParseGqlLiteralSkip h "" argsRL paramsIn paramsOut rest
(Cons h2 t2 tail, ParseGqlLiteralSkip h2 t2 argsRL paramsIn paramsOut rest) => ParseGqlLiteralSkip h tail argsRL paramsIn paramsOut rest

#ParseGqlNested Source

class ParseGqlNested :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlNested (sym :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | sym innerRL accRL paramsIn -> outRL paramsOut rest

Instances

(Fail (Text "Unclosed \'{\' — expected \'}\'")) => ParseGqlNested "" parentName innerRL accRL paramsIn outRL paramsOut rest
(Cons h t sym, ParseGqlNestedGo h t "" parentName innerRL accRL paramsIn outRL paramsOut rest) => ParseGqlNested sym parentName innerRL accRL paramsIn outRL paramsOut rest

#ParseGqlNestedAfterArgs Source

class ParseGqlNestedAfterArgs :: Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlNestedAfterArgs (rest :: Symbol) (acc :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (restOut :: Symbol) | rest acc innerRL accRL paramsIn -> outRL paramsOut restOut

Instances

(Fail (Text "Unclosed \'{\' — expected \'}\'")) => ParseGqlNestedAfterArgs "" acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(Cons h t rest, ParseGqlNestedGo h t acc parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedAfterArgs rest acc parentName innerRL accRL paramsIn outRL paramsOut restOut

#ParseGqlNestedAfterSpace Source

class ParseGqlNestedAfterSpace :: Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlNestedAfterSpace (rest :: Symbol) (acc :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (restOut :: Symbol) | rest acc innerRL accRL paramsIn -> outRL paramsOut restOut

Instances

(Fail (Text "Unclosed \'{\' — expected \'}\'")) => ParseGqlNestedAfterSpace "" "" parentName innerRL accRL paramsIn outRL paramsOut restOut
(Fail (Text "Unclosed \'{\' — expected \'}\'")) => ParseGqlNestedAfterSpace "" acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(Cons h t rest, ParseGqlNestedAfterSpaceByHead h t acc parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut restOut

#ParseGqlNestedAfterSpaceByHead Source

class ParseGqlNestedAfterSpaceByHead :: Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlNestedAfterSpaceByHead (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (restOut :: Symbol) | head tail acc innerRL accRL paramsIn -> outRL paramsOut restOut

Instances

ParseGqlNestedAfterSpaceByHead "}" tail "" parentName innerRL accRL paramsIn accRL paramsIn tail
(FindField parentName innerRL acc fieldType, ScalarResult fieldType resultType) => ParseGqlNestedAfterSpaceByHead "}" tail acc parentName innerRL accRL paramsIn (Cons acc resultType accRL) paramsIn tail
(SkipSpaces tail rest, FindField parentName innerRL acc fieldType, UnwrapField fieldType childType, ParseGqlChild childType rest paramsIn nestedResult paramsAfterNested afterBrace, WrapResult fieldType nestedResult resultType, SkipSpaces afterBrace rest2, ParseGqlNestedContinue rest2 parentName innerRL (Cons acc resultType accRL) paramsAfterNested outRL paramsOut restOut) => ParseGqlNestedAfterSpaceByHead "{" tail acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(Cons h t rest, ParseGqlNestedGo h t "" parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedAfterSpaceByHead h t "" parentName innerRL accRL paramsIn outRL paramsOut restOut
(FindField parentName innerRL acc fieldType, ScalarResult fieldType resultType, Cons h t rest, ParseGqlNestedGo h t "" parentName innerRL (Cons acc resultType accRL) paramsIn outRL paramsOut restOut) => ParseGqlNestedAfterSpaceByHead h t acc parentName innerRL accRL paramsIn outRL paramsOut restOut

#ParseGqlNestedAliasedAfterArgs Source

class ParseGqlNestedAliasedAfterArgs :: Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlNestedAliasedAfterArgs (rest :: Symbol) (fieldAcc :: Symbol) (alias :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (restOut :: Symbol) | rest fieldAcc alias innerRL accRL paramsIn -> outRL paramsOut restOut

Instances

(Fail (Text "Unclosed \'{\' — expected \'}\'")) => ParseGqlNestedAliasedAfterArgs "" fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(Cons h t rest, ParseGqlNestedAliasedFieldGo h t fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedAliasedAfterArgs rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut

#ParseGqlNestedAliasedAfterSpace Source

class ParseGqlNestedAliasedAfterSpace :: Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlNestedAliasedAfterSpace (rest :: Symbol) (fieldAcc :: Symbol) (alias :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (restOut :: Symbol) | rest fieldAcc alias innerRL accRL paramsIn -> outRL paramsOut restOut

Instances

(Fail (Text "Unclosed \'{\' — expected \'}\'")) => ParseGqlNestedAliasedAfterSpace "" fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(Cons h t rest, ParseGqlNestedAliasedAfterSpaceByHead h t fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut

#ParseGqlNestedAliasedAfterSpaceByHead Source

class ParseGqlNestedAliasedAfterSpaceByHead :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlNestedAliasedAfterSpaceByHead (head :: Symbol) (tail :: Symbol) (fieldAcc :: Symbol) (alias :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (restOut :: Symbol) | head tail fieldAcc alias innerRL accRL paramsIn -> outRL paramsOut restOut

Instances

(FindField parentName innerRL fieldAcc fieldType, ScalarResult fieldType resultType) => ParseGqlNestedAliasedAfterSpaceByHead "}" tail fieldAcc alias parentName innerRL accRL paramsIn (Cons alias resultType accRL) paramsIn tail
(SkipSpaces tail rest, FindField parentName innerRL fieldAcc fieldType, UnwrapField fieldType childType, ParseGqlChild childType rest paramsIn nestedResult paramsAfterNested afterBrace, WrapResult fieldType nestedResult resultType, SkipSpaces afterBrace rest2, ParseGqlNestedContinue rest2 parentName innerRL (Cons alias resultType accRL) paramsAfterNested outRL paramsOut restOut) => ParseGqlNestedAliasedAfterSpaceByHead "{" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(FindField parentName innerRL fieldAcc fieldType, ExtractArgs fieldType argsRow, RowToList argsRow argsRL, ParseGqlArgs tail argsRL paramsIn paramsAfterArgs rest, ParseGqlNestedAliasedAfterArgs rest fieldAcc alias parentName innerRL accRL paramsAfterArgs outRL paramsOut restOut) => ParseGqlNestedAliasedAfterSpaceByHead "(" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(FindField parentName innerRL fieldAcc fieldType, ScalarResult fieldType resultType, ParseGqlNestedGo h t "" parentName innerRL (Cons alias resultType accRL) paramsIn outRL paramsOut restOut) => ParseGqlNestedAliasedAfterSpaceByHead h t fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut

#ParseGqlNestedAliasedFieldGo Source

class ParseGqlNestedAliasedFieldGo :: Symbol -> Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlNestedAliasedFieldGo (head :: Symbol) (tail :: Symbol) (fieldAcc :: Symbol) (alias :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | head tail fieldAcc alias innerRL accRL paramsIn -> outRL paramsOut rest

Instances

(FindField parentName innerRL fieldAcc fieldType, ScalarResult fieldType resultType) => ParseGqlNestedAliasedFieldGo "}" tail fieldAcc alias parentName innerRL accRL paramsIn (Cons alias resultType accRL) paramsIn tail
(SkipSpaces tail rest, ParseGqlNestedAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedAliasedFieldGo " " tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlNestedAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedAliasedFieldGo "\n" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlNestedAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedAliasedFieldGo "\t" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlNestedAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedAliasedFieldGo "\r" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlNestedAliasedAfterSpace rest fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedAliasedFieldGo "," tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(FindField parentName innerRL fieldAcc fieldType, ExtractArgs fieldType argsRow, RowToList argsRow argsRL, ParseGqlArgs tail argsRL paramsIn paramsAfterArgs rest, ParseGqlNestedAliasedAfterArgs rest fieldAcc alias parentName innerRL accRL paramsAfterArgs outRL paramsOut restOut) => ParseGqlNestedAliasedFieldGo "(" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, FindField parentName innerRL fieldAcc fieldType, UnwrapField fieldType childType, ParseGqlChild childType rest paramsIn nestedResult paramsAfterNested afterBrace, WrapResult fieldType nestedResult resultType, SkipSpaces afterBrace rest2, ParseGqlNestedContinue rest2 parentName innerRL (Cons alias resultType accRL) paramsAfterNested outRL paramsOut restOut) => ParseGqlNestedAliasedFieldGo "{" tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut restOut
(Fail (Text "Unclosed \'{\' — expected \'}\'")) => ParseGqlNestedAliasedFieldGo h "" fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut rest
(Append fieldAcc h fieldAcc', Cons nextH nextT tail, ParseGqlNestedAliasedFieldGo nextH nextT fieldAcc' alias parentName innerRL accRL paramsIn outRL paramsOut rest) => ParseGqlNestedAliasedFieldGo h tail fieldAcc alias parentName innerRL accRL paramsIn outRL paramsOut rest

#ParseGqlNestedContinue Source

class ParseGqlNestedContinue :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlNestedContinue (rest :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (restOut :: Symbol) | rest innerRL accRL paramsIn -> outRL paramsOut restOut

Instances

(Fail (Text "Unclosed \'{\' — expected \'}\'")) => ParseGqlNestedContinue "" parentName innerRL accRL paramsIn outRL paramsOut restOut
(Cons h t rest, ParseGqlNestedGo h t "" parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedContinue rest parentName innerRL accRL paramsIn outRL paramsOut restOut

#ParseGqlNestedGo Source

class ParseGqlNestedGo :: Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlNestedGo (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | head tail acc innerRL accRL paramsIn -> outRL paramsOut rest

Instances

ParseGqlNestedGo "}" tail "" parentName innerRL accRL paramsIn accRL paramsIn tail
(FindField parentName innerRL acc fieldType, ScalarResult fieldType resultType) => ParseGqlNestedGo "}" tail acc parentName innerRL accRL paramsIn (Cons acc resultType accRL) paramsIn tail
(SkipSpaces tail rest, ParseGqlNestedAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedGo " " tail acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlNestedAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedGo "\n" tail acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlNestedAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedGo "\t" tail acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlNestedAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedGo "\r" tail acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlNestedAfterSpace rest acc parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedGo "," tail acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(FindField parentName innerRL acc fieldType, ExtractArgs fieldType argsRow, RowToList argsRow argsRL, ParseGqlArgs tail argsRL paramsIn paramsAfterArgs rest, ParseGqlNestedAfterArgs rest acc parentName innerRL accRL paramsAfterArgs outRL paramsOut restOut) => ParseGqlNestedGo "(" tail acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, FindField parentName innerRL acc fieldType, UnwrapField fieldType childType, ParseGqlChild childType rest paramsIn nestedResult paramsAfterNested afterBrace, WrapResult fieldType nestedResult resultType, SkipSpaces afterBrace rest2, ParseGqlNestedContinue rest2 parentName innerRL (Cons acc resultType accRL) paramsAfterNested outRL paramsOut restOut) => ParseGqlNestedGo "{" tail acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(AssertNonEmpty acc, SkipSpaces tail rest, Cons h2 t2 rest, ParseGqlNestedAliasedFieldGo h2 t2 "" acc parentName innerRL accRL paramsIn outRL paramsOut restOut) => ParseGqlNestedGo ":" tail acc parentName innerRL accRL paramsIn outRL paramsOut restOut
(Append acc h acc', Fail (Text "Unclosed \'{\' — expected \'}\'")) => ParseGqlNestedGo h "" acc parentName innerRL accRL paramsIn outRL paramsOut rest
(Append acc h acc', Cons nextH nextT tail, ParseGqlNestedGo nextH nextT acc' parentName innerRL accRL paramsIn outRL paramsOut rest) => ParseGqlNestedGo h tail acc parentName innerRL accRL paramsIn outRL paramsOut rest

#ParseGqlParamName Source

class ParseGqlParamName :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlParamName (sym :: Symbol) (argName :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | sym argName argsRL paramsIn -> paramsOut rest

Instances

(Fail (Text "Expected parameter name after \'$\'")) => ParseGqlParamName "" argName argsRL paramsIn paramsOut rest
(Cons h t sym, ParseGqlParamNameGo h t "" argName argsRL paramsIn paramsOut rest) => ParseGqlParamName sym argName argsRL paramsIn paramsOut rest

#ParseGqlParamNameGo Source

class ParseGqlParamNameGo :: Symbol -> Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlParamNameGo (head :: Symbol) (tail :: Symbol) (acc :: Symbol) (argName :: Symbol) (argsRL :: RowList Type) (paramsIn :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | head tail acc argName argsRL paramsIn -> paramsOut rest

Instances

(FindArg argsRL argName argType) => ParseGqlParamNameGo ")" tail acc argName argsRL paramsIn (Cons acc argType paramsIn) tail
(FindArg argsRL argName argType, SkipSpaces tail rest, ParseGqlArgsStart rest argsRL (Cons acc argType paramsIn) paramsOut rest2) => ParseGqlParamNameGo "," tail acc argName argsRL paramsIn paramsOut rest2
(SkipSpaces tail rest, ParseGqlArgSep rest acc argName argsRL paramsIn paramsOut rest2) => ParseGqlParamNameGo " " tail acc argName argsRL paramsIn paramsOut rest2
(Append acc h acc', FindArg argsRL argName argType, Fail (Text "Unclosed \'(\' — expected \')\'")) => ParseGqlParamNameGo h "" acc argName argsRL paramsIn paramsOut rest
(Append acc h acc', Cons nextH nextT tail, ParseGqlParamNameGo nextH nextT acc' argName argsRL paramsIn paramsOut rest) => ParseGqlParamNameGo h tail acc argName argsRL paramsIn paramsOut rest

#ParseGqlSkipStringBody Source

class ParseGqlSkipStringBody :: Symbol -> Symbol -> Constraintclass ParseGqlSkipStringBody (sym :: Symbol) (rest :: Symbol) | sym -> rest

Instances

(Fail (Text "Unclosed string literal in argument")) => ParseGqlSkipStringBody "" rest
(Cons h t sym, ParseGqlSkipStringBodyGo h t rest) => ParseGqlSkipStringBody sym rest

#ParseGqlSkipStringBodyGo Source

class ParseGqlSkipStringBodyGo :: Symbol -> Symbol -> Symbol -> Constraintclass ParseGqlSkipStringBodyGo (head :: Symbol) (tail :: Symbol) (rest :: Symbol) | head tail -> rest

Instances

ParseGqlSkipStringBodyGo "\"" tail tail
(Cons escaped t2 tail, ParseGqlSkipStringBody t2 rest) => ParseGqlSkipStringBodyGo "\\" tail rest
(ParseGqlSkipStringBody tail rest) => ParseGqlSkipStringBodyGo h tail rest

#ParseGqlTrimmed Source

class ParseGqlTrimmed :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> Constraintclass ParseGqlTrimmed (sym :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (resultRL :: RowList Type) (paramsRL :: RowList Type) | sym innerRL -> resultRL paramsRL

Instances

ParseGqlTrimmed "" parentName innerRL Nil Nil
(Cons h t sym, ParseGqlGo h t "" parentName innerRL Nil Nil outRL paramsRL) => ParseGqlTrimmed sym parentName innerRL outRL paramsRL

#ParseGqlUnionBrace Source

class ParseGqlUnionBrace :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlUnionBrace (sym :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | sym parentName innerRL paramsIn -> outRL paramsOut rest

Instances

(Fail (Text "Expected \'{\' after type name in fragment spread")) => ParseGqlUnionBrace "" parentName innerRL paramsIn outRL paramsOut rest
(Cons h t sym, ParseGqlUnionBraceGo h t parentName innerRL paramsIn outRL paramsOut rest) => ParseGqlUnionBrace sym parentName innerRL paramsIn outRL paramsOut rest

#ParseGqlUnionBraceGo Source

class ParseGqlUnionBraceGo :: Symbol -> Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlUnionBraceGo (head :: Symbol) (tail :: Symbol) (parentName :: Symbol) (innerRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | head tail parentName innerRL paramsIn -> outRL paramsOut rest

Instances

(SkipSpaces tail rest, ParseGqlNested rest parentName innerRL Nil paramsIn outRL paramsOut rest2) => ParseGqlUnionBraceGo "{" tail parentName innerRL paramsIn outRL paramsOut rest2
(Fail (Text "Expected \'{\' after type name in fragment spread")) => ParseGqlUnionBraceGo h tail parentName innerRL paramsIn outRL paramsOut rest

#ParseGqlUnionNested Source

class ParseGqlUnionNested :: Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlUnionNested (sym :: Symbol) (rl :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | sym rl accRL paramsIn -> outRL paramsOut rest

Instances

(Fail (Text "Unclosed \'{\' — expected \'}\'")) => ParseGqlUnionNested "" rl accRL paramsIn outRL paramsOut rest
(Cons h t sym, ParseGqlUnionNestedGo h t rl accRL paramsIn outRL paramsOut rest) => ParseGqlUnionNested sym rl accRL paramsIn outRL paramsOut rest

#ParseGqlUnionNestedGo Source

class ParseGqlUnionNestedGo :: Symbol -> Symbol -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> RowList Type -> Symbol -> Constraintclass ParseGqlUnionNestedGo (head :: Symbol) (tail :: Symbol) (rl :: RowList Type) (accRL :: RowList Type) (paramsIn :: RowList Type) (outRL :: RowList Type) (paramsOut :: RowList Type) (rest :: Symbol) | head tail rl accRL paramsIn -> outRL paramsOut rest

Instances

ParseGqlUnionNestedGo "}" tail rl accRL paramsIn accRL paramsIn tail
(SkipSpaces tail rest, ParseGqlUnionNested rest rl accRL paramsIn outRL paramsOut restOut) => ParseGqlUnionNestedGo " " tail rl accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlUnionNested rest rl accRL paramsIn outRL paramsOut restOut) => ParseGqlUnionNestedGo "\n" tail rl accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlUnionNested rest rl accRL paramsIn outRL paramsOut restOut) => ParseGqlUnionNestedGo "\t" tail rl accRL paramsIn outRL paramsOut restOut
(SkipSpaces tail rest, ParseGqlUnionNested rest rl accRL paramsIn outRL paramsOut restOut) => ParseGqlUnionNestedGo "\r" tail rl accRL paramsIn outRL paramsOut restOut
(SkipDotDotOn tail afterOn, ParseFragmentTypeName afterOn typeName afterTypeName, FindVariantMember typeName rl memberType, ChildRecord memberType memberName memberInner, LowercaseFirst memberName lcMemberName, RowToList memberInner memberInnerRL, SkipSpaces afterTypeName rest, ParseGqlUnionBrace rest memberName memberInnerRL paramsIn fragmentRL paramsAfterFrag afterBrace, ListToRow fragmentRL fragmentRow, SkipSpaces afterBrace rest2, ParseGqlUnionNested rest2 rl (Cons lcMemberName (Record fragmentRow) accRL) paramsAfterFrag outRL paramsOut restOut) => ParseGqlUnionNestedGo "." tail rl accRL paramsIn outRL paramsOut restOut
(Fail (Text "Expected \'... on Type { fields }\' inside union selection")) => ParseGqlUnionNestedGo h tail rl accRL paramsIn outRL paramsOut rest

#RecordRow Source

class RecordRow :: Type -> Row Type -> Constraintclass RecordRow (rec :: Type) (row :: Row Type) | rec -> row

Instances

RecordRow (Record row) row

#ScalarResult Source

class ScalarResult (fieldType :: Type) (resultType :: Type) | fieldType -> resultType

Instances

(ScalarResult a r) => ScalarResult (Described desc a) r
(ScalarResult a r) => ScalarResult (Cost cost a) r
(ScalarResult a r) => ScalarResult (MaxAge n unit a) r
(ScalarResult a r) => ScalarResult (Private a) r
ScalarResult String String
ScalarResult Int Int
ScalarResult Number Number
ScalarResult Boolean Boolean
(ScalarResult a r) => ScalarResult (Maybe a) (Maybe r)
(ScalarResult a r) => ScalarResult (Query args a) r
(ScalarResult a r) => ScalarResult (Mutation args a) r
(ScalarResult a r) => ScalarResult (Subscription a) r
(ScalarResult a r) => ScalarResult (Om ctx errs a) r
(ScalarResult a r) => ScalarResult (Record args -> a) r
ScalarResult a a

#SkipDotDotOn Source

class SkipDotDotOn :: Symbol -> Symbol -> Constraintclass SkipDotDotOn (sym :: Symbol) (rest :: Symbol) | sym -> rest

Instances

(Fail (Text "Expected \'... on Type\'")) => SkipDotDotOn "" rest
(Cons h t sym, SkipDotDotOn1 h t rest) => SkipDotDotOn sym rest

#SkipDotDotOn1 Source

class SkipDotDotOn1 :: Symbol -> Symbol -> Symbol -> Constraintclass SkipDotDotOn1 (head :: Symbol) (tail :: Symbol) (rest :: Symbol) | head tail -> rest

Instances

(Cons h t tail, SkipDotDotOn2 h t rest) => SkipDotDotOn1 "." tail rest
(Fail (Text "Expected \'... on Type\'")) => SkipDotDotOn1 h tail rest

#SkipDotDotOn2 Source

class SkipDotDotOn2 :: Symbol -> Symbol -> Symbol -> Constraintclass SkipDotDotOn2 (head :: Symbol) (tail :: Symbol) (rest :: Symbol) | head tail -> rest

Instances

(SkipSpaces tail rest', SkipOnKeyword rest' rest) => SkipDotDotOn2 "." tail rest
(Fail (Text "Expected \'... on Type\'")) => SkipDotDotOn2 h tail rest

#SkipOnKeyword Source

class SkipOnKeyword :: Symbol -> Symbol -> Constraintclass SkipOnKeyword (sym :: Symbol) (rest :: Symbol) | sym -> rest

Instances

(Fail (Text "Expected \'on\' keyword after \'...\'")) => SkipOnKeyword "" rest
(Cons h t sym, SkipOnKeyword1 h t rest) => SkipOnKeyword sym rest

#SkipOnKeyword1 Source

class SkipOnKeyword1 :: Symbol -> Symbol -> Symbol -> Constraintclass SkipOnKeyword1 (head :: Symbol) (tail :: Symbol) (rest :: Symbol) | head tail -> rest

Instances

(Cons h t tail, SkipOnKeyword2 h t rest) => SkipOnKeyword1 "o" tail rest
(Fail (Text "Expected \'on\' keyword after \'...\'")) => SkipOnKeyword1 h tail rest

#SkipOnKeyword2 Source

class SkipOnKeyword2 :: Symbol -> Symbol -> Symbol -> Constraintclass SkipOnKeyword2 (head :: Symbol) (tail :: Symbol) (rest :: Symbol) | head tail -> rest

Instances

(SkipSpaces tail rest) => SkipOnKeyword2 "n" tail rest
(Fail (Text "Expected \'on\' keyword after \'...\'")) => SkipOnKeyword2 h tail rest

#SkipSpaces Source

class SkipSpaces :: Symbol -> Symbol -> Constraintclass SkipSpaces sym result | sym -> result

Instances

SkipSpaces "" ""
(Cons head tail sym, SkipSpacesGo head tail result) => SkipSpaces sym result

#SkipSpacesGo Source

class SkipSpacesGo :: Symbol -> Symbol -> Symbol -> Constraintclass SkipSpacesGo head tail result | head tail -> result

Instances

(SkipSpaces tail result) => SkipSpacesGo " " tail result
(SkipSpaces tail result) => SkipSpacesGo "\n" tail result
(SkipSpaces tail result) => SkipSpacesGo "\t" tail result
(SkipSpaces tail result) => SkipSpacesGo "\r" tail result
(Cons head tail result) => SkipSpacesGo head tail result

#UnionResult Source

class UnionResult :: RowList Type -> Type -> Constraintclass UnionResult (nestedRL :: RowList Type) (result :: Type) | nestedRL -> result

Instances

UnionResult (Cons name ty Nil) ty
(ListToRow (Cons name1 ty1 (Cons name2 ty2 rest)) row) => UnionResult (Cons name1 ty1 (Cons name2 ty2 rest)) (GqlUnion row)

#UnwrapField Source

class UnwrapField (fieldType :: Type) (childType :: Type) | fieldType -> childType

Instances

(UnwrapField a child) => UnwrapField (Described desc a) child
(UnwrapField a child) => UnwrapField (Cost cost a) child
(UnwrapField a child) => UnwrapField (MaxAge n unit a) child
(UnwrapField a child) => UnwrapField (Private a) child
(UnwrapField a child) => UnwrapField (Query args a) child
(UnwrapField a child) => UnwrapField (Mutation args a) child
(UnwrapField a child) => UnwrapField (Subscription a) child
(UnwrapField a child) => UnwrapField (Om ctx errs a) child
(UnwrapField a child) => UnwrapField (Array a) child
(UnwrapField a child) => UnwrapField (Maybe a) child
(UnwrapField a child) => UnwrapField (Record args -> a) child
UnwrapField a a

#WrapResult Source

class WrapResult (fieldType :: Type) (selResult :: Type) (resultType :: Type) | fieldType selResult -> resultType

Instances

(WrapResult a selResult resultType) => WrapResult (Described desc a) selResult resultType
(WrapResult a selResult resultType) => WrapResult (Cost cost a) selResult resultType
(WrapResult a selResult resultType) => WrapResult (MaxAge n unit a) selResult resultType
(WrapResult a selResult resultType) => WrapResult (Private a) selResult resultType
(WrapResult a selResult resultType) => WrapResult (Query args a) selResult resultType
(WrapResult a selResult resultType) => WrapResult (Mutation args a) selResult resultType
(WrapResult a selResult resultType) => WrapResult (Subscription a) selResult resultType
(WrapResult a selResult resultType) => WrapResult (Om ctx errs a) selResult resultType
(WrapResult a selResult resultType) => WrapResult (Record args -> a) selResult resultType
(WrapResult a selResult resultType) => WrapResult (Array a) selResult (Array resultType)
(WrapResult a selResult resultType) => WrapResult (Maybe a) selResult (Maybe resultType)
WrapResult a selResult selResult

#injectTypename Source

injectTypename :: String -> String

#jsonToGraphQLArgs Source

jsonToGraphQLArgs :: String -> String

#mutationSelection Source

mutationSelection :: forall @q @fields qRow qRL resultRL paramsRL result params. RecordRow q qRow => RowToList qRow qRL => ParseGql fields "Mutation" qRL resultRL paramsRL => ListToRow resultRL result => ListToRow paramsRL params => IsSymbol fields => Selection q (Record result) params

#normalizeFieldList Source

normalizeFieldList :: String -> String

#parseServerMessage Source

parseServerMessage :: String -> Maybe ServerMessage

#recoverPartialSuccess Source

recoverPartialSuccess :: forall r. QueryResult r -> Maybe { errors :: Array ClientError, result :: Record r }

#renderArgs Source

renderArgs :: forall args. WriteForeign (Record args) => Record args -> String

#renderGql Source

renderGql :: forall @sym. IsSymbol sym => Proxy sym -> String

#runMutation Source

runMutation :: forall @q @fields qRow qRL resultRL paramsRL result params. RecordRow q qRow => RowToList qRow qRL => ParseGql fields "Mutation" qRL resultRL paramsRL => ListToRow resultRL result => ListToRow paramsRL params => WriteForeign (Record params) => ReadForeign { data :: Maybe (Record result), errors :: Maybe (Array ClientError) } => IsSymbol fields => String -> Record params -> Aff (QueryResult result)

#runMutationSelection Source

runMutationSelection :: forall @a result params. ReadForeign { data :: Maybe (Record result), errors :: Maybe (Array ClientError) } => WriteForeign (Record params) => String -> Record params -> Selection a (Record result) params -> Aff (QueryResult result)

#runQuery Source

runQuery :: forall @q @fields qRow qRL resultRL paramsRL result params. RecordRow q qRow => RowToList qRow qRL => ParseGql fields "Query" qRL resultRL paramsRL => ListToRow resultRL result => ListToRow paramsRL params => WriteForeign (Record params) => ReadForeign { data :: Maybe (Record result), errors :: Maybe (Array ClientError) } => IsSymbol fields => String -> Record params -> Aff (QueryResult result)

#runSelection Source

runSelection :: forall @a result params. ReadForeign { data :: Maybe (Record result), errors :: Maybe (Array ClientError) } => WriteForeign (Record params) => String -> Record params -> Selection a (Record result) params -> Aff (QueryResult result)

#runSelectionWith Source

runSelectionWith :: forall @a result params. ReadForeign { data :: Maybe (Record result), errors :: Maybe (Array ClientError) } => WriteForeign (Record params) => String -> String -> Record params -> Selection a (Record result) params -> Aff (QueryResult result)

#selection Source

selection :: forall @q @fields qRow qRL resultRL paramsRL result params. RecordRow q qRow => RowToList qRow qRL => ParseGql fields "Query" qRL resultRL paramsRL => ListToRow resultRL result => ListToRow paramsRL params => IsSymbol fields => Selection q (Record result) params

#subscribe Source

subscribe :: forall @q @fields qRow qRL resultRL paramsRL result params. RecordRow q qRow => RowToList qRow qRL => ParseGql fields "Subscription" qRL resultRL paramsRL => ListToRow resultRL result => ListToRow paramsRL params => WriteForeign (Record params) => ReadForeign (Record result) => IsSymbol fields => String -> Record params -> (QueryResult result -> Effect Unit) -> Aff (Effect Unit)

#subscriptionSelection Source

subscriptionSelection :: forall @q @fields qRow qRL resultRL paramsRL result params. RecordRow q qRow => RowToList qRow qRL => ParseGql fields "Subscription" qRL resultRL paramsRL => ListToRow resultRL result => ListToRow paramsRL params => IsSymbol fields => Selection q (Record result) params

#substituteParams Source

substituteParams :: forall r. WriteForeign (Record r) => String -> Record r -> String

#substituteParamsImpl Source

substituteParamsImpl :: String -> String -> String

#withArgs Source

withArgs :: forall args parent result params. WriteForeign (Record args) => Record args -> Selection parent result params -> Selection parent result params

Re-exports from Prospero.Client.GqlUnion

#GqlUnion Source

newtype GqlUnion :: Row Type -> Typenewtype GqlUnion (row :: Row Type)

Constructors

GqlUnion (Variant row)

Instances

Newtype (GqlUnion row) (Variant row)
(Show (Variant row)) => Show (GqlUnion row)
(Eq (Variant row)) => Eq (GqlUnion row)
(RowToList row rl, ReadGqlUnion rl row) => ReadForeign (GqlUnion row)

Modules: Dev.Client; Dev.Schema; Dev.Server; Prospero; Prospero.Bun; Prospero.CacheControl; Prospero.Client; Prospero.Client.GqlUnion; Prospero.Client.WebSocket; Prospero.Codegen; Prospero.Codegen.Main; Prospero.Crypto; Prospero.DataLoader; Prospero.Defer; Prospero.Directive; Prospero.Execution; Prospero.Fastify; Prospero.Federation; Prospero.GqlQuery; Prospero.GqlTypes; Prospero.GraphQLError; Prospero.GraphQLWS; Prospero.Http; Prospero.InputValue; Prospero.Introspection; Prospero.Metadata; Prospero.Om; Prospero.Parser; Prospero.Parser.AST; Prospero.Parser.GraphQL; Prospero.Parser.Lexer; Prospero.Parser.Monad; Prospero.Parser.Token; Prospero.PersistedQueries; Prospero.Relay; Prospero.ResponseValue; Prospero.RootResolver; Prospero.SDL; Prospero.Scalars; Prospero.Schema; Prospero.SchemaTransform; Prospero.Step; Prospero.Subscription; Prospero.Tracing; Prospero.Types; Prospero.Upload; Prospero.Validation; Prospero.VariantHelper; Prospero.WebSocket; Prospero.Wrapper