GraphQL.Client.Args

data Params p t

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

newtype NotNull t

Constructors

• NotNull t

Instances

• (IsMaybeOrIgnored arg False, ArgGql param arg) => ArgGql (NotNull param) arg
• (SatisifyNotNullParam param arg) => SatisifyNotNullParam (NotNull param) arg
• (IsSymbol sym, SatisifyNotNullParam param arg, Cons sym arg rest args) => FoldingWithIndex (ArgsSatisifyNotNullsProps args) (Proxy sym) Unit (NotNull param) Unit

newtype ParamNew t

Constructors

• ParamNew t

data Args a t

Constructors

• Args a t

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

data AndArg a1 a2

Constructors

• AndArg a1 a2

Instances

• (ArgGql param a1, ArgGql (Array param) a2) => ArgGql (Array param) (AndArg a1 a2)

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

data OrArg argL argR

Constructors

• ArgL argL
• ArgR argR

Instances

• Functor (OrArg argL)
• Bifunctor OrArg
• (ArgGql param argL, ArgGql param argR) => ArgGql param (OrArg argL argR)
• (IsMaybeOrIgnored l lb, IsMaybeOrIgnored r rb, Or lb rb b) => IsMaybeOrIgnored (OrArg l r) b

data IgnoreArg

Constructors

• IgnoreArg

Instances

• ArgGql param IgnoreArg
• IsMaybeOrIgnored IgnoreArg True

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

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

class ArgGql params arg 

Instances

• (IsMaybeOrIgnored arg False, ArgGql param arg) => ArgGql (NotNull param) arg
• (ArgGql param arg) => ArgGql param (Maybe arg)
• (ArgGql param arg) => ArgGql (Array param) (Array arg)
• (ArgGql param a1, ArgGql (Array param) a2) => ArgGql (Array param) (AndArg a1 a2)
• (ArgGql param arg) => ArgGql (Array param) arg
• (ArgGql param argL, ArgGql param argR) => ArgGql param (OrArg argL argR)
• ArgGql param IgnoreArg
• ArgGql Int Int
• ArgGql Number Number
• ArgGql String String
• ArgGql Boolean Boolean
• ArgGql Date Date
• ArgGql Time Time
• ArgGql DateTime DateTime
• (RecordArg p a u) => ArgGql (Record p) (Record a)

class IsMaybeOrIgnored arg b | arg -> b

Instances

• IsMaybeOrIgnored (Maybe a) True
• IsMaybeOrIgnored IgnoreArg True
• (IsMaybeOrIgnored l lb, IsMaybeOrIgnored r rb, Or lb rb b) => IsMaybeOrIgnored (OrArg l r) b
• IsMaybeOrIgnored a False

class (HMapWithIndex (ArgPropToGql p) (Record a) u) <= RecordArg p a u 

Instances

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

newtype ArgPropToGql params

Constructors

• ArgPropToGql (Record params)

Instances

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

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

Instances

• (HFoldlWithIndex (ArgsSatisifyNotNullsProps arg) Unit (Record param) Unit) => SatisifyNotNullParam (Record param) (Record arg)
• (SatisifyNotNullParam param arg) => SatisifyNotNullParam (NotNull param) arg
• SatisifyNotNullParam param arg

newtype ArgsSatisifyNotNullsProps args

Constructors

• ArgsSatisifyNotNullsProps (Record args)

Instances

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