Safe Haskell	Safe-Inferred
Language	Haskell2010

Hasura.RQL.IR.Select.Args

Description

Removed from Select to speed up compilation

Synopsis

data SelectStreamArgsG (b :: BackendType) v = SelectStreamArgsG {
- _ssaWhere :: Maybe (AnnBoolExp b v)
- _ssaBatchSize :: Int
- _ssaCursorArg :: StreamCursorItem b
}
type SelectStreamArgs b = SelectStreamArgsG b (SQLExpression b)
data SelectArgsG (b :: BackendType) v = SelectArgs {
- _saWhere :: Maybe (AnnBoolExp b v)
- _saOrderBy :: Maybe (NonEmpty (AnnotatedOrderByItemG b v))
- _saLimit :: Maybe Int
- _saOffset :: Maybe Int64
- _saDistinct :: Maybe (NonEmpty (AnnDistinctColumn b v))
}
type SelectArgs b = SelectArgsG b (SQLExpression b)
noSelectArgs :: SelectArgsG backend v
data AnnDistinctColumn b v = AnnDistinctColumn {
- _adcColumn :: Column b
- _adcRedactionExpression :: AnnRedactionExp b v
}
data StreamCursorItem (b :: BackendType) = StreamCursorItem {
- _sciOrdering :: CursorOrdering
- _sciColInfo :: ColumnInfo b
- _sciInitialValue :: ColumnValue b
}

Documentation

data SelectStreamArgsG (b :: BackendType) v Source #

Constructors

SelectStreamArgsG
Fields _ssaWhere :: Maybe (AnnBoolExp b v) optional filter to filter the stream results _ssaBatchSize :: Int maximum number of rows to be returned in a single fetch _ssaCursorArg :: StreamCursorItem b info related to the cursor column, a single item data type currently because only single column cursors are supported

Instances

Instances details

