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

Monoid Lateral

Defined in Opaleye.Internal.PrimQuery

Methods

mempty :: Lateral

mappend :: Lateral -> Lateral -> Lateral

mconcat :: [Lateral] -> Lateral

Semigroup Lateral

Defined in Opaleye.Internal.PrimQuery

Methods

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

sconcat :: NonEmpty Lateral -> Lateral

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

Show Lateral

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> Lateral -> ShowS

show :: Lateral -> String

showList :: [Lateral] -> ShowS

data Recursive

Constructors

NonRecursive

Recursive

Instances

Show Recursive

Defined in Opaleye.Internal.PrimQuery

Methods

showsPrec :: Int -> Recursive -> ShowS

show :: Recursive -> String

showList :: [Recursive] -> ShowS

aLeftJoin :: PrimExpr -> PrimQuery -> PrimQueryArr

aProduct :: PrimQuery -> PrimQueryArr

aSemijoin :: SemijoinType -> PrimQuery -> PrimQueryArr

aRebind :: Bindings PrimExpr -> PrimQueryArr

aRestrict :: PrimExpr -> PrimQueryArr

aLabel :: String -> PrimQueryArr

newtype PrimQueryArr

Constructors

PrimQueryArr

Fields

• runPrimQueryArr :: Lateral -> PrimQuery -> PrimQuery

Instances

Monoid PrimQueryArr

Defined in Opaleye.Internal.PrimQuery

Methods

mempty :: PrimQueryArr

mappend :: PrimQueryArr -> PrimQueryArr -> PrimQueryArr

mconcat :: [PrimQueryArr] -> PrimQueryArr

Semigroup PrimQueryArr

Defined in Opaleye.Internal.PrimQuery

Methods

(<>) :: PrimQueryArr -> PrimQueryArr -> PrimQueryArr

sconcat :: NonEmpty PrimQueryArr -> PrimQueryArr

stimes :: Integral b => b -> PrimQueryArr -> PrimQueryArr

lateral :: PrimQueryArr -> PrimQueryArr

toPrimQuery :: PrimQueryArr -> PrimQuery

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

With Recursive Symbol [Symbol] (PrimQuery' a) (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 p = PrimQueryFold' () p

type PrimQueryFold' a p = PrimQueryFoldP a p p

data PrimQueryFoldP a p 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 -> (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'
• with :: Recursive -> Symbol -> [Symbol] -> p -> p -> p'

primQueryFoldDefault :: PrimQueryFold' a (PrimQuery' a)

dimapPrimQueryFold :: (q -> p) -> (p' -> q') -> PrimQueryFoldP a p p' -> PrimQueryFoldP a q q'

applyPrimQueryFoldF :: PrimQueryFoldP a (PrimQuery' a) p -> PrimQuery' a -> p

primQueryFoldF :: PrimQueryFoldP a p p' -> (PrimQuery' a -> p) -> PrimQuery' a -> p'

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

composePrimQueryFold :: PrimQueryFoldP a (PrimQuery' a) q -> PrimQueryFoldP a p (PrimQuery' a) -> PrimQueryFoldP a p q

times :: Lateral -> PrimQuery -> PrimQuery -> PrimQuery

restrict :: PrimExpr -> PrimQuery -> PrimQuery

isUnit :: PrimQuery' a -> Bool