Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.RQL.IR.BoolExp.AggregationPredicates

Description

This module contains the default types and function that model aggregation predicates.

Synopsis

data AggregationPredicatesImplementation (b :: BackendType) field = AggregationPredicatesImplementation {
- aggRelation :: RelInfo b
- aggRowPermission :: AnnBoolExp b field
- aggPredicate :: AggregationPredicate b field
}
data AggregationPredicate (b :: BackendType) field = AggregationPredicate {
- aggPredFunctionName :: Text
- aggPredDistinct :: Bool
- aggPredFilter :: Maybe (AnnBoolExp b field)
- aggPredArguments :: AggregationPredicateArguments b
- aggPredPredicate :: [OpExpG b field]
}
data AggregationPredicateArguments (b :: BackendType)
- = AggregationPredicateArgumentsStar
- | AggregationPredicateArguments (NonEmpty (Column b))

Documentation

data AggregationPredicatesImplementation (b :: BackendType) field Source #

This type the default non-empty implementation of the AggregationPredicates type family of 'class Backend'.

This represents an _applied_ aggregation predicate, i.e. _not_ an aggegation function in isolation.

In the default schema implementation, this type results from parsing graphql such as:

table(_where( relation_aggregate: {functionname: { arguments: arguments, predicate: predicate, distinct: bool } } )) { ... }

Note that we make no attempt at modelling window functions or so-called analytical functions such as percentile_cont.

Constructors

AggregationPredicatesImplementation
Fields aggRelation :: RelInfo b aggRowPermission :: AnnBoolExp b field aggPredicate :: AggregationPredicate b field

Instances

Instances details

Backend b => Foldable (AggregationPredicatesImplementation b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods fold :: Monoid m => AggregationPredicatesImplementation b m -> m # foldMap :: Monoid m => (a -> m) -> AggregationPredicatesImplementation b a -> m # foldMap' :: Monoid m => (a -> m) -> AggregationPredicatesImplementation b a -> m # foldr :: (a -> b0 -> b0) -> b0 -> AggregationPredicatesImplementation b a -> b0 # foldr' :: (a -> b0 -> b0) -> b0 -> AggregationPredicatesImplementation b a -> b0 # foldl :: (b0 -> a -> b0) -> b0 -> AggregationPredicatesImplementation b a -> b0 # foldl' :: (b0 -> a -> b0) -> b0 -> AggregationPredicatesImplementation b a -> b0 # foldr1 :: (a -> a -> a) -> AggregationPredicatesImplementation b a -> a # foldl1 :: (a -> a -> a) -> AggregationPredicatesImplementation b a -> a # toList :: AggregationPredicatesImplementation b a -> [a] # null :: AggregationPredicatesImplementation b a -> Bool # length :: AggregationPredicatesImplementation b a -> Int # elem :: Eq a => a -> AggregationPredicatesImplementation b a -> Bool # maximum :: Ord a => AggregationPredicatesImplementation b a -> a # minimum :: Ord a => AggregationPredicatesImplementation b a -> a # sum :: Num a => AggregationPredicatesImplementation b a -> a # product :: Num a => AggregationPredicatesImplementation b a -> a #
Backend b => Traversable (AggregationPredicatesImplementation b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods traverse :: Applicative f => (a -> f b0) -> AggregationPredicatesImplementation b a -> f (AggregationPredicatesImplementation b b0) # sequenceA :: Applicative f => AggregationPredicatesImplementation b (f a) -> f (AggregationPredicatesImplementation b a) # mapM :: Monad m => (a -> m b0) -> AggregationPredicatesImplementation b a -> m (AggregationPredicatesImplementation b b0) # sequence :: Monad m => AggregationPredicatesImplementation b (m a) -> m (AggregationPredicatesImplementation b a) #
Backend b => Functor (AggregationPredicatesImplementation b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods fmap :: (a -> b0) -> AggregationPredicatesImplementation b a -> AggregationPredicatesImplementation b b0 # (<$) :: a -> AggregationPredicatesImplementation b b0 -> AggregationPredicatesImplementation b a #
(ToJSON (AnnBoolExp b field), ToJSON (AggregationPredicate b field), ToJSON (OpExpG b field), Backend b) => ToJSON (AggregationPredicatesImplementation b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods toJSON :: AggregationPredicatesImplementation b field -> Value Source # toEncoding :: AggregationPredicatesImplementation b field -> Encoding Source # toJSONList :: [AggregationPredicatesImplementation b field] -> Value Source # toEncodingList :: [AggregationPredicatesImplementation b field] -> Encoding Source #
Generic (AggregationPredicatesImplementation b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Associated Types type Rep (AggregationPredicatesImplementation b field) :: Type -> Type # Methods from :: AggregationPredicatesImplementation b field -> Rep (AggregationPredicatesImplementation b field) x # to :: Rep (AggregationPredicatesImplementation b field) x -> AggregationPredicatesImplementation b field #
(Backend b, Show (AggregationPredicate b field), Show (AnnBoolExp b field)) => Show (AggregationPredicatesImplementation b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods showsPrec :: Int -> AggregationPredicatesImplementation b field -> ShowS # show :: AggregationPredicatesImplementation b field -> String # showList :: [AggregationPredicatesImplementation b field] -> ShowS #
(Backend b, NFData (AggregationPredicate b field), NFData (AnnBoolExp b field)) => NFData (AggregationPredicatesImplementation b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods rnf :: AggregationPredicatesImplementation b field -> () #
(Backend b, Eq (AggregationPredicate b field), Eq (AnnBoolExp b field)) => Eq (AggregationPredicatesImplementation b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods (==) :: AggregationPredicatesImplementation b field -> AggregationPredicatesImplementation b field -> Bool # (/=) :: AggregationPredicatesImplementation b field -> AggregationPredicatesImplementation b field -> Bool #
(Backend b, Hashable (AggregationPredicate b field), Hashable (AnnBoolExp b field)) => Hashable (AggregationPredicatesImplementation b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods hashWithSalt :: Int -> AggregationPredicatesImplementation b field -> Int Source # hash :: AggregationPredicatesImplementation b field -> Int Source #
(Backend b, ToJSONKeyValue (AggregationPredicate b field)) => ToJSONKeyValue (AggregationPredicatesImplementation b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods toJSONKeyValue :: AggregationPredicatesImplementation b field -> (Key, Value) Source #
type Rep (AggregationPredicatesImplementation b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates type Rep (AggregationPredicatesImplementation b field) = D1 ('MetaData "AggregationPredicatesImplementation" "Hasura.RQL.IR.BoolExp.AggregationPredicates" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "AggregationPredicatesImplementation" 'PrefixI 'True) (S1 ('MetaSel ('Just "aggRelation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (RelInfo b)) :: (S1 ('MetaSel ('Just "aggRowPermission") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AnnBoolExp b field)) :: S1 ('MetaSel ('Just "aggPredicate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AggregationPredicate b field)))))

data AggregationPredicate (b :: BackendType) field Source #

Constructors

AggregationPredicate
Fields aggPredFunctionName :: Text aggPredDistinct :: Bool aggPredFilter :: Maybe (AnnBoolExp b field) aggPredArguments :: AggregationPredicateArguments b aggPredPredicate :: [OpExpG b field]

Instances

Instances details

Backend b => Foldable (AggregationPredicate b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods fold :: Monoid m => AggregationPredicate b m -> m # foldMap :: Monoid m => (a -> m) -> AggregationPredicate b a -> m # foldMap' :: Monoid m => (a -> m) -> AggregationPredicate b a -> m # foldr :: (a -> b0 -> b0) -> b0 -> AggregationPredicate b a -> b0 # foldr' :: (a -> b0 -> b0) -> b0 -> AggregationPredicate b a -> b0 # foldl :: (b0 -> a -> b0) -> b0 -> AggregationPredicate b a -> b0 # foldl' :: (b0 -> a -> b0) -> b0 -> AggregationPredicate b a -> b0 # foldr1 :: (a -> a -> a) -> AggregationPredicate b a -> a # foldl1 :: (a -> a -> a) -> AggregationPredicate b a -> a # toList :: AggregationPredicate b a -> [a] # null :: AggregationPredicate b a -> Bool # length :: AggregationPredicate b a -> Int # elem :: Eq a => a -> AggregationPredicate b a -> Bool # maximum :: Ord a => AggregationPredicate b a -> a # minimum :: Ord a => AggregationPredicate b a -> a # sum :: Num a => AggregationPredicate b a -> a # product :: Num a => AggregationPredicate b a -> a #
Backend b => Traversable (AggregationPredicate b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods traverse :: Applicative f => (a -> f b0) -> AggregationPredicate b a -> f (AggregationPredicate b b0) # sequenceA :: Applicative f => AggregationPredicate b (f a) -> f (AggregationPredicate b a) # mapM :: Monad m => (a -> m b0) -> AggregationPredicate b a -> m (AggregationPredicate b b0) # sequence :: Monad m => AggregationPredicate b (m a) -> m (AggregationPredicate b a) #
Backend b => Functor (AggregationPredicate b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods fmap :: (a -> b0) -> AggregationPredicate b a -> AggregationPredicate b b0 # (<$) :: a -> AggregationPredicate b b0 -> AggregationPredicate b a #
Generic (AggregationPredicate b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Associated Types type Rep (AggregationPredicate b field) :: Type -> Type # Methods from :: AggregationPredicate b field -> Rep (AggregationPredicate b field) x # to :: Rep (AggregationPredicate b field) x -> AggregationPredicate b field #
(Backend b, Show (AnnBoolExp b field), Show (OpExpG b field), Show (AggregationPredicateArguments b)) => Show (AggregationPredicate b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods showsPrec :: Int -> AggregationPredicate b field -> ShowS # show :: AggregationPredicate b field -> String # showList :: [AggregationPredicate b field] -> ShowS #
(Backend b, NFData (AggregationPredicateArguments b), NFData (AnnBoolExp b field), NFData (OpExpG b field)) => NFData (AggregationPredicate b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods rnf :: AggregationPredicate b field -> () #
(Backend b, Eq (AnnBoolExp b field), Eq (OpExpG b field), Eq (AggregationPredicateArguments b)) => Eq (AggregationPredicate b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods (==) :: AggregationPredicate b field -> AggregationPredicate b field -> Bool # (/=) :: AggregationPredicate b field -> AggregationPredicate b field -> Bool #
(Backend b, Hashable (BooleanOperators b field), Hashable (AnnBoolExp b field), Hashable field) => Hashable (AggregationPredicate b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods hashWithSalt :: Int -> AggregationPredicate b field -> Int Source # hash :: AggregationPredicate b field -> Int Source #
(ToJSON (AggregationPredicateArguments b), ToJSON (AnnBoolExp b field), ToJSONKeyValue (OpExpG b field)) => ToJSONKeyValue (AggregationPredicate b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods toJSONKeyValue :: AggregationPredicate b field -> (Key, Value) Source #
type Rep (AggregationPredicate b field) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates type Rep (AggregationPredicate b field) = D1 ('MetaData "AggregationPredicate" "Hasura.RQL.IR.BoolExp.AggregationPredicates" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "AggregationPredicate" 'PrefixI 'True) ((S1 ('MetaSel ('Just "aggPredFunctionName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :: S1 ('MetaSel ('Just "aggPredDistinct") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool)) :: (S1 ('MetaSel ('Just "aggPredFilter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (AnnBoolExp b field))) :: (S1 ('MetaSel ('Just "aggPredArguments") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AggregationPredicateArguments b)) :: S1 ('MetaSel ('Just "aggPredPredicate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [OpExpG b field])))))

data AggregationPredicateArguments (b :: BackendType) Source #

Constructors

AggregationPredicateArgumentsStar
AggregationPredicateArguments (NonEmpty (Column b))

Instances

Instances details

Backend b => ToJSON (AggregationPredicateArguments b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods toJSON :: AggregationPredicateArguments b -> Value Source # toEncoding :: AggregationPredicateArguments b -> Encoding Source # toJSONList :: [AggregationPredicateArguments b] -> Value Source # toEncodingList :: [AggregationPredicateArguments b] -> Encoding Source #
Generic (AggregationPredicateArguments b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Associated Types type Rep (AggregationPredicateArguments b) :: Type -> Type # Methods from :: AggregationPredicateArguments b -> Rep (AggregationPredicateArguments b) x # to :: Rep (AggregationPredicateArguments b) x -> AggregationPredicateArguments b #
Backend b => Show (AggregationPredicateArguments b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods showsPrec :: Int -> AggregationPredicateArguments b -> ShowS # show :: AggregationPredicateArguments b -> String # showList :: [AggregationPredicateArguments b] -> ShowS #
Backend b => NFData (AggregationPredicateArguments b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods rnf :: AggregationPredicateArguments b -> () #
Backend b => Eq (AggregationPredicateArguments b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods (==) :: AggregationPredicateArguments b -> AggregationPredicateArguments b -> Bool # (/=) :: AggregationPredicateArguments b -> AggregationPredicateArguments b -> Bool #
Backend b => Hashable (AggregationPredicateArguments b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates Methods hashWithSalt :: Int -> AggregationPredicateArguments b -> Int Source # hash :: AggregationPredicateArguments b -> Int Source #
type Rep (AggregationPredicateArguments b) Source #
Instance details Defined in Hasura.RQL.IR.BoolExp.AggregationPredicates type Rep (AggregationPredicateArguments b) = D1 ('MetaData "AggregationPredicateArguments" "Hasura.RQL.IR.BoolExp.AggregationPredicates" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "AggregationPredicateArgumentsStar" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AggregationPredicateArguments" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (NonEmpty (Column b)))))