Backend b => Foldable (SelectStreamArgsG b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods fold :: Monoid m => SelectStreamArgsG b m -> m # foldMap :: Monoid m => (a -> m) -> SelectStreamArgsG b a -> m # foldMap' :: Monoid m => (a -> m) -> SelectStreamArgsG b a -> m # foldr :: (a -> b0 -> b0) -> b0 -> SelectStreamArgsG b a -> b0 # foldr' :: (a -> b0 -> b0) -> b0 -> SelectStreamArgsG b a -> b0 # foldl :: (b0 -> a -> b0) -> b0 -> SelectStreamArgsG b a -> b0 # foldl' :: (b0 -> a -> b0) -> b0 -> SelectStreamArgsG b a -> b0 # foldr1 :: (a -> a -> a) -> SelectStreamArgsG b a -> a # foldl1 :: (a -> a -> a) -> SelectStreamArgsG b a -> a # toList :: SelectStreamArgsG b a -> [a] # null :: SelectStreamArgsG b a -> Bool # length :: SelectStreamArgsG b a -> Int # elem :: Eq a => a -> SelectStreamArgsG b a -> Bool # maximum :: Ord a => SelectStreamArgsG b a -> a # minimum :: Ord a => SelectStreamArgsG b a -> a # sum :: Num a => SelectStreamArgsG b a -> a # product :: Num a => SelectStreamArgsG b a -> a #
Backend b => Traversable (SelectStreamArgsG b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods traverse :: Applicative f => (a -> f b0) -> SelectStreamArgsG b a -> f (SelectStreamArgsG b b0) # sequenceA :: Applicative f => SelectStreamArgsG b (f a) -> f (SelectStreamArgsG b a) # mapM :: Monad m => (a -> m b0) -> SelectStreamArgsG b a -> m (SelectStreamArgsG b b0) # sequence :: Monad m => SelectStreamArgsG b (m a) -> m (SelectStreamArgsG b a) #
Backend b => Functor (SelectStreamArgsG b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods fmap :: (a -> b0) -> SelectStreamArgsG b a -> SelectStreamArgsG b b0 # (<$) :: a -> SelectStreamArgsG b b0 -> SelectStreamArgsG b a #
Generic (SelectStreamArgsG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Associated Types type Rep (SelectStreamArgsG b v) :: Type -> Type # Methods from :: SelectStreamArgsG b v -> Rep (SelectStreamArgsG b v) x # to :: Rep (SelectStreamArgsG b v) x -> SelectStreamArgsG b v #
(Backend b, Show (AnnBoolExp b v), Show v) => Show (SelectStreamArgsG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods showsPrec :: Int -> SelectStreamArgsG b v -> ShowS # show :: SelectStreamArgsG b v -> String # showList :: [SelectStreamArgsG b v] -> ShowS #
(Backend b, Eq (AnnBoolExp b v), Eq v) => Eq (SelectStreamArgsG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods (==) :: SelectStreamArgsG b v -> SelectStreamArgsG b v -> Bool # (/=) :: SelectStreamArgsG b v -> SelectStreamArgsG b v -> Bool #
type Rep (SelectStreamArgsG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args type Rep (SelectStreamArgsG b v) = D1 ('MetaData "SelectStreamArgsG" "Hasura.RQL.IR.Select.Args" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "SelectStreamArgsG" 'PrefixI 'True) (S1 ('MetaSel ('Just "_ssaWhere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (AnnBoolExp b v))) :: (S1 ('MetaSel ('Just "_ssaBatchSize") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :: S1 ('MetaSel ('Just "_ssaCursorArg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (StreamCursorItem b)))))

type SelectStreamArgs b = SelectStreamArgsG b (SQLExpression b) Source #

data SelectArgsG (b :: BackendType) v Source #

Constructors

SelectArgs
Fields _saWhere :: Maybe (AnnBoolExp b v) _saOrderBy :: Maybe (NonEmpty (AnnotatedOrderByItemG b v)) _saLimit :: Maybe Int _saOffset :: Maybe Int64 _saDistinct :: Maybe (NonEmpty (AnnDistinctColumn b v))

Instances

Instances details

Backend b => Foldable (SelectArgsG b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods fold :: Monoid m => SelectArgsG b m -> m # foldMap :: Monoid m => (a -> m) -> SelectArgsG b a -> m # foldMap' :: Monoid m => (a -> m) -> SelectArgsG b a -> m # foldr :: (a -> b0 -> b0) -> b0 -> SelectArgsG b a -> b0 # foldr' :: (a -> b0 -> b0) -> b0 -> SelectArgsG b a -> b0 # foldl :: (b0 -> a -> b0) -> b0 -> SelectArgsG b a -> b0 # foldl' :: (b0 -> a -> b0) -> b0 -> SelectArgsG b a -> b0 # foldr1 :: (a -> a -> a) -> SelectArgsG b a -> a # foldl1 :: (a -> a -> a) -> SelectArgsG b a -> a # toList :: SelectArgsG b a -> [a] # null :: SelectArgsG b a -> Bool # length :: SelectArgsG b a -> Int # elem :: Eq a => a -> SelectArgsG b a -> Bool # maximum :: Ord a => SelectArgsG b a -> a # minimum :: Ord a => SelectArgsG b a -> a # sum :: Num a => SelectArgsG b a -> a # product :: Num a => SelectArgsG b a -> a #
Backend b => Traversable (SelectArgsG b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods traverse :: Applicative f => (a -> f b0) -> SelectArgsG b a -> f (SelectArgsG b b0) # sequenceA :: Applicative f => SelectArgsG b (f a) -> f (SelectArgsG b a) # mapM :: Monad m => (a -> m b0) -> SelectArgsG b a -> m (SelectArgsG b b0) # sequence :: Monad m => SelectArgsG b (m a) -> m (SelectArgsG b a) #
Backend b => Functor (SelectArgsG b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods fmap :: (a -> b0) -> SelectArgsG b a -> SelectArgsG b b0 # (<$) :: a -> SelectArgsG b b0 -> SelectArgsG b a #
Generic (SelectArgsG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Associated Types type Rep (SelectArgsG b v) :: Type -> Type # Methods from :: SelectArgsG b v -> Rep (SelectArgsG b v) x # to :: Rep (SelectArgsG b v) x -> SelectArgsG b v #
(Backend b, Show (AnnBoolExp b v), Show (AnnotatedOrderByItemG b v), Show (AnnDistinctColumn b v)) => Show (SelectArgsG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods showsPrec :: Int -> SelectArgsG b v -> ShowS # show :: SelectArgsG b v -> String # showList :: [SelectArgsG b v] -> ShowS #
(Backend b, Eq (AnnBoolExp b v), Eq (AnnotatedOrderByItemG b v), Eq (AnnDistinctColumn b v)) => Eq (SelectArgsG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods (==) :: SelectArgsG b v -> SelectArgsG b v -> Bool # (/=) :: SelectArgsG b v -> SelectArgsG b v -> Bool #
(Backend b, Hashable (AnnBoolExp b v), Hashable (AnnotatedOrderByItemG b v), Hashable (AnnDistinctColumn b v)) => Hashable (SelectArgsG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods hashWithSalt :: Int -> SelectArgsG b v -> Int Source # hash :: SelectArgsG b v -> Int Source #
type Rep (SelectArgsG b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args type Rep (SelectArgsG b v) = D1 ('MetaData "SelectArgsG" "Hasura.RQL.IR.Select.Args" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "SelectArgs" 'PrefixI 'True) ((S1 ('MetaSel ('Just "_saWhere") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (AnnBoolExp b v))) :: S1 ('MetaSel ('Just "_saOrderBy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (NonEmpty (AnnotatedOrderByItemG b v))))) :: (S1 ('MetaSel ('Just "_saLimit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Int)) :: (S1 ('MetaSel ('Just "_saOffset") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Int64)) :: S1 ('MetaSel ('Just "_saDistinct") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (NonEmpty (AnnDistinctColumn b v))))))))

type SelectArgs b = SelectArgsG b (SQLExpression b) Source #

noSelectArgs :: SelectArgsG backend v Source #

data AnnDistinctColumn b v Source #

Constructors

AnnDistinctColumn
Fields _adcColumn :: Column b _adcRedactionExpression :: AnnRedactionExp b v This type is used to determine whether the column should be redacted before being distincted-upon

Instances

Instances details

Backend b => Foldable (AnnDistinctColumn b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods fold :: Monoid m => AnnDistinctColumn b m -> m # foldMap :: Monoid m => (a -> m) -> AnnDistinctColumn b a -> m # foldMap' :: Monoid m => (a -> m) -> AnnDistinctColumn b a -> m # foldr :: (a -> b0 -> b0) -> b0 -> AnnDistinctColumn b a -> b0 # foldr' :: (a -> b0 -> b0) -> b0 -> AnnDistinctColumn b a -> b0 # foldl :: (b0 -> a -> b0) -> b0 -> AnnDistinctColumn b a -> b0 # foldl' :: (b0 -> a -> b0) -> b0 -> AnnDistinctColumn b a -> b0 # foldr1 :: (a -> a -> a) -> AnnDistinctColumn b a -> a # foldl1 :: (a -> a -> a) -> AnnDistinctColumn b a -> a # toList :: AnnDistinctColumn b a -> [a] # null :: AnnDistinctColumn b a -> Bool # length :: AnnDistinctColumn b a -> Int # elem :: Eq a => a -> AnnDistinctColumn b a -> Bool # maximum :: Ord a => AnnDistinctColumn b a -> a # minimum :: Ord a => AnnDistinctColumn b a -> a # sum :: Num a => AnnDistinctColumn b a -> a # product :: Num a => AnnDistinctColumn b a -> a #
Backend b => Traversable (AnnDistinctColumn b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods traverse :: Applicative f => (a -> f b0) -> AnnDistinctColumn b a -> f (AnnDistinctColumn b b0) # sequenceA :: Applicative f => AnnDistinctColumn b (f a) -> f (AnnDistinctColumn b a) # mapM :: Monad m => (a -> m b0) -> AnnDistinctColumn b a -> m (AnnDistinctColumn b b0) # sequence :: Monad m => AnnDistinctColumn b (m a) -> m (AnnDistinctColumn b a) #
Backend b => Functor (AnnDistinctColumn b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods fmap :: (a -> b0) -> AnnDistinctColumn b a -> AnnDistinctColumn b b0 # (<$) :: a -> AnnDistinctColumn b b0 -> AnnDistinctColumn b a #
Generic (AnnDistinctColumn b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Associated Types type Rep (AnnDistinctColumn b v) :: Type -> Type # Methods from :: AnnDistinctColumn b v -> Rep (AnnDistinctColumn b v) x # to :: Rep (AnnDistinctColumn b v) x -> AnnDistinctColumn b v #
(Backend b, Show (AnnRedactionExp b v)) => Show (AnnDistinctColumn b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods showsPrec :: Int -> AnnDistinctColumn b v -> ShowS # show :: AnnDistinctColumn b v -> String # showList :: [AnnDistinctColumn b v] -> ShowS #
(Backend b, Eq (AnnRedactionExp b v)) => Eq (AnnDistinctColumn b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods (==) :: AnnDistinctColumn b v -> AnnDistinctColumn b v -> Bool # (/=) :: AnnDistinctColumn b v -> AnnDistinctColumn b v -> Bool #
(Backend b, Hashable (AnnRedactionExp b v)) => Hashable (AnnDistinctColumn b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods hashWithSalt :: Int -> AnnDistinctColumn b v -> Int Source # hash :: AnnDistinctColumn b v -> Int Source #
type Rep (AnnDistinctColumn b v) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args type Rep (AnnDistinctColumn b v) = D1 ('MetaData "AnnDistinctColumn" "Hasura.RQL.IR.Select.Args" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "AnnDistinctColumn" 'PrefixI 'True) (S1 ('MetaSel ('Just "_adcColumn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Column b)) :*: S1 ('MetaSel ('Just "_adcRedactionExpression") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (AnnRedactionExp b v))))

data StreamCursorItem (b :: BackendType) Source #

Cursor for streaming subscription

Constructors

StreamCursorItem
Fields _sciOrdering :: CursorOrdering Specifies how the cursor item should be ordered _sciColInfo :: ColumnInfo b Column info of the cursor item _sciInitialValue :: ColumnValue b Initial value of the cursor item from where the streaming should start

Instances

Instances details

Generic (StreamCursorItem b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Associated Types type Rep (StreamCursorItem b) :: Type -> Type # Methods from :: StreamCursorItem b -> Rep (StreamCursorItem b) x # to :: Rep (StreamCursorItem b) x -> StreamCursorItem b #
Backend b => Show (StreamCursorItem b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods showsPrec :: Int -> StreamCursorItem b -> ShowS # show :: StreamCursorItem b -> String # showList :: [StreamCursorItem b] -> ShowS #
Backend b => Eq (StreamCursorItem b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args Methods (==) :: StreamCursorItem b -> StreamCursorItem b -> Bool # (/=) :: StreamCursorItem b -> StreamCursorItem b -> Bool #
type Rep (StreamCursorItem b) Source #
Instance details Defined in Hasura.RQL.IR.Select.Args type Rep (StreamCursorItem b) = D1 ('MetaData "StreamCursorItem" "Hasura.RQL.IR.Select.Args" "graphql-engine-1.0.0-inplace" 'False) (C1 ('MetaCons "StreamCursorItem" 'PrefixI 'True) (S1 ('MetaSel ('Just "_sciOrdering") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CursorOrdering) :: (S1 ('MetaSel ('Just "_sciColInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ColumnInfo b)) :: S1 ('MetaSel ('Just "_sciInitialValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (ColumnValue b)))))