Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.RQL.IR.Select.AnnSelectG

Description

More leaves from Select

Synopsis

data AnnSelectG (b :: BackendType) (f :: Type -> Type) (v :: Type) = AnnSelectG {
- _asnFields :: Fields (f v)
- _asnFrom :: SelectFromG b v
- _asnPerm :: TablePermG b v
- _asnArgs :: SelectArgsG b v
- _asnStrfyNum :: StringifyNumbers
- _asnNamingConvention :: Maybe NamingCase
}
data AnnSelectStreamG (b :: BackendType) (f :: Type -> Type) (v :: Type) = AnnSelectStreamG {
- _assnXStreamingSubscription :: XStreamingSubscription b
- _assnFields :: Fields (f v)
- _assnFrom :: SelectFromG b v
- _assnPerm :: TablePermG b v
- _assnArgs :: SelectStreamArgsG b v
- _assnStrfyNum :: StringifyNumbers
}
bifoldMapAnnSelectG :: (Backend b, Bifoldable (f b), Monoid m) => (r -> m) -> (v -> m) -> AnnSelectG b (f b r) v -> m
bifoldMapAnnSelectStreamG :: (Backend b, Bifoldable (f b), Monoid m) => (r -> m) -> (v -> m) -> AnnSelectStreamG b (f b r) v -> m

Documentation

data AnnSelectG (b :: BackendType) (f :: Type -> Type) (v :: Type) Source #

Constructors

AnnSelectG
Fields _asnFields :: Fields (f v) _asnFrom :: SelectFromG b v _asnPerm :: TablePermG b v _asnArgs :: SelectArgsG b v _asnStrfyNum :: StringifyNumbers _asnNamingConvention :: Maybe NamingCase

Instances

Instances details

(Backend b, Foldable f) => Foldable (AnnSelectG b f) Source #
Instance details Defined in Hasura.RQL.IR.Select.AnnSelectG Methods fold :: Monoid m => AnnSelectG b f m -> m # foldMap :: Monoid m => (a -> m) -> AnnSelectG b f a -> m # foldMap' :: Monoid m => (a -> m) -> AnnSelectG b f a -> m # foldr :: (a -> b0 -> b0) -> b0 -> AnnSelectG b f a -> b0 # foldr' :: (a -> b0 -> b0) -> b0 -> AnnSelectG b f a -> b0 # foldl :: (b0 -> a -> b0) -> b0 -> AnnSelectG b f a -> b0 # foldl' :: (b0 -> a -> b0) -> b0 -> AnnSelectG b f a -> b0 # foldr1 :: (a -> a -> a) -> AnnSelectG b f a -> a # foldl1 :: (a -> a -> a) -> AnnSelectG b f a -> a # toList :: AnnSelectG b f a -> [a] # null :: AnnSelectG b f a -> Bool # length :: AnnSelectG b f a -> Int # elem :: Eq a => a -> AnnSelectG b f a -> Bool # maximum :: Ord a => AnnSelectG b f a -> a # minimum :: Ord a => AnnSelectG b f a -> a # sum :: Num a => AnnSelectG b f a -> a # product :: Num a => AnnSelectG b f a -> a #
(Backend b, Traversable f) => Traversable (AnnSelectG b f) Source #
Instance details Defined in Hasura.RQL.IR.Select.AnnSelectG Methods traverse :: Applicative f0 => (a -> f0 b0) -> AnnSelectG b f a -> f0 (AnnSelectG b f b0) # sequenceA :: Applicative f0 => AnnSelectG b f (f0 a) -> f0 (AnnSelectG b f a) # mapM :: Monad m => (a -> m b0) -> AnnSelectG b f a -> m (AnnSelectG b f b0) # sequence :: Monad m => AnnSelectG b f (m a) -> m (AnnSelectG b f a) #
(Backend b, Functor f) => Functor (AnnSelectG b f) Source #
Instance details Defined in Hasura.RQL.IR.Select.AnnSelectG Methods fmap :: (a -> b0) -> AnnSelectG b f a -> AnnSelectG b f b0 # (<$) :: a -> AnnSelectG b f b0 -> AnnSelectG b f a #
(Backend b, Show (Fields (f v)), Show (SelectArgsG b v), Show (SelectFromG b v), Show (TablePermG b v)) => Show (AnnSelectG b f v) Source #
Instance details Defined in Hasura.RQL.IR.Select.AnnSelectG Methods showsPrec :: Int -> AnnSelectG b f v -> ShowS # show :: AnnSelectG b f v -> String # showList :: [AnnSelectG b f v] -> ShowS #
(Backend b, Eq (Fields (f v)), Eq (SelectArgsG b v), Eq (SelectFromG b v), Eq (TablePermG b v)) => Eq (AnnSelectG b f v) Source #
Instance details Defined in Hasura.RQL.IR.Select.AnnSelectG Methods (==) :: AnnSelectG b f v -> AnnSelectG b f v -> Bool # (/=) :: AnnSelectG b f v -> AnnSelectG b f v -> Bool #

