GraphQL.Client.Args

newtype NotNull t

Constructors

• NotNull t

Instances

• (IsNotNull at param arg, ArgGqlAt at param arg) => ArgGqlAt at (NotNull param) arg
• (SatisfyNotNullParam param arg) => SatisfyNotNullParam (NotNull param) arg
• (IsSymbol sym, SatisfyNotNullParam param arg, Cons sym arg rest args) => FoldingWithIndex (ArgsSatisfyNotNullsProps args) (Proxy sym) Unit (NotNull param) Unit

data Args a t

Constructors

• Args a t

Operator alias for GraphQL.Client.Args.Args (right-associative / precedence 6)

type AndArg a b = AndArgs (Array a) b

andArg :: forall a b. a -> b -> AndArg a b

Operator alias for GraphQL.Client.Args.andArg (right-associative / precedence 6)

data AndArgs a1 a2

Constructors

• AndArgs a1 a2

Instances

• (ArgGqlAt at (Array param) a1, ArgGqlAt at (Array param) a2) => ArgGqlAt at (Array param) (AndArgs a1 a2)

Operator alias for GraphQL.Client.Args.AndArgs (right-associative / precedence 6)

data OrArg argL argR

Constructors

• ArgL argL
• ArgR argR

Instances

• Functor (OrArg argL)
• Bifunctor OrArg
• (ArgGqlAt at param argL, ArgGqlAt at param argR) => ArgGqlAt at param (OrArg argL argR)
• (IsNotNull at param l, IsNotNull at param r) => IsNotNull at param (OrArg l r)

data IgnoreArg

Constructors

• IgnoreArg

Instances

• ArgGqlAt at param IgnoreArg
• (Fail (Above (Text "An `IgnoreArg` query argument cannot be used with with required schema argument: ") (Beside (Text " ") (Above (Beside (Text "Schema: ") (Quote param)) (Above (Beside (Text "Query: ") (Quote IgnoreArg)) (Beside (Text "At: ") (Quote at))))))) => IsNotNull at param IgnoreArg

guardArg :: forall a. Boolean -> a -> OrArg IgnoreArg a

onlyArgs :: forall a. a -> Args a Unit

class ArgGql :: forall param arg. param -> arg -> Constraintclass ArgGql params args 

Instances

• (ArgGqlAt any params args) => ArgGql params args

class ArgGqlAt :: forall param arg. Symbol -> param -> arg -> Constraintclass ArgGqlAt at params arg 

Instances

• (ArgGqlAt at param arg) => ArgGqlAt at (AsGql gqlName param) arg
• (IsNotNull at param arg, ArgGqlAt at param arg) => ArgGqlAt at (NotNull param) arg
• ArgGqlAt at param IgnoreArg
• (Union r () params) => ArgGqlAt at (Variant params) (Variant r)
• ArgGqlAt at Json (Var sym Json)
• (Fail (Text "A `Json` query argument can only be used as a variable ")) => ArgGqlAt at Json Json
• (ArgGqlAt at param arg) => ArgGqlAt at param (Var sym arg)
• ArgGqlAt at (Array param) NullArray
• (ArgGqlAt at (Array param) a1, ArgGqlAt at (Array param) a2) => ArgGqlAt at (Array param) (AndArgs a1 a2)
• (ArgGqlAt at param argL, ArgGqlAt at param argR) => ArgGqlAt at param (OrArg argL argR)
• (ArgGqlAt at param arg) => ArgGqlAt at param (Maybe arg)
• (ArgGqlAt at param arg) => ArgGqlAt at (Array param) (Array arg)
• (ArgGqlAt at param arg) => ArgGqlAt at (Array param) arg
• (RecordArg p a u) => ArgGqlAt at (Record p) (Record a)
• ArgGqlAt at p (AllowedMismatch p a)
• (ArgGqlAt at p a) => ArgGqlAt at p (AllowedMismatch schema a)
• ArgGqlAt at a a
• (Newtype n (Record p), RecordArg p a u) => ArgGqlAt at n (Record a)
• (Fail (Above (Text "Argument type mismatch: ") (Beside (Text " ") (Above (Beside (Text "Schema: ") (Quote param)) (Above (Beside (Text "Query: ") (Quote arg)) (Beside (Text "At: ") (Quote at))))))) => ArgGqlAt at param arg

class IsNotNull :: forall k1 k2. Symbol -> k1 -> k2 -> Constraintclass IsNotNull at param arg 

Instances

• (Fail (Above (Text "A `Maybe` query argument cannot be used with with required schema argument: ") (Beside (Text " ") (Above (Beside (Text "Schema: ") (Quote param)) (Above (Beside (Text "Query: ") (Quote arg)) (Beside (Text "At: ") (Quote at))))))) => IsNotNull at param (Maybe arg)
• (Fail (Above (Text "An `IgnoreArg` query argument cannot be used with with required schema argument: ") (Beside (Text " ") (Above (Beside (Text "Schema: ") (Quote param)) (Above (Beside (Text "Query: ") (Quote IgnoreArg)) (Beside (Text "At: ") (Quote at))))))) => IsNotNull at param IgnoreArg
• (IsNotNull at param arg) => IsNotNull at (AsGql gqlName param) arg
• (IsNotNull at param l, IsNotNull at param r) => IsNotNull at param (OrArg l r)
• IsNotNull at param arg

class RecordArg :: Row Type -> Row Type -> Type -> Constraintclass (HMapWithIndex (ArgPropToGql p) (Record a) u) <= RecordArg p a u 

Instances

• (HMapWithIndex (ArgPropToGql p) (Record a) u) => RecordArg p a u

newtype ArgPropToGql :: Row Type -> Typenewtype ArgPropToGql params

Constructors

• ArgPropToGql (Record params)

Instances

• (IsSymbol sym, Cons sym param rest params, ArgGqlAt sym param arg, SatisfyNotNullParam param arg) => MappingWithIndex (ArgPropToGql params) (Proxy sym) arg Unit

class SatisfyNotNullParam (param :: Type) (arg :: Type) | param -> arg

Instances

• (HFoldlWithIndex (ArgsSatisfyNotNullsProps arg) Unit (Record param) Unit) => SatisfyNotNullParam (Record param) (Record arg)
• (SatisfyNotNullParam param arg) => SatisfyNotNullParam (NotNull param) arg
• SatisfyNotNullParam param arg

newtype ArgsSatisfyNotNullsProps :: Row Type -> Typenewtype ArgsSatisfyNotNullsProps args

Constructors

• ArgsSatisfyNotNullsProps (Record args)

Instances

• (IsSymbol sym, SatisfyNotNullParam param arg, Cons sym arg rest args) => FoldingWithIndex (ArgsSatisfyNotNullsProps args) (Proxy sym) Unit (NotNull param) Unit
• FoldingWithIndex (ArgsSatisfyNotNullsProps args) (Proxy sym) Unit param Unit