Moduleopaleye-0.10.8.0Haskell2010

Opaleye.Internal.Sql

Synopsis

data Select
data SelectAttrs
data From
data Join
data Semijoin
data Values
data Binary
data JoinType
data SemijoinType
data BinOp
data Lateral
data LockStrength
data Recursive
data Materialized
data With
data Label
data Returning
data Exists
value sqlQueryGenerator
value exists
value sql
value unit
value empty
value oneTable
value baseTable
value product
value aggregate
value aggrExpr
value window
value distinctOnOrderBy
value limit_
value join
value semijoin
value values
value binary
value with
value joinType
value semijoinType
value binOp
value newSelect
value sqlExpr
value sqlSymbol
value sqlBinding
value ensureColumns
value ensureColumnsGen
value label
value relExpr
value rebind
value forUpdate

Packageopaleye-0.10.8.0
Exports49
LanguageHaskell2010
LicenceBSD-3-Clause
SourceSql.hs

datadata Select

Constructors

SelectFrom From
Table SqlTable
RelExpr SqlExpr
A relation-valued expression
SelectJoin Join
SelectSemijoin Semijoin
SelectValues Values
SelectBinary Binary
SelectLabel Label
SelectExists Exists
SelectWith With

Instances1Show

Show SelectDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata SelectAttrs

Constructors

Star
SelectAttrs (NonEmpty (SqlExpr, Maybe SqlColumn))
SelectAttrsStar (NonEmpty (SqlExpr, Maybe SqlColumn))

Instances1Show

Show SelectAttrsDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata From

Constructors

From
- attrs :: SelectAttrs
- tables :: [(Lateral, Select, Maybe [SqlColumn])]
- criteria :: [SqlExpr]
- groupBy :: Maybe (NonEmpty SqlExpr)
- orderBy :: [(SqlExpr, SqlOrder)]
- distinctOn :: Maybe (NonEmpty SqlExpr)
- limit :: Maybe SqlExpr
- offset :: Maybe SqlExpr
- for :: Maybe LockStrength

Instances1Show

Show FromDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata Join

Constructors

Join
- jJoinType :: JoinType
- jTables :: ((Lateral, Select), (Lateral, Select))
- jCond :: SqlExpr

Instances1Show

Show JoinDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata Semijoin

Constructors

Semijoin
- sjType :: SemijoinType
- sjTable :: Select
- sjCriteria :: Select

Instances1Show

Show SemijoinDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata Values

Constructors

Values
- vAttrs :: SelectAttrs
- vValues :: [[SqlExpr]]

Instances1Show

Show ValuesDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata Binary

Constructors

Binary
- bOp :: BinOp
- bSelect1 :: Select
- bSelect2 :: Select

Instances1Show

Show BinaryDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata JoinType

LeftJoin RightJoin FullJoin

Instances1Show

Show JoinTypeDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata SemijoinType

Semi Anti

Instances1Show

Show SemijoinTypeDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata BinOp

Except ExceptAll Union UnionAll Intersect IntersectAll

Instances1Show

Show BinOpDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata Lateral

Lateral NonLateral

Instances1Show

Show LateralDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata LockStrength

Update

Instances1Show

Show LockStrengthDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata Recursive

NonRecursive Recursive

Instances1Show

Show RecursiveDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata Materialized

Materialized NotMaterialized

Instances1Show

Show MaterializedDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata With

Constructors

With
- wTable :: SqlTable
- wCols :: [SqlColumn]
- wRecursive :: Recursive
- wMaterialized :: Maybe Materialized
- wWith :: Select
- wSelect :: Select

Instances1Show

Show WithDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata Label

Constructors

Label
- lLabel :: String
- lSelect :: Select

Instances1Show

Show LabelDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

datadata Returning a

Constructors

Returning a (NonEmpty SqlExpr)

datadata Exists

Constructors

Exists
- existsBinding :: Symbol
- existsTable :: Select

Instances1Show

Show ExistsDefined in opaleye-0.10.8.0 · Opaleye.Internal.Sql

valuesqlQueryGenerator :: PrimQueryFold' Void Select

valueexists :: Symbol -> Select -> Select

valuesql :: ([PrimExpr], PrimQuery' Void, Tag) -> Select

valueunit :: Select

valueempty :: Void -> select

valueoneTable :: t -> [(Lateral, t, Maybe a)]

valuebaseTable :: TableIdentifier -> [(Symbol, PrimExpr)] -> Select

valueproduct :: NonEmpty (Lateral, Select) -> [PrimExpr] -> Select

valueaggregate :: Bindings Aggregate -> Select -> Select

valueaggrExpr :: Aggregate -> PrimExpr

valuewindow :: Bindings (WndwOp, Partition) -> Select -> Select

valuedistinctOnOrderBy

:: Maybe (NonEmpty PrimExpr)
-> [OrderExpr]
-> Select
-> Select

valuelimit_ :: LimitOp -> Select -> Select

valuejoin

:: JoinType
-> PrimExpr
-> (Lateral, Select)
-> (Lateral, Select)
-> Select

valuesemijoin :: SemijoinType -> Select -> Select -> Select

valuevalues :: [Symbol] -> NonEmpty [PrimExpr] -> Select

valuebinary :: BinOp -> (Select, Select) -> Select

valuewith

:: Recursive
-> Maybe Materialized
-> Symbol
-> [Symbol]
-> Select
-> Select
-> Select

valuejoinType :: JoinType -> JoinType

valuesemijoinType :: SemijoinType -> SemijoinType

valuebinOp :: BinOp -> BinOp

valuenewSelect :: From

valuesqlExpr :: PrimExpr -> SqlExpr

valuesqlSymbol :: Symbol -> String

valuesqlBinding :: (Symbol, PrimExpr) -> (SqlExpr, Maybe SqlColumn)

valueensureColumns :: [(SqlExpr, Maybe a)] -> NonEmpty (SqlExpr, Maybe a)

valueensureColumnsGen :: (SqlExpr -> a) -> [a] -> NonEmpty a

Source#

For ensuring that we have at least one column in a SELECT or RETURNING

valuelabel :: String -> Select -> Select

valuerelExpr :: PrimExpr -> [Symbol] -> Select

valuerebind :: Bool -> [(Symbol, PrimExpr)] -> Select -> Select

valueforUpdate :: Select -> Select