Opaleye.Internal.PrimQuery

Documentation

data LimitOp

Constructors

LimitOp Int

OffsetOp Int

LimitOffsetOp Int Int

Instances

Show LimitOp

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> LimitOp -> ShowS

show :: LimitOp -> String

showList :: [LimitOp] -> ShowS

data BinOp

Constructors

Except

ExceptAll

Union

UnionAll

Intersect

IntersectAll

Instances

Show BinOp

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> BinOp -> ShowS

show :: BinOp -> String

showList :: [BinOp] -> ShowS

data JoinType

Constructors

LeftJoin

RightJoin

FullJoin

Instances

Show JoinType

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> JoinType -> ShowS

show :: JoinType -> String

showList :: [JoinType] -> ShowS

data SemijoinType

Constructors

Semi

Anti

Instances

Show SemijoinType

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> SemijoinType -> ShowS

show :: SemijoinType -> String

showList :: [SemijoinType] -> ShowS

data TableIdentifier

Constructors

TableIdentifier

Fields

• tiSchemaName :: Maybe String
• tiTableName :: String

Instances

Show TableIdentifier

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> TableIdentifier -> ShowS

show :: TableIdentifier -> String

showList :: [TableIdentifier] -> ShowS

tiToSqlTable :: TableIdentifier -> SqlTable

type Bindings a = [(Symbol, a)]

data Lateral

Constructors

NonLateral

Lateral

Instances

Show Lateral

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> Lateral -> ShowS

show :: Lateral -> String

showList :: [Lateral] -> ShowS

Semigroup Lateral

Defined in Opaleye.Internal.PrimQuery

Methods

(<>) :: Lateral -> Lateral -> Lateral

sconcat :: NonEmpty Lateral -> Lateral

stimes :: Integral b => b -> Lateral -> Lateral

Monoid Lateral

Defined in Opaleye.Internal.PrimQuery

Methods

mempty :: Lateral

mappend :: Lateral -> Lateral -> Lateral

mconcat :: [Lateral] -> Lateral

data PrimQuery' a

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 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)

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

Show a => Show (PrimQuery' a)

Defined in Opaleye.Internal.PrimQuery

Methods

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

show :: PrimQuery' a -> String

showList :: [PrimQuery' a] -> ShowS

type PrimQuery = PrimQuery' ()

type PrimQueryFold = PrimQueryFold' ()

data PrimQueryFold' a p

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 -> Bindings PrimExpr -> Bindings PrimExpr -> p -> 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)

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

times :: PrimQuery -> PrimQuery -> PrimQuery

restrict :: PrimExpr -> PrimQuery -> PrimQuery

isUnit :: PrimQuery' a -> Bool