opaleye-0.10.3.0: An SQL-generating DSL targeting PostgreSQL
Safe HaskellSafe-Inferred
LanguageHaskell2010

Opaleye.Internal.HaskellDB.PrimQuery

Documentation

data Symbol Source #

Constructors

Symbol String Tag 

data Aggregate' a Source #

Constructors

GroupBy a 
Aggregate (Aggr' a) 

Instances

Instances details
Foldable Aggregate' Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fold :: Monoid m => Aggregate' m -> m #

foldMap :: Monoid m => (a -> m) -> Aggregate' a -> m #

foldMap' :: Monoid m => (a -> m) -> Aggregate' a -> m #

foldr :: (a -> b -> b) -> b -> Aggregate' a -> b #

foldr' :: (a -> b -> b) -> b -> Aggregate' a -> b #

foldl :: (b -> a -> b) -> b -> Aggregate' a -> b #

foldl' :: (b -> a -> b) -> b -> Aggregate' a -> b #

foldr1 :: (a -> a -> a) -> Aggregate' a -> a #

foldl1 :: (a -> a -> a) -> Aggregate' a -> a #

toList :: Aggregate' a -> [a] #

null :: Aggregate' a -> Bool #

length :: Aggregate' a -> Int #

elem :: Eq a => a -> Aggregate' a -> Bool #

maximum :: Ord a => Aggregate' a -> a #

minimum :: Ord a => Aggregate' a -> a #

sum :: Num a => Aggregate' a -> a #

product :: Num a => Aggregate' a -> a #

Traversable Aggregate' Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

traverse :: Applicative f => (a -> f b) -> Aggregate' a -> f (Aggregate' b) #

sequenceA :: Applicative f => Aggregate' (f a) -> f (Aggregate' a) #

mapM :: Monad m => (a -> m b) -> Aggregate' a -> m (Aggregate' b) #

sequence :: Monad m => Aggregate' (m a) -> m (Aggregate' a) #

Functor Aggregate' Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fmap :: (a -> b) -> Aggregate' a -> Aggregate' b #

(<$) :: a -> Aggregate' b -> Aggregate' a #

Read a => Read (Aggregate' a) Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Show a => Show (Aggregate' a) Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

data Aggr' a Source #

Constructors

Aggr 

Instances

Instances details
Foldable Aggr' Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fold :: Monoid m => Aggr' m -> m #

foldMap :: Monoid m => (a -> m) -> Aggr' a -> m #

foldMap' :: Monoid m => (a -> m) -> Aggr' a -> m #

foldr :: (a -> b -> b) -> b -> Aggr' a -> b #

foldr' :: (a -> b -> b) -> b -> Aggr' a -> b #

foldl :: (b -> a -> b) -> b -> Aggr' a -> b #

foldl' :: (b -> a -> b) -> b -> Aggr' a -> b #

foldr1 :: (a -> a -> a) -> Aggr' a -> a #

foldl1 :: (a -> a -> a) -> Aggr' a -> a #

toList :: Aggr' a -> [a] #

null :: Aggr' a -> Bool #

length :: Aggr' a -> Int #

elem :: Eq a => a -> Aggr' a -> Bool #

maximum :: Ord a => Aggr' a -> a #

minimum :: Ord a => Aggr' a -> a #

sum :: Num a => Aggr' a -> a #

product :: Num a => Aggr' a -> a #

Traversable Aggr' Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

traverse :: Applicative f => (a -> f b) -> Aggr' a -> f (Aggr' b) #

sequenceA :: Applicative f => Aggr' (f a) -> f (Aggr' a) #

mapM :: Monad m => (a -> m b) -> Aggr' a -> m (Aggr' b) #

sequence :: Monad m => Aggr' (m a) -> m (Aggr' a) #

Functor Aggr' Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fmap :: (a -> b) -> Aggr' a -> Aggr' b #

(<$) :: a -> Aggr' b -> Aggr' a #

Read a => Read (Aggr' a) Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Show a => Show (Aggr' a) Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

showsPrec :: Int -> Aggr' a -> ShowS #

show :: Aggr' a -> String #

showList :: [Aggr' a] -> ShowS #

data OrderExpr' a Source #

Constructors

OrderExpr OrderOp a 

Instances

Instances details
Foldable OrderExpr' Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fold :: Monoid m => OrderExpr' m -> m #

foldMap :: Monoid m => (a -> m) -> OrderExpr' a -> m #

foldMap' :: Monoid m => (a -> m) -> OrderExpr' a -> m #

foldr :: (a -> b -> b) -> b -> OrderExpr' a -> b #

foldr' :: (a -> b -> b) -> b -> OrderExpr' a -> b #

foldl :: (b -> a -> b) -> b -> OrderExpr' a -> b #

foldl' :: (b -> a -> b) -> b -> OrderExpr' a -> b #

foldr1 :: (a -> a -> a) -> OrderExpr' a -> a #

foldl1 :: (a -> a -> a) -> OrderExpr' a -> a #

toList :: OrderExpr' a -> [a] #

null :: OrderExpr' a -> Bool #

length :: OrderExpr' a -> Int #

elem :: Eq a => a -> OrderExpr' a -> Bool #

maximum :: Ord a => OrderExpr' a -> a #

minimum :: Ord a => OrderExpr' a -> a #

sum :: Num a => OrderExpr' a -> a #

product :: Num a => OrderExpr' a -> a #

Traversable OrderExpr' Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

traverse :: Applicative f => (a -> f b) -> OrderExpr' a -> f (OrderExpr' b) #

sequenceA :: Applicative f => OrderExpr' (f a) -> f (OrderExpr' a) #

mapM :: Monad m => (a -> m b) -> OrderExpr' a -> m (OrderExpr' b) #

sequence :: Monad m => OrderExpr' (m a) -> m (OrderExpr' a) #

Functor OrderExpr' Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Methods

fmap :: (a -> b) -> OrderExpr' a -> OrderExpr' b #

(<$) :: a -> OrderExpr' b -> OrderExpr' a #

Read a => Read (OrderExpr' a) Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery

Show a => Show (OrderExpr' a) Source # 
Instance details

Defined in Opaleye.Internal.HaskellDB.PrimQuery