{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE UndecidableInstances #-}

-- | Removed from `RQL.IR.Select` to speed up compilation
module Hasura.RQL.IR.Select.Args
  ( SelectArgs,
    SelectArgsG (..),
    AnnDistinctColumn (..),
    SelectStreamArgsG (..),
    SelectStreamArgs,
    StreamCursorItem (..),
    noSelectArgs,
  )
where

import Data.Int (Int64)
import Data.List.NonEmpty qualified as NE
import Hasura.Prelude
import Hasura.RQL.IR.BoolExp
import Hasura.RQL.IR.Select.OrderBy
import Hasura.RQL.Types.Backend
import Hasura.RQL.Types.BackendType
import Hasura.RQL.Types.Column
import Hasura.RQL.Types.Subscription

-- Select arguments

data SelectStreamArgsG (b :: BackendType) v = SelectStreamArgsG
  { -- | optional filter to filter the stream results
    forall (b :: BackendType) v.
SelectStreamArgsG b v -> Maybe (AnnBoolExp b v)
_ssaWhere :: Maybe (AnnBoolExp b v),
    -- | maximum number of rows to be returned in a single fetch
    forall (b :: BackendType) v. SelectStreamArgsG b v -> Int
_ssaBatchSize :: Int,
    -- | info related to the cursor column, a single item data type
    --   currently because only single column cursors are supported
    forall (b :: BackendType) v.
SelectStreamArgsG b v -> StreamCursorItem b
_ssaCursorArg :: StreamCursorItem b
  }
  deriving ((forall x. SelectStreamArgsG b v -> Rep (SelectStreamArgsG b v) x)
-> (forall x.
    Rep (SelectStreamArgsG b v) x -> SelectStreamArgsG b v)
-> Generic (SelectStreamArgsG b v)
forall x. Rep (SelectStreamArgsG b v) x -> SelectStreamArgsG b v
forall x. SelectStreamArgsG b v -> Rep (SelectStreamArgsG b v) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall (b :: BackendType) v x.
Rep (SelectStreamArgsG b v) x -> SelectStreamArgsG b v
forall (b :: BackendType) v x.
SelectStreamArgsG b v -> Rep (SelectStreamArgsG b v) x
$cfrom :: forall (b :: BackendType) v x.
SelectStreamArgsG b v -> Rep (SelectStreamArgsG b v) x
from :: forall x. SelectStreamArgsG b v -> Rep (SelectStreamArgsG b v) x
$cto :: forall (b :: BackendType) v x.
Rep (SelectStreamArgsG b v) x -> SelectStreamArgsG b v
to :: forall x. Rep (SelectStreamArgsG b v) x -> SelectStreamArgsG b v
Generic, (forall a b.
 (a -> b) -> SelectStreamArgsG b a -> SelectStreamArgsG b b)
-> (forall a b.
    a -> SelectStreamArgsG b b -> SelectStreamArgsG b a)
-> Functor (SelectStreamArgsG b)
forall a b. a -> SelectStreamArgsG b b -> SelectStreamArgsG b a
forall a b.
(a -> b) -> SelectStreamArgsG b a -> SelectStreamArgsG b b
forall (b :: BackendType) a b.
Backend b =>
a -> SelectStreamArgsG b b -> SelectStreamArgsG b a
forall (b :: BackendType) a b.
Backend b =>
(a -> b) -> SelectStreamArgsG b a -> SelectStreamArgsG b b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
$cfmap :: forall (b :: BackendType) a b.
Backend b =>
(a -> b) -> SelectStreamArgsG b a -> SelectStreamArgsG b b
fmap :: forall a b.
(a -> b) -> SelectStreamArgsG b a -> SelectStreamArgsG b b
$c<$ :: forall (b :: BackendType) a b.
Backend b =>
a -> SelectStreamArgsG b b -> SelectStreamArgsG b a
<$ :: forall a b. a -> SelectStreamArgsG b b -> SelectStreamArgsG b a
Functor, (forall m. Monoid m => SelectStreamArgsG b m -> m)
-> (forall m a. Monoid m => (a -> m) -> SelectStreamArgsG b a -> m)
-> (forall m a. Monoid m => (a -> m) -> SelectStreamArgsG b a -> m)
-> (forall a b. (a -> b -> b) -> b -> SelectStreamArgsG b a -> b)
-> (forall a b. (a -> b -> b) -> b -> SelectStreamArgsG b a -> b)
-> (forall b a. (b -> a -> b) -> b -> SelectStreamArgsG b a -> b)
-> (forall b a. (b -> a -> b) -> b -> SelectStreamArgsG b a -> b)
-> (forall a. (a -> a -> a) -> SelectStreamArgsG b a -> a)
-> (forall a. (a -> a -> a) -> SelectStreamArgsG b a -> a)
-> (forall a. SelectStreamArgsG b a -> [a])
-> (forall a. SelectStreamArgsG b a -> Bool)
-> (forall a. SelectStreamArgsG b a -> Int)
-> (forall a. Eq a => a -> SelectStreamArgsG b a -> Bool)
-> (forall a. Ord a => SelectStreamArgsG b a -> a)
-> (forall a. Ord a => SelectStreamArgsG b a -> a)
-> (forall a. Num a => SelectStreamArgsG b a -> a)
-> (forall a. Num a => SelectStreamArgsG b a -> a)
-> Foldable (SelectStreamArgsG b)
forall a. Eq a => a -> SelectStreamArgsG b a -> Bool
forall a. Num a => SelectStreamArgsG b a -> a
forall a. Ord a => SelectStreamArgsG b a -> a
forall m. Monoid m => SelectStreamArgsG b m -> m
forall a. SelectStreamArgsG b a -> Bool
forall a. SelectStreamArgsG b a -> Int
forall a. SelectStreamArgsG b a -> [a]
forall a. (a -> a -> a) -> SelectStreamArgsG b a -> a
forall m a. Monoid m => (a -> m) -> SelectStreamArgsG b a -> m
forall b a. (b -> a -> b) -> b -> SelectStreamArgsG b a -> b
forall a b. (a -> b -> b) -> b -> SelectStreamArgsG b a -> b
forall (b :: BackendType) a.
(Backend b, Eq a) =>
a -> SelectStreamArgsG b a -> Bool
forall (b :: BackendType) a.
(Backend b, Num a) =>
SelectStreamArgsG b a -> a
forall (b :: BackendType) a.
(Backend b, Ord a) =>
SelectStreamArgsG b a -> a
forall (b :: BackendType) m.
(Backend b, Monoid m) =>
SelectStreamArgsG b m -> m
forall (b :: BackendType) a.
Backend b =>
SelectStreamArgsG b a -> Bool
forall (b :: BackendType) a.
Backend b =>
SelectStreamArgsG b a -> Int
forall (b :: BackendType) a.
Backend b =>
SelectStreamArgsG b a -> [a]
forall (b :: BackendType) a.
Backend b =>
(a -> a -> a) -> SelectStreamArgsG b a -> a
forall (b :: BackendType) m a.
(Backend b, Monoid m) =>
(a -> m) -> SelectStreamArgsG b a -> m
forall (b :: BackendType) b a.
Backend b =>
(b -> a -> b) -> b -> SelectStreamArgsG b a -> b
forall (b :: BackendType) a b.
Backend b =>
(a -> b -> b) -> b -> SelectStreamArgsG b a -> b
forall (t :: * -> *).
(forall m. Monoid m => t m -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. t a -> [a])
-> (forall a. t a -> Bool)
-> (forall a. t a -> Int)
-> (forall a. Eq a => a -> t a -> Bool)
-> (forall a. Ord a => t a -> a)
-> (forall a. Ord a => t a -> a)
-> (forall a. Num a => t a -> a)
-> (forall a. Num a => t a -> a)
-> Foldable t
$cfold :: forall (b :: BackendType) m.
(Backend b, Monoid m) =>
SelectStreamArgsG b m -> m
fold :: forall m. Monoid m => SelectStreamArgsG b m -> m
$cfoldMap :: forall (b :: BackendType) m a.
(Backend b, Monoid m) =>
(a -> m) -> SelectStreamArgsG b a -> m
foldMap :: forall m a. Monoid m => (a -> m) -> SelectStreamArgsG b a -> m
$cfoldMap' :: forall (b :: BackendType) m a.
(Backend b, Monoid m) =>
(a -> m) -> SelectStreamArgsG b a -> m
foldMap' :: forall m a. Monoid m => (a -> m) -> SelectStreamArgsG b a -> m
$cfoldr :: forall (b :: BackendType) a b.
Backend b =>
(a -> b -> b) -> b -> SelectStreamArgsG b a -> b
foldr :: forall a b. (a -> b -> b) -> b -> SelectStreamArgsG b a -> b
$cfoldr' :: forall (b :: BackendType) a b.
Backend b =>
(a -> b -> b) -> b -> SelectStreamArgsG b a -> b
foldr' :: forall a b. (a -> b -> b) -> b -> SelectStreamArgsG b a -> b
$cfoldl :: forall (b :: BackendType) b a.
Backend b =>
(b -> a -> b) -> b -> SelectStreamArgsG b a -> b
foldl :: forall b a. (b -> a -> b) -> b -> SelectStreamArgsG b a -> b
$cfoldl' :: forall (b :: BackendType) b a.
Backend b =>
(b -> a -> b) -> b -> SelectStreamArgsG b a -> b
foldl' :: forall b a. (b -> a -> b) -> b -> SelectStreamArgsG b a -> b
$cfoldr1 :: forall (b :: BackendType) a.
Backend b =>
(a -> a -> a) -> SelectStreamArgsG b a -> a
foldr1 :: forall a. (a -> a -> a) -> SelectStreamArgsG b a -> a
$cfoldl1 :: forall (b :: BackendType) a.
Backend b =>
(a -> a -> a) -> SelectStreamArgsG b a -> a
foldl1 :: forall a. (a -> a -> a) -> SelectStreamArgsG b a -> a
$ctoList :: forall (b :: BackendType) a.
Backend b =>
SelectStreamArgsG b a -> [a]
toList :: forall a. SelectStreamArgsG b a -> [a]
$cnull :: forall (b :: BackendType) a.
Backend b =>
SelectStreamArgsG b a -> Bool
null :: forall a. SelectStreamArgsG b a -> Bool
$clength :: forall (b :: BackendType) a.
Backend b =>
SelectStreamArgsG b a -> Int
length :: forall a. SelectStreamArgsG b a -> Int
$celem :: forall (b :: BackendType) a.
(Backend b, Eq a) =>
a -> SelectStreamArgsG b a -> Bool
elem :: forall a. Eq a => a -> SelectStreamArgsG b a -> Bool
$cmaximum :: forall (b :: BackendType) a.
(Backend b, Ord a) =>
SelectStreamArgsG b a -> a
maximum :: forall a. Ord a => SelectStreamArgsG b a -> a
$cminimum :: forall (b :: BackendType) a.
(Backend b, Ord a) =>
SelectStreamArgsG b a -> a
minimum :: forall a. Ord a => SelectStreamArgsG b a -> a
$csum :: forall (b :: BackendType) a.
(Backend b, Num a) =>
SelectStreamArgsG b a -> a
sum :: forall a. Num a => SelectStreamArgsG b a -> a
$cproduct :: forall (b :: BackendType) a.
(Backend b, Num a) =>
SelectStreamArgsG b a -> a
product :: forall a. Num a => SelectStreamArgsG b a -> a
Foldable, Functor (SelectStreamArgsG b)
Foldable (SelectStreamArgsG b)
Functor (SelectStreamArgsG b)
-> Foldable (SelectStreamArgsG b)
-> (forall (f :: * -> *) a b.
    Applicative f =>
    (a -> f b) -> SelectStreamArgsG b a -> f (SelectStreamArgsG b b))
-> (forall (f :: * -> *) a.
    Applicative f =>
    SelectStreamArgsG b (f a) -> f (SelectStreamArgsG b a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> SelectStreamArgsG b a -> m (SelectStreamArgsG b b))
-> (forall (m :: * -> *) a.
    Monad m =>
    SelectStreamArgsG b (m a) -> m (SelectStreamArgsG b a))
-> Traversable (SelectStreamArgsG b)
forall (b :: BackendType).
Backend b =>
Functor (SelectStreamArgsG b)
forall (b :: BackendType).
Backend b =>
Foldable (SelectStreamArgsG b)
forall (b :: BackendType) (m :: * -> *) a.
(Backend b, Monad m) =>
SelectStreamArgsG b (m a) -> m (SelectStreamArgsG b a)
forall (b :: BackendType) (f :: * -> *) a.
(Backend b, Applicative f) =>
SelectStreamArgsG b (f a) -> f (SelectStreamArgsG b a)
forall (b :: BackendType) (m :: * -> *) a b.
(Backend b, Monad m) =>
(a -> m b) -> SelectStreamArgsG b a -> m (SelectStreamArgsG b b)
forall (b :: BackendType) (f :: * -> *) a b.
(Backend b, Applicative f) =>
(a -> f b) -> SelectStreamArgsG b a -> f (SelectStreamArgsG b b)
forall (t :: * -> *).
Functor t
-> Foldable t
-> (forall (f :: * -> *) a b.
    Applicative f =>
    (a -> f b) -> t a -> f (t b))
-> (forall (f :: * -> *) a. Applicative f => t (f a) -> f (t a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> t a -> m (t b))
-> (forall (m :: * -> *) a. Monad m => t (m a) -> m (t a))
-> Traversable t
forall (m :: * -> *) a.
Monad m =>
SelectStreamArgsG b (m a) -> m (SelectStreamArgsG b a)
forall (f :: * -> *) a.
Applicative f =>
SelectStreamArgsG b (f a) -> f (SelectStreamArgsG b a)
forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> SelectStreamArgsG b a -> m (SelectStreamArgsG b b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> SelectStreamArgsG b a -> f (SelectStreamArgsG b b)
$ctraverse :: forall (b :: BackendType) (f :: * -> *) a b.
(Backend b, Applicative f) =>
(a -> f b) -> SelectStreamArgsG b a -> f (SelectStreamArgsG b b)
traverse :: forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> SelectStreamArgsG b a -> f (SelectStreamArgsG b b)
$csequenceA :: forall (b :: BackendType) (f :: * -> *) a.
(Backend b, Applicative f) =>
SelectStreamArgsG b (f a) -> f (SelectStreamArgsG b a)
sequenceA :: forall (f :: * -> *) a.
Applicative f =>
SelectStreamArgsG b (f a) -> f (SelectStreamArgsG b a)
$cmapM :: forall (b :: BackendType) (m :: * -> *) a b.
(Backend b, Monad m) =>
(a -> m b) -> SelectStreamArgsG b a -> m (SelectStreamArgsG b b)
mapM :: forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> SelectStreamArgsG b a -> m (SelectStreamArgsG b b)
$csequence :: forall (b :: BackendType) (m :: * -> *) a.
(Backend b, Monad m) =>
SelectStreamArgsG b (m a) -> m (SelectStreamArgsG b a)
sequence :: forall (m :: * -> *) a.
Monad m =>
SelectStreamArgsG b (m a) -> m (SelectStreamArgsG b a)
Traversable)

type SelectStreamArgs b = SelectStreamArgsG b (SQLExpression b)

deriving instance
  ( Backend b,
    Eq (AnnBoolExp b v),
    Eq v
  ) =>
  Eq (SelectStreamArgsG b v)

deriving instance
  ( Backend b,
    Show (AnnBoolExp b v),
    Show v
  ) =>
  Show (SelectStreamArgsG b v)

data SelectArgsG (b :: BackendType) v = SelectArgs
  { forall (b :: BackendType) v.
SelectArgsG b v -> Maybe (AnnBoolExp b v)
_saWhere :: Maybe (AnnBoolExp b v),
    forall (b :: BackendType) v.
SelectArgsG b v -> Maybe (NonEmpty (AnnotatedOrderByItemG b v))
_saOrderBy :: Maybe (NE.NonEmpty (AnnotatedOrderByItemG b v)),
    forall (b :: BackendType) v. SelectArgsG b v -> Maybe Int
_saLimit :: Maybe Int,
    forall (b :: BackendType) v. SelectArgsG b v -> Maybe Int64
_saOffset :: Maybe Int64,
    forall (b :: BackendType) v.
SelectArgsG b v -> Maybe (NonEmpty (AnnDistinctColumn b v))
_saDistinct :: (Maybe (NE.NonEmpty (AnnDistinctColumn b v)))
  }
  deriving stock ((forall x. SelectArgsG b v -> Rep (SelectArgsG b v) x)
-> (forall x. Rep (SelectArgsG b v) x -> SelectArgsG b v)
-> Generic (SelectArgsG b v)
forall x. Rep (SelectArgsG b v) x -> SelectArgsG b v
forall x. SelectArgsG b v -> Rep (SelectArgsG b v) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall (b :: BackendType) v x.
Rep (SelectArgsG b v) x -> SelectArgsG b v
forall (b :: BackendType) v x.
SelectArgsG b v -> Rep (SelectArgsG b v) x
$cfrom :: forall (b :: BackendType) v x.
SelectArgsG b v -> Rep (SelectArgsG b v) x
from :: forall x. SelectArgsG b v -> Rep (SelectArgsG b v) x
$cto :: forall (b :: BackendType) v x.
Rep (SelectArgsG b v) x -> SelectArgsG b v
to :: forall x. Rep (SelectArgsG b v) x -> SelectArgsG b v
Generic, (forall a b. (a -> b) -> SelectArgsG b a -> SelectArgsG b b)
-> (forall a b. a -> SelectArgsG b b -> SelectArgsG b a)
-> Functor (SelectArgsG b)
forall a b. a -> SelectArgsG b b -> SelectArgsG b a
forall a b. (a -> b) -> SelectArgsG b a -> SelectArgsG b b
forall (b :: BackendType) a b.
Backend b =>
a -> SelectArgsG b b -> SelectArgsG b a
forall (b :: BackendType) a b.
Backend b =>
(a -> b) -> SelectArgsG b a -> SelectArgsG b b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
$cfmap :: forall (b :: BackendType) a b.
Backend b =>
(a -> b) -> SelectArgsG b a -> SelectArgsG b b
fmap :: forall a b. (a -> b) -> SelectArgsG b a -> SelectArgsG b b
$c<$ :: forall (b :: BackendType) a b.
Backend b =>
a -> SelectArgsG b b -> SelectArgsG b a
<$ :: forall a b. a -> SelectArgsG b b -> SelectArgsG b a
Functor, (forall m. Monoid m => SelectArgsG b m -> m)
-> (forall m a. Monoid m => (a -> m) -> SelectArgsG b a -> m)
-> (forall m a. Monoid m => (a -> m) -> SelectArgsG b a -> m)
-> (forall a b. (a -> b -> b) -> b -> SelectArgsG b a -> b)
-> (forall a b. (a -> b -> b) -> b -> SelectArgsG b a -> b)
-> (forall b a. (b -> a -> b) -> b -> SelectArgsG b a -> b)
-> (forall b a. (b -> a -> b) -> b -> SelectArgsG b a -> b)
-> (forall a. (a -> a -> a) -> SelectArgsG b a -> a)
-> (forall a. (a -> a -> a) -> SelectArgsG b a -> a)
-> (forall a. SelectArgsG b a -> [a])
-> (forall a. SelectArgsG b a -> Bool)
-> (forall a. SelectArgsG b a -> Int)
-> (forall a. Eq a => a -> SelectArgsG b a -> Bool)
-> (forall a. Ord a => SelectArgsG b a -> a)
-> (forall a. Ord a => SelectArgsG b a -> a)
-> (forall a. Num a => SelectArgsG b a -> a)
-> (forall a. Num a => SelectArgsG b a -> a)
-> Foldable (SelectArgsG b)
forall a. Eq a => a -> SelectArgsG b a -> Bool
forall a. Num a => SelectArgsG b a -> a
forall a. Ord a => SelectArgsG b a -> a
forall m. Monoid m => SelectArgsG b m -> m
forall a. SelectArgsG b a -> Bool
forall a. SelectArgsG b a -> Int
forall a. SelectArgsG b a -> [a]
forall a. (a -> a -> a) -> SelectArgsG b a -> a
forall m a. Monoid m => (a -> m) -> SelectArgsG b a -> m
forall b a. (b -> a -> b) -> b -> SelectArgsG b a -> b
forall a b. (a -> b -> b) -> b -> SelectArgsG b a -> b
forall (b :: BackendType) a.
(Backend b, Eq a) =>
a -> SelectArgsG b a -> Bool
forall (b :: BackendType) a.
(Backend b, Num a) =>
SelectArgsG b a -> a
forall (b :: BackendType) a.
(Backend b, Ord a) =>
SelectArgsG b a -> a
forall (b :: BackendType) m.
(Backend b, Monoid m) =>
SelectArgsG b m -> m
forall (b :: BackendType) a. Backend b => SelectArgsG b a -> Bool
forall (b :: BackendType) a. Backend b => SelectArgsG b a -> Int
forall (b :: BackendType) a. Backend b => SelectArgsG b a -> [a]
forall (b :: BackendType) a.
Backend b =>
(a -> a -> a) -> SelectArgsG b a -> a
forall (b :: BackendType) m a.
(Backend b, Monoid m) =>
(a -> m) -> SelectArgsG b a -> m
forall (b :: BackendType) b a.
Backend b =>
(b -> a -> b) -> b -> SelectArgsG b a -> b
forall (b :: BackendType) a b.
Backend b =>
(a -> b -> b) -> b -> SelectArgsG b a -> b
forall (t :: * -> *).
(forall m. Monoid m => t m -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. t a -> [a])
-> (forall a. t a -> Bool)
-> (forall a. t a -> Int)
-> (forall a. Eq a => a -> t a -> Bool)
-> (forall a. Ord a => t a -> a)
-> (forall a. Ord a => t a -> a)
-> (forall a. Num a => t a -> a)
-> (forall a. Num a => t a -> a)
-> Foldable t
$cfold :: forall (b :: BackendType) m.
(Backend b, Monoid m) =>
SelectArgsG b m -> m
fold :: forall m. Monoid m => SelectArgsG b m -> m
$cfoldMap :: forall (b :: BackendType) m a.
(Backend b, Monoid m) =>
(a -> m) -> SelectArgsG b a -> m
foldMap :: forall m a. Monoid m => (a -> m) -> SelectArgsG b a -> m
$cfoldMap' :: forall (b :: BackendType) m a.
(Backend b, Monoid m) =>
(a -> m) -> SelectArgsG b a -> m
foldMap' :: forall m a. Monoid m => (a -> m) -> SelectArgsG b a -> m
$cfoldr :: forall (b :: BackendType) a b.
Backend b =>
(a -> b -> b) -> b -> SelectArgsG b a -> b
foldr :: forall a b. (a -> b -> b) -> b -> SelectArgsG b a -> b
$cfoldr' :: forall (b :: BackendType) a b.
Backend b =>
(a -> b -> b) -> b -> SelectArgsG b a -> b
foldr' :: forall a b. (a -> b -> b) -> b -> SelectArgsG b a -> b
$cfoldl :: forall (b :: BackendType) b a.
Backend b =>
(b -> a -> b) -> b -> SelectArgsG b a -> b
foldl :: forall b a. (b -> a -> b) -> b -> SelectArgsG b a -> b
$cfoldl' :: forall (b :: BackendType) b a.
Backend b =>
(b -> a -> b) -> b -> SelectArgsG b a -> b
foldl' :: forall b a. (b -> a -> b) -> b -> SelectArgsG b a -> b
$cfoldr1 :: forall (b :: BackendType) a.
Backend b =>
(a -> a -> a) -> SelectArgsG b a -> a
foldr1 :: forall a. (a -> a -> a) -> SelectArgsG b a -> a
$cfoldl1 :: forall (b :: BackendType) a.
Backend b =>
(a -> a -> a) -> SelectArgsG b a -> a
foldl1 :: forall a. (a -> a -> a) -> SelectArgsG b a -> a
$ctoList :: forall (b :: BackendType) a. Backend b => SelectArgsG b a -> [a]
toList :: forall a. SelectArgsG b a -> [a]
$cnull :: forall (b :: BackendType) a. Backend b => SelectArgsG b a -> Bool
null :: forall a. SelectArgsG b a -> Bool
$clength :: forall (b :: BackendType) a. Backend b => SelectArgsG b a -> Int
length :: forall a. SelectArgsG b a -> Int
$celem :: forall (b :: BackendType) a.
(Backend b, Eq a) =>
a -> SelectArgsG b a -> Bool
elem :: forall a. Eq a => a -> SelectArgsG b a -> Bool
$cmaximum :: forall (b :: BackendType) a.
(Backend b, Ord a) =>
SelectArgsG b a -> a
maximum :: forall a. Ord a => SelectArgsG b a -> a
$cminimum :: forall (b :: BackendType) a.
(Backend b, Ord a) =>
SelectArgsG b a -> a
minimum :: forall a. Ord a => SelectArgsG b a -> a
$csum :: forall (b :: BackendType) a.
(Backend b, Num a) =>
SelectArgsG b a -> a
sum :: forall a. Num a => SelectArgsG b a -> a
$cproduct :: forall (b :: BackendType) a.
(Backend b, Num a) =>
SelectArgsG b a -> a
product :: forall a. Num a => SelectArgsG b a -> a
Foldable, Functor (SelectArgsG b)
Foldable (SelectArgsG b)
Functor (SelectArgsG b)
-> Foldable (SelectArgsG b)
-> (forall (f :: * -> *) a b.
    Applicative f =>
    (a -> f b) -> SelectArgsG b a -> f (SelectArgsG b b))
-> (forall (f :: * -> *) a.
    Applicative f =>
    SelectArgsG b (f a) -> f (SelectArgsG b a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> SelectArgsG b a -> m (SelectArgsG b b))
-> (forall (m :: * -> *) a.
    Monad m =>
    SelectArgsG b (m a) -> m (SelectArgsG b a))
-> Traversable (SelectArgsG b)
forall (b :: BackendType). Backend b => Functor (SelectArgsG b)
forall (b :: BackendType). Backend b => Foldable (SelectArgsG b)
forall (b :: BackendType) (m :: * -> *) a.
(Backend b, Monad m) =>
SelectArgsG b (m a) -> m (SelectArgsG b a)
forall (b :: BackendType) (f :: * -> *) a.
(Backend b, Applicative f) =>
SelectArgsG b (f a) -> f (SelectArgsG b a)
forall (b :: BackendType) (m :: * -> *) a b.
(Backend b, Monad m) =>
(a -> m b) -> SelectArgsG b a -> m (SelectArgsG b b)
forall (b :: BackendType) (f :: * -> *) a b.
(Backend b, Applicative f) =>
(a -> f b) -> SelectArgsG b a -> f (SelectArgsG b b)
forall (t :: * -> *).
Functor t
-> Foldable t
-> (forall (f :: * -> *) a b.
    Applicative f =>
    (a -> f b) -> t a -> f (t b))
-> (forall (f :: * -> *) a. Applicative f => t (f a) -> f (t a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> t a -> m (t b))
-> (forall (m :: * -> *) a. Monad m => t (m a) -> m (t a))
-> Traversable t
forall (m :: * -> *) a.
Monad m =>
SelectArgsG b (m a) -> m (SelectArgsG b a)
forall (f :: * -> *) a.
Applicative f =>
SelectArgsG b (f a) -> f (SelectArgsG b a)
forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> SelectArgsG b a -> m (SelectArgsG b b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> SelectArgsG b a -> f (SelectArgsG b b)
$ctraverse :: forall (b :: BackendType) (f :: * -> *) a b.
(Backend b, Applicative f) =>
(a -> f b) -> SelectArgsG b a -> f (SelectArgsG b b)
traverse :: forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> SelectArgsG b a -> f (SelectArgsG b b)
$csequenceA :: forall (b :: BackendType) (f :: * -> *) a.
(Backend b, Applicative f) =>
SelectArgsG b (f a) -> f (SelectArgsG b a)
sequenceA :: forall (f :: * -> *) a.
Applicative f =>
SelectArgsG b (f a) -> f (SelectArgsG b a)
$cmapM :: forall (b :: BackendType) (m :: * -> *) a b.
(Backend b, Monad m) =>
(a -> m b) -> SelectArgsG b a -> m (SelectArgsG b b)
mapM :: forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> SelectArgsG b a -> m (SelectArgsG b b)
$csequence :: forall (b :: BackendType) (m :: * -> *) a.
(Backend b, Monad m) =>
SelectArgsG b (m a) -> m (SelectArgsG b a)
sequence :: forall (m :: * -> *) a.
Monad m =>
SelectArgsG b (m a) -> m (SelectArgsG b a)
Traversable)

deriving stock instance
  ( Backend b,
    Eq (AnnBoolExp b v),
    Eq (AnnotatedOrderByItemG b v),
    Eq (AnnDistinctColumn b v)
  ) =>
  Eq (SelectArgsG b v)

instance
  ( Backend b,
    Hashable (AnnBoolExp b v),
    Hashable (AnnotatedOrderByItemG b v),
    Hashable (AnnDistinctColumn b v)
  ) =>
  Hashable (SelectArgsG b v)

deriving stock instance
  ( Backend b,
    Show (AnnBoolExp b v),
    Show (AnnotatedOrderByItemG b v),
    Show (AnnDistinctColumn b v)
  ) =>
  Show (SelectArgsG b v)

type SelectArgs b = SelectArgsG b (SQLExpression b)

noSelectArgs :: SelectArgsG backend v
noSelectArgs :: forall (backend :: BackendType) v. SelectArgsG backend v
noSelectArgs = Maybe (AnnBoolExp backend v)
-> Maybe (NonEmpty (AnnotatedOrderByItemG backend v))
-> Maybe Int
-> Maybe Int64
-> Maybe (NonEmpty (AnnDistinctColumn backend v))
-> SelectArgsG backend v
forall (b :: BackendType) v.
Maybe (AnnBoolExp b v)
-> Maybe (NonEmpty (AnnotatedOrderByItemG b v))
-> Maybe Int
-> Maybe Int64
-> Maybe (NonEmpty (AnnDistinctColumn b v))
-> SelectArgsG b v
SelectArgs Maybe (AnnBoolExp backend v)
forall a. Maybe a
Nothing Maybe (NonEmpty (AnnotatedOrderByItemG backend v))
forall a. Maybe a
Nothing Maybe Int
forall a. Maybe a
Nothing Maybe Int64
forall a. Maybe a
Nothing Maybe (NonEmpty (AnnDistinctColumn backend v))
forall a. Maybe a
Nothing

data AnnDistinctColumn b v = AnnDistinctColumn
  { forall (b :: BackendType) v. AnnDistinctColumn b v -> Column b
_adcColumn :: Column b,
    -- | This type is used to determine whether the column should be redacted
    -- before being distincted-upon
    forall (b :: BackendType) v.
AnnDistinctColumn b v -> AnnRedactionExp b v
_adcRedactionExpression :: AnnRedactionExp b v
  }
  deriving stock ((forall x. AnnDistinctColumn b v -> Rep (AnnDistinctColumn b v) x)
-> (forall x.
    Rep (AnnDistinctColumn b v) x -> AnnDistinctColumn b v)
-> Generic (AnnDistinctColumn b v)
forall x. Rep (AnnDistinctColumn b v) x -> AnnDistinctColumn b v
forall x. AnnDistinctColumn b v -> Rep (AnnDistinctColumn b v) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall (b :: BackendType) v x.
Rep (AnnDistinctColumn b v) x -> AnnDistinctColumn b v
forall (b :: BackendType) v x.
AnnDistinctColumn b v -> Rep (AnnDistinctColumn b v) x
$cfrom :: forall (b :: BackendType) v x.
AnnDistinctColumn b v -> Rep (AnnDistinctColumn b v) x
from :: forall x. AnnDistinctColumn b v -> Rep (AnnDistinctColumn b v) x
$cto :: forall (b :: BackendType) v x.
Rep (AnnDistinctColumn b v) x -> AnnDistinctColumn b v
to :: forall x. Rep (AnnDistinctColumn b v) x -> AnnDistinctColumn b v
Generic, (forall a b.
 (a -> b) -> AnnDistinctColumn b a -> AnnDistinctColumn b b)
-> (forall a b.
    a -> AnnDistinctColumn b b -> AnnDistinctColumn b a)
-> Functor (AnnDistinctColumn b)
forall a b. a -> AnnDistinctColumn b b -> AnnDistinctColumn b a
forall a b.
(a -> b) -> AnnDistinctColumn b a -> AnnDistinctColumn b b
forall (b :: BackendType) a b.
Backend b =>
a -> AnnDistinctColumn b b -> AnnDistinctColumn b a
forall (b :: BackendType) a b.
Backend b =>
(a -> b) -> AnnDistinctColumn b a -> AnnDistinctColumn b b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
$cfmap :: forall (b :: BackendType) a b.
Backend b =>
(a -> b) -> AnnDistinctColumn b a -> AnnDistinctColumn b b
fmap :: forall a b.
(a -> b) -> AnnDistinctColumn b a -> AnnDistinctColumn b b
$c<$ :: forall (b :: BackendType) a b.
Backend b =>
a -> AnnDistinctColumn b b -> AnnDistinctColumn b a
<$ :: forall a b. a -> AnnDistinctColumn b b -> AnnDistinctColumn b a
Functor, (forall m. Monoid m => AnnDistinctColumn b m -> m)
-> (forall m a. Monoid m => (a -> m) -> AnnDistinctColumn b a -> m)
-> (forall m a. Monoid m => (a -> m) -> AnnDistinctColumn b a -> m)
-> (forall a b. (a -> b -> b) -> b -> AnnDistinctColumn b a -> b)
-> (forall a b. (a -> b -> b) -> b -> AnnDistinctColumn b a -> b)
-> (forall b a. (b -> a -> b) -> b -> AnnDistinctColumn b a -> b)
-> (forall b a. (b -> a -> b) -> b -> AnnDistinctColumn b a -> b)
-> (forall a. (a -> a -> a) -> AnnDistinctColumn b a -> a)
-> (forall a. (a -> a -> a) -> AnnDistinctColumn b a -> a)
-> (forall a. AnnDistinctColumn b a -> [a])
-> (forall a. AnnDistinctColumn b a -> Bool)
-> (forall a. AnnDistinctColumn b a -> Int)
-> (forall a. Eq a => a -> AnnDistinctColumn b a -> Bool)
-> (forall a. Ord a => AnnDistinctColumn b a -> a)
-> (forall a. Ord a => AnnDistinctColumn b a -> a)
-> (forall a. Num a => AnnDistinctColumn b a -> a)
-> (forall a. Num a => AnnDistinctColumn b a -> a)
-> Foldable (AnnDistinctColumn b)
forall a. Eq a => a -> AnnDistinctColumn b a -> Bool
forall a. Num a => AnnDistinctColumn b a -> a
forall a. Ord a => AnnDistinctColumn b a -> a
forall m. Monoid m => AnnDistinctColumn b m -> m
forall a. AnnDistinctColumn b a -> Bool
forall a. AnnDistinctColumn b a -> Int
forall a. AnnDistinctColumn b a -> [a]
forall a. (a -> a -> a) -> AnnDistinctColumn b a -> a
forall m a. Monoid m => (a -> m) -> AnnDistinctColumn b a -> m
forall b a. (b -> a -> b) -> b -> AnnDistinctColumn b a -> b
forall a b. (a -> b -> b) -> b -> AnnDistinctColumn b a -> b
forall (b :: BackendType) a.
(Backend b, Eq a) =>
a -> AnnDistinctColumn b a -> Bool
forall (b :: BackendType) a.
(Backend b, Num a) =>
AnnDistinctColumn b a -> a
forall (b :: BackendType) a.
(Backend b, Ord a) =>
AnnDistinctColumn b a -> a
forall (b :: BackendType) m.
(Backend b, Monoid m) =>
AnnDistinctColumn b m -> m
forall (b :: BackendType) a.
Backend b =>
AnnDistinctColumn b a -> Bool
forall (b :: BackendType) a.
Backend b =>
AnnDistinctColumn b a -> Int
forall (b :: BackendType) a.
Backend b =>
AnnDistinctColumn b a -> [a]
forall (b :: BackendType) a.
Backend b =>
(a -> a -> a) -> AnnDistinctColumn b a -> a
forall (b :: BackendType) m a.
(Backend b, Monoid m) =>
(a -> m) -> AnnDistinctColumn b a -> m
forall (b :: BackendType) b a.
Backend b =>
(b -> a -> b) -> b -> AnnDistinctColumn b a -> b
forall (b :: BackendType) a b.
Backend b =>
(a -> b -> b) -> b -> AnnDistinctColumn b a -> b
forall (t :: * -> *).
(forall m. Monoid m => t m -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall m a. Monoid m => (a -> m) -> t a -> m)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall a b. (a -> b -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall b a. (b -> a -> b) -> b -> t a -> b)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. (a -> a -> a) -> t a -> a)
-> (forall a. t a -> [a])
-> (forall a. t a -> Bool)
-> (forall a. t a -> Int)
-> (forall a. Eq a => a -> t a -> Bool)
-> (forall a. Ord a => t a -> a)
-> (forall a. Ord a => t a -> a)
-> (forall a. Num a => t a -> a)
-> (forall a. Num a => t a -> a)
-> Foldable t
$cfold :: forall (b :: BackendType) m.
(Backend b, Monoid m) =>
AnnDistinctColumn b m -> m
fold :: forall m. Monoid m => AnnDistinctColumn b m -> m
$cfoldMap :: forall (b :: BackendType) m a.
(Backend b, Monoid m) =>
(a -> m) -> AnnDistinctColumn b a -> m
foldMap :: forall m a. Monoid m => (a -> m) -> AnnDistinctColumn b a -> m
$cfoldMap' :: forall (b :: BackendType) m a.
(Backend b, Monoid m) =>
(a -> m) -> AnnDistinctColumn b a -> m
foldMap' :: forall m a. Monoid m => (a -> m) -> AnnDistinctColumn b a -> m
$cfoldr :: forall (b :: BackendType) a b.
Backend b =>
(a -> b -> b) -> b -> AnnDistinctColumn b a -> b
foldr :: forall a b. (a -> b -> b) -> b -> AnnDistinctColumn b a -> b
$cfoldr' :: forall (b :: BackendType) a b.
Backend b =>
(a -> b -> b) -> b -> AnnDistinctColumn b a -> b
foldr' :: forall a b. (a -> b -> b) -> b -> AnnDistinctColumn b a -> b
$cfoldl :: forall (b :: BackendType) b a.
Backend b =>
(b -> a -> b) -> b -> AnnDistinctColumn b a -> b
foldl :: forall b a. (b -> a -> b) -> b -> AnnDistinctColumn b a -> b
$cfoldl' :: forall (b :: BackendType) b a.
Backend b =>
(b -> a -> b) -> b -> AnnDistinctColumn b a -> b
foldl' :: forall b a. (b -> a -> b) -> b -> AnnDistinctColumn b a -> b
$cfoldr1 :: forall (b :: BackendType) a.
Backend b =>
(a -> a -> a) -> AnnDistinctColumn b a -> a
foldr1 :: forall a. (a -> a -> a) -> AnnDistinctColumn b a -> a
$cfoldl1 :: forall (b :: BackendType) a.
Backend b =>
(a -> a -> a) -> AnnDistinctColumn b a -> a
foldl1 :: forall a. (a -> a -> a) -> AnnDistinctColumn b a -> a
$ctoList :: forall (b :: BackendType) a.
Backend b =>
AnnDistinctColumn b a -> [a]
toList :: forall a. AnnDistinctColumn b a -> [a]
$cnull :: forall (b :: BackendType) a.
Backend b =>
AnnDistinctColumn b a -> Bool
null :: forall a. AnnDistinctColumn b a -> Bool
$clength :: forall (b :: BackendType) a.
Backend b =>
AnnDistinctColumn b a -> Int
length :: forall a. AnnDistinctColumn b a -> Int
$celem :: forall (b :: BackendType) a.
(Backend b, Eq a) =>
a -> AnnDistinctColumn b a -> Bool
elem :: forall a. Eq a => a -> AnnDistinctColumn b a -> Bool
$cmaximum :: forall (b :: BackendType) a.
(Backend b, Ord a) =>
AnnDistinctColumn b a -> a
maximum :: forall a. Ord a => AnnDistinctColumn b a -> a
$cminimum :: forall (b :: BackendType) a.
(Backend b, Ord a) =>
AnnDistinctColumn b a -> a
minimum :: forall a. Ord a => AnnDistinctColumn b a -> a
$csum :: forall (b :: BackendType) a.
(Backend b, Num a) =>
AnnDistinctColumn b a -> a
sum :: forall a. Num a => AnnDistinctColumn b a -> a
$cproduct :: forall (b :: BackendType) a.
(Backend b, Num a) =>
AnnDistinctColumn b a -> a
product :: forall a. Num a => AnnDistinctColumn b a -> a
Foldable, Functor (AnnDistinctColumn b)
Foldable (AnnDistinctColumn b)
Functor (AnnDistinctColumn b)
-> Foldable (AnnDistinctColumn b)
-> (forall (f :: * -> *) a b.
    Applicative f =>
    (a -> f b) -> AnnDistinctColumn b a -> f (AnnDistinctColumn b b))
-> (forall (f :: * -> *) a.
    Applicative f =>
    AnnDistinctColumn b (f a) -> f (AnnDistinctColumn b a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> AnnDistinctColumn b a -> m (AnnDistinctColumn b b))
-> (forall (m :: * -> *) a.
    Monad m =>
    AnnDistinctColumn b (m a) -> m (AnnDistinctColumn b a))
-> Traversable (AnnDistinctColumn b)
forall (b :: BackendType).
Backend b =>
Functor (AnnDistinctColumn b)
forall (b :: BackendType).
Backend b =>
Foldable (AnnDistinctColumn b)
forall (b :: BackendType) (m :: * -> *) a.
(Backend b, Monad m) =>
AnnDistinctColumn b (m a) -> m (AnnDistinctColumn b a)
forall (b :: BackendType) (f :: * -> *) a.
(Backend b, Applicative f) =>
AnnDistinctColumn b (f a) -> f (AnnDistinctColumn b a)
forall (b :: BackendType) (m :: * -> *) a b.
(Backend b, Monad m) =>
(a -> m b) -> AnnDistinctColumn b a -> m (AnnDistinctColumn b b)
forall (b :: BackendType) (f :: * -> *) a b.
(Backend b, Applicative f) =>
(a -> f b) -> AnnDistinctColumn b a -> f (AnnDistinctColumn b b)
forall (t :: * -> *).
Functor t
-> Foldable t
-> (forall (f :: * -> *) a b.
    Applicative f =>
    (a -> f b) -> t a -> f (t b))
-> (forall (f :: * -> *) a. Applicative f => t (f a) -> f (t a))
-> (forall (m :: * -> *) a b.
    Monad m =>
    (a -> m b) -> t a -> m (t b))
-> (forall (m :: * -> *) a. Monad m => t (m a) -> m (t a))
-> Traversable t
forall (m :: * -> *) a.
Monad m =>
AnnDistinctColumn b (m a) -> m (AnnDistinctColumn b a)
forall (f :: * -> *) a.
Applicative f =>
AnnDistinctColumn b (f a) -> f (AnnDistinctColumn b a)
forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> AnnDistinctColumn b a -> m (AnnDistinctColumn b b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> AnnDistinctColumn b a -> f (AnnDistinctColumn b b)
$ctraverse :: forall (b :: BackendType) (f :: * -> *) a b.
(Backend b, Applicative f) =>
(a -> f b) -> AnnDistinctColumn b a -> f (AnnDistinctColumn b b)
traverse :: forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> AnnDistinctColumn b a -> f (AnnDistinctColumn b b)
$csequenceA :: forall (b :: BackendType) (f :: * -> *) a.
(Backend b, Applicative f) =>
AnnDistinctColumn b (f a) -> f (AnnDistinctColumn b a)
sequenceA :: forall (f :: * -> *) a.
Applicative f =>
AnnDistinctColumn b (f a) -> f (AnnDistinctColumn b a)
$cmapM :: forall (b :: BackendType) (m :: * -> *) a b.
(Backend b, Monad m) =>
(a -> m b) -> AnnDistinctColumn b a -> m (AnnDistinctColumn b b)
mapM :: forall (m :: * -> *) a b.
Monad m =>
(a -> m b) -> AnnDistinctColumn b a -> m (AnnDistinctColumn b b)
$csequence :: forall (b :: BackendType) (m :: * -> *) a.
(Backend b, Monad m) =>
AnnDistinctColumn b (m a) -> m (AnnDistinctColumn b a)
sequence :: forall (m :: * -> *) a.
Monad m =>
AnnDistinctColumn b (m a) -> m (AnnDistinctColumn b a)
Traversable)

deriving stock instance
  ( Backend b,
    Eq (AnnRedactionExp b v)
  ) =>
  Eq (AnnDistinctColumn b v)

instance
  ( Backend b,
    Hashable (AnnRedactionExp b v)
  ) =>
  Hashable (AnnDistinctColumn b v)

deriving stock instance
  ( Backend b,
    Show (AnnRedactionExp b v)
  ) =>
  Show (AnnDistinctColumn b v)

-- | Cursor for streaming subscription
data StreamCursorItem (b :: BackendType) = StreamCursorItem
  { -- | Specifies how the cursor item should be ordered
    forall (b :: BackendType). StreamCursorItem b -> CursorOrdering
_sciOrdering :: CursorOrdering,
    -- | Column info of the cursor item
    forall (b :: BackendType). StreamCursorItem b -> ColumnInfo b
_sciColInfo :: ColumnInfo b,
    -- | Initial value of the cursor item from where the streaming should start
    forall (b :: BackendType). StreamCursorItem b -> ColumnValue b
_sciInitialValue :: ColumnValue b
  }
  deriving ((forall x. StreamCursorItem b -> Rep (StreamCursorItem b) x)
-> (forall x. Rep (StreamCursorItem b) x -> StreamCursorItem b)
-> Generic (StreamCursorItem b)
forall x. Rep (StreamCursorItem b) x -> StreamCursorItem b
forall x. StreamCursorItem b -> Rep (StreamCursorItem b) x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall (b :: BackendType) x.
Rep (StreamCursorItem b) x -> StreamCursorItem b
forall (b :: BackendType) x.
StreamCursorItem b -> Rep (StreamCursorItem b) x
$cfrom :: forall (b :: BackendType) x.
StreamCursorItem b -> Rep (StreamCursorItem b) x
from :: forall x. StreamCursorItem b -> Rep (StreamCursorItem b) x
$cto :: forall (b :: BackendType) x.
Rep (StreamCursorItem b) x -> StreamCursorItem b
to :: forall x. Rep (StreamCursorItem b) x -> StreamCursorItem b
Generic)

deriving instance (Backend b) => Eq (StreamCursorItem b)

deriving instance (Backend b) => Show (StreamCursorItem b)