opaleye-0.6.7004.2: An SQL-generating DSL targeting PostgreSQL

Safe HaskellNone
LanguageHaskell2010

Opaleye.Internal.PrimQuery

Documentation

data LimitOp Source #

Constructors

LimitOp Int 
OffsetOp Int 
LimitOffsetOp Int Int 
Instances
Show LimitOp Source # 
Instance details

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> LimitOp -> ShowS #

show :: LimitOp -> String #

showList :: [LimitOp] -> ShowS #

data BinOp Source #

Constructors

Except 
ExceptAll 
Union 
UnionAll 
Intersect 
IntersectAll 
Instances
Show BinOp Source # 
Instance details

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> BinOp -> ShowS #

show :: BinOp -> String #

showList :: [BinOp] -> ShowS #

data JoinType Source #

Constructors

LeftJoin 
RightJoin 
FullJoin 
LeftJoinLateral 
Instances
Show JoinType Source # 
Instance details

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> JoinType -> ShowS #

show :: JoinType -> String #

showList :: [JoinType] -> ShowS #

data TableIdentifier Source #

Constructors

TableIdentifier 

Fields

Instances
Show TableIdentifier Source # 
Instance details

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> TableIdentifier -> ShowS #

show :: TableIdentifier -> String #

showList :: [TableIdentifier] -> ShowS #

tiToSqlTable :: TableIdentifier -> SqlTable Source #

type Bindings a = [(Symbol, a)] Source #

data PrimQuery' a Source #

Constructors

Unit 
Empty a 
BaseTable TableIdentifier (Bindings PrimExpr) 
Product (NonEmpty (PrimQuery' a)) [PrimExpr] 
Aggregate (Bindings (Maybe (AggrOp, [OrderExpr], AggrDistinct), PrimExpr)) (PrimQuery' a) 
DistinctOnOrderBy (Maybe (NonEmpty PrimExpr)) [OrderExpr] (PrimQuery' a)

Represents both DISTINCT ON and ORDER BY clauses. In order to represent valid SQL only, DISTINCT ON expressions are always interpreted as the first ORDER BYs when present, preceding any in the provided list. See distinctOnOrderBy.

Limit LimitOp (PrimQuery' a) 
Join JoinType PrimExpr (Bindings PrimExpr) (Bindings PrimExpr) (PrimQuery' a) (PrimQuery' a) 
Exists Bool (PrimQuery' a) (PrimQuery' a) 
Values [Symbol] (NonEmpty [PrimExpr]) 
Binary BinOp (Bindings (PrimExpr, PrimExpr)) (PrimQuery' a, PrimQuery' a) 
Label String (PrimQuery' a) 
RelExpr PrimExpr (Bindings PrimExpr) 
Instances
Show a => Show (PrimQuery' a) Source # 
Instance details

Defined in Opaleye.Internal.PrimQuery

Methods

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

show :: PrimQuery' a -> String #

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

type PrimQuery = PrimQuery' () Source #

type PrimQueryFold = PrimQueryFold' () Source #

data PrimQueryFold' a p Source #

Constructors

PrimQueryFold 

Fields

primQueryFoldDefault :: PrimQueryFold' a (PrimQuery' a) Source #

foldPrimQuery :: PrimQueryFold' a p -> PrimQuery' a -> p Source #

times :: PrimQuery -> PrimQuery -> PrimQuery Source #

restrict :: PrimExpr -> PrimQuery -> PrimQuery Source #

exists :: PrimQuery -> PrimQuery -> PrimQuery Source #

notExists :: PrimQuery -> PrimQuery -> PrimQuery Source #

isUnit :: PrimQuery' a -> Bool Source #