Safe Haskell	Safe-Inferred
Language	Haskell2010

Opaleye.Internal.PrimQuery

Documentation

data LimitOp Source #

Constructors

LimitOp Int
OffsetOp Int
LimitOffsetOp Int Int

Instances

Instances details

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

Instances details

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

Instances

Instances details

Show JoinType Source #
Instance details Defined in Opaleye.Internal.PrimQuery Methods showsPrec :: Int -> JoinType -> ShowS # show :: JoinType -> String # showList :: [JoinType] -> ShowS #

data SemijoinType Source #

Constructors

Semi
Anti

Instances

Instances details

Show SemijoinType Source #
Instance details Defined in Opaleye.Internal.PrimQuery Methods showsPrec :: Int -> SemijoinType -> ShowS # show :: SemijoinType -> String # showList :: [SemijoinType] -> ShowS #

data TableIdentifier Source #

Constructors

TableIdentifier
Fields tiSchemaName :: Maybe String tiTableName :: String

Instances

Instances details

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 Lateral Source #

Constructors

NonLateral
Lateral

Instances

Instances details

Show Lateral Source #
Instance details Defined in Opaleye.Internal.PrimQuery Methods showsPrec :: Int -> Lateral -> ShowS # show :: Lateral -> String # showList :: [Lateral] -> ShowS #
Semigroup Lateral Source #
Instance details Defined in Opaleye.Internal.PrimQuery Methods (<>) :: Lateral -> Lateral -> Lateral # sconcat :: NonEmpty Lateral -> Lateral # stimes :: Integral b => b -> Lateral -> Lateral #
Monoid Lateral Source #
Instance details Defined in Opaleye.Internal.PrimQuery Methods mempty :: Lateral # mappend :: Lateral -> Lateral -> Lateral # mconcat :: [Lateral] -> Lateral #

data PrimQuery' a Source #

Constructors

Unit
Empty a
BaseTable TableIdentifier (Bindings PrimExpr)
Product (NonEmpty (Lateral, PrimQuery' a)) [PrimExpr]
Aggregate (Bindings (Maybe (AggrOp, [OrderExpr], AggrDistinct), Symbol)) (PrimQuery' a)	The subqueries to take the product of and the restrictions to apply
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 BY`s when present, preceding any in the provided list. See `distinctOnOrderBy`.
Limit LimitOp (PrimQuery' a)
Join JoinType PrimExpr (Lateral, PrimQuery' a) (Lateral, PrimQuery' a)
Semijoin SemijoinType (PrimQuery' a) (PrimQuery' a)
Exists Symbol (PrimQuery' a)
Values [Symbol] (NonEmpty [PrimExpr])
Binary BinOp (PrimQuery' a, PrimQuery' a)
Label String (PrimQuery' a)
RelExpr PrimExpr (Bindings PrimExpr)
Rebind Bool (Bindings PrimExpr) (PrimQuery' a)
ForUpdate (PrimQuery' a)

Instances

Instances details

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

unit :: p
empty :: a -> p
baseTable :: TableIdentifier -> Bindings PrimExpr -> p
product :: NonEmpty (Lateral, p) -> [PrimExpr] -> p
aggregate :: Bindings (Maybe (AggrOp, [OrderExpr], AggrDistinct), Symbol) -> p -> p
distinctOnOrderBy :: Maybe (NonEmpty PrimExpr) -> [OrderExpr] -> p -> p
limit :: LimitOp -> p -> p
join :: JoinType -> PrimExpr -> (Lateral, p) -> (Lateral, p) -> p
semijoin :: SemijoinType -> p -> p -> p
exists :: Symbol -> p -> p
values :: [Symbol] -> NonEmpty [PrimExpr] -> p
binary :: BinOp -> (p, p) -> p
label :: String -> p -> p
relExpr :: PrimExpr -> Bindings PrimExpr -> p
A relation-valued expression
rebind :: Bool -> Bindings PrimExpr -> p -> p
forUpdate :: p -> p

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

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

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

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

isUnit :: PrimQuery' a -> Bool Source #