Moduleopaleye-0.10.8.0Haskell2010

Opaleye.Internal.Sql

18 types
31 values

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

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