Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class AggregationPredicatesSchema (b :: BackendType) where
- aggregationPredicatesParser :: forall r m n. MonadBuildSchemaBase r m n => SourceInfo b -> TableInfo b -> m (Maybe (InputFieldsParser n [AggregationPredicates b (UnpreparedValue b)]))
- boolExp :: forall b r m n. (MonadBuildSchema b r m n, AggregationPredicatesSchema b) => SourceInfo b -> TableInfo b -> m (Parser 'Input n (AnnBoolExp b (UnpreparedValue b)))
- mkBoolOperator :: (MonadParse n, 'Input <: k) => NamingCase -> DangerouslyCollapseBooleans -> GQLNameIdentifier -> Maybe Description -> Parser k n a -> InputFieldsParser n (Maybe a)
- equalityOperators :: (MonadParse n, 'Input <: k) => NamingCase -> DangerouslyCollapseBooleans -> Parser k n (UnpreparedValue b) -> Parser k n (UnpreparedValue b) -> [InputFieldsParser n (Maybe (OpExpG b (UnpreparedValue b)))]
- comparisonOperators :: (MonadParse n, 'Input <: k) => NamingCase -> DangerouslyCollapseBooleans -> Parser k n (UnpreparedValue b) -> [InputFieldsParser n (Maybe (OpExpG b (UnpreparedValue b)))]
Documentation
class AggregationPredicatesSchema (b :: BackendType) where Source #
Backends implement this type class to specify the schema of aggregation predicates.
The default implementation results in a parser that does not parse anything.
The scope of this class is local to the function boolExp
. In particular,
methods in `class BackendSchema` and `type MonadBuildSchema` should *NOT*
include this class as a constraint.
aggregationPredicatesParser :: forall r m n. MonadBuildSchemaBase r m n => SourceInfo b -> TableInfo b -> m (Maybe (InputFieldsParser n [AggregationPredicates b (UnpreparedValue b)])) Source #
Instances
AggregationPredicates b ~ (Const Void :: Type -> Type) => AggregationPredicatesSchema b Source # | |
Defined in Hasura.GraphQL.Schema.BoolExp aggregationPredicatesParser :: forall r m (n :: Type -> Type). MonadBuildSchemaBase r m n => SourceInfo b -> TableInfo b -> m (Maybe (InputFieldsParser n [AggregationPredicates b (UnpreparedValue b)])) Source # | |
AggregationPredicatesSchema ('Postgres pgKind) Source # | |
Defined in Hasura.Backends.Postgres.Instances.Schema aggregationPredicatesParser :: forall r m (n :: Type -> Type). MonadBuildSchemaBase r m n => SourceInfo ('Postgres pgKind) -> TableInfo ('Postgres pgKind) -> m (Maybe (InputFieldsParser n [AggregationPredicates ('Postgres pgKind) (UnpreparedValue ('Postgres pgKind))])) Source # |
boolExp :: forall b r m n. (MonadBuildSchema b r m n, AggregationPredicatesSchema b) => SourceInfo b -> TableInfo b -> m (Parser 'Input n (AnnBoolExp b (UnpreparedValue b))) Source #
input type_bool_exp { _or: [type_bool_exp!] _and: [type_bool_exp!] _not: type_bool_exp column: type_comparison_exp ... }
:: (MonadParse n, 'Input <: k) | |
=> NamingCase | Naming convention for the field |
-> DangerouslyCollapseBooleans | shall this be collapsed to True when null is given? |
-> GQLNameIdentifier | name of this operator |
-> Maybe Description | optional description |
-> Parser k n a | parser for the underlying value |
-> InputFieldsParser n (Maybe a) |
:: (MonadParse n, 'Input <: k) | |
=> NamingCase | |
-> DangerouslyCollapseBooleans | shall this be collapsed to True when null is given? |
-> Parser k n (UnpreparedValue b) | parser for one column value |
-> Parser k n (UnpreparedValue b) | parser for a list of column values |
-> [InputFieldsParser n (Maybe (OpExpG b (UnpreparedValue b)))] |
:: (MonadParse n, 'Input <: k) | |
=> NamingCase | |
-> DangerouslyCollapseBooleans | shall this be collapsed to True when null is given? |
-> Parser k n (UnpreparedValue b) | parser for one column value |
-> [InputFieldsParser n (Maybe (OpExpG b (UnpreparedValue b)))] |