data AnnSelectStreamG (b :: BackendType) (f :: Type -> Type) (v :: Type) Source #

IR type representing nodes for streaming subscriptions

Constructors

AnnSelectStreamG

Fields

_assnXStreamingSubscription :: XStreamingSubscription b
type to indicate if streaming subscription has been enabled in the BackendType. This type helps avoiding missing case match patterns for backends where it's disabled.
_assnFields :: Fields (f v)
output selection fields
_assnFrom :: SelectFromG b v
table information to select from
_assnPerm :: TablePermG b v
select permissions
_assnArgs :: SelectStreamArgsG b v
streaming arguments
_assnStrfyNum :: StringifyNumbers

Instances

Instances details

(Backend b, Foldable f) => Foldable (AnnSelectStreamG b f) Source #
Instance details Defined in Hasura.RQL.IR.Select.AnnSelectG Methods fold :: Monoid m => AnnSelectStreamG b f m -> m # foldMap :: Monoid m => (a -> m) -> AnnSelectStreamG b f a -> m # foldMap' :: Monoid m => (a -> m) -> AnnSelectStreamG b f a -> m # foldr :: (a -> b0 -> b0) -> b0 -> AnnSelectStreamG b f a -> b0 # foldr' :: (a -> b0 -> b0) -> b0 -> AnnSelectStreamG b f a -> b0 # foldl :: (b0 -> a -> b0) -> b0 -> AnnSelectStreamG b f a -> b0 # foldl' :: (b0 -> a -> b0) -> b0 -> AnnSelectStreamG b f a -> b0 # foldr1 :: (a -> a -> a) -> AnnSelectStreamG b f a -> a # foldl1 :: (a -> a -> a) -> AnnSelectStreamG b f a -> a # toList :: AnnSelectStreamG b f a -> [a] # null :: AnnSelectStreamG b f a -> Bool # length :: AnnSelectStreamG b f a -> Int # elem :: Eq a => a -> AnnSelectStreamG b f a -> Bool # maximum :: Ord a => AnnSelectStreamG b f a -> a # minimum :: Ord a => AnnSelectStreamG b f a -> a # sum :: Num a => AnnSelectStreamG b f a -> a # product :: Num a => AnnSelectStreamG b f a -> a #
(Backend b, Traversable f) => Traversable (AnnSelectStreamG b f) Source #
Instance details Defined in Hasura.RQL.IR.Select.AnnSelectG Methods traverse :: Applicative f0 => (a -> f0 b0) -> AnnSelectStreamG b f a -> f0 (AnnSelectStreamG b f b0) # sequenceA :: Applicative f0 => AnnSelectStreamG b f (f0 a) -> f0 (AnnSelectStreamG b f a) # mapM :: Monad m => (a -> m b0) -> AnnSelectStreamG b f a -> m (AnnSelectStreamG b f b0) # sequence :: Monad m => AnnSelectStreamG b f (m a) -> m (AnnSelectStreamG b f a) #
(Backend b, Functor f) => Functor (AnnSelectStreamG b f) Source #
Instance details Defined in Hasura.RQL.IR.Select.AnnSelectG Methods fmap :: (a -> b0) -> AnnSelectStreamG b f a -> AnnSelectStreamG b f b0 # (<$) :: a -> AnnSelectStreamG b f b0 -> AnnSelectStreamG b f a #
(Backend b, Show (SelectFromG b v), Show (TablePermG b v), Show (SelectStreamArgsG b v), Show (f v)) => Show (AnnSelectStreamG b f v) Source #
Instance details Defined in Hasura.RQL.IR.Select.AnnSelectG Methods showsPrec :: Int -> AnnSelectStreamG b f v -> ShowS # show :: AnnSelectStreamG b f v -> String # showList :: [AnnSelectStreamG b f v] -> ShowS #
(Backend b, Eq (SelectFromG b v), Eq (TablePermG b v), Eq (SelectStreamArgsG b v), Eq (f v)) => Eq (AnnSelectStreamG b f v) Source #
Instance details Defined in Hasura.RQL.IR.Select.AnnSelectG Methods (==) :: AnnSelectStreamG b f v -> AnnSelectStreamG b f v -> Bool # (/=) :: AnnSelectStreamG b f v -> AnnSelectStreamG b f v -> Bool #

bifoldMapAnnSelectG :: (Backend b, Bifoldable (f b), Monoid m) => (r -> m) -> (v -> m) -> AnnSelectG b (f b r) v -> m Source #

We can't write a Bifoldable instance for AnnSelectG because the types don't line up. Instead, we provide this function which can be used to help define Bifoldable instances of other types containing AnnSelectG values.

bifoldMapAnnSelectStreamG :: (Backend b, Bifoldable (f b), Monoid m) => (r -> m) -> (v -> m) -> AnnSelectStreamG b (f b r) v -> m Source #