Database.Relational.Query.Sub

This module defines sub-query structure used in query products.

Sub-query

data SubQuery

Sub-query type

Instances

Show SubQuery

fromTable

Arguments

:: Table r

Typed Table metadata

-> SubQuery

Result SubQuery

SubQuery from Table.

flatSubQuery :: Config -> UntypedProjection -> Duplication -> JoinProduct -> QueryRestriction Flat -> OrderingTerms -> SubQuery

Unsafely generate flat SubQuery from untyped components.

aggregatedSubQuery :: Config -> UntypedProjection -> Duplication -> JoinProduct -> QueryRestriction Flat -> [AggregateElem] -> QueryRestriction Aggregated -> OrderingTerms -> SubQuery

Unsafely generate aggregated SubQuery from untyped components.

union :: Duplication -> SubQuery -> SubQuery -> SubQuery

Union binary operator on SubQuery

except :: Duplication -> SubQuery -> SubQuery -> SubQuery

Except binary operator on SubQuery

intersect :: Duplication -> SubQuery -> SubQuery -> SubQuery

Intersect binary operator on SubQuery

showSQL :: SubQuery -> StringSQL

SQL StringSQL for toplevel-SQL.

toSQL :: SubQuery -> String

SQL string for toplevel-SQL.

unitSQL :: SubQuery -> String

SQL string for nested-qeury.

width :: SubQuery -> Int

Width of SubQuery.

Qualified Sub-query

newtype Qualifier

Qualifier type.

Constructors

Qualifier Int

Instances

Show Qualifier

data Qualified a

Qualified query.

Instances

Functor Qualified

Functor instance of Qualified

Show a => Show (Qualified a)

qualifier :: Qualified a -> Qualifier

Get qualifier

unQualify :: Qualified a -> a

Unqualify.

qualify :: a -> Qualifier -> Qualified a

Add qualifier

queryWidth :: Qualified SubQuery -> Int

Width of Qualified SubQUery.

Sub-query columns

column :: Qualified SubQuery -> Int -> ColumnSQL

Get column SQL string of SubQuery.

Projection

data Projection c t

Phantom typed projection. Projected into Haskell record type t.

Instances

ProjectableApplicative (Projection c)

Compose record type Projection using applicative style.

ProjectableFunctor (Projection c)

Compose seed of record type Projection.

ProjectableMaybe (Projection c)

Control phantom Maybe type in projection type Projection.

ProjectableShowSql (Projection c)

Unsafely get SQL term from Proejction.

SqlProjectable (Projection OverWindow)

Unsafely make Projection from SQL terms.

SqlProjectable (Projection Aggregated)

Unsafely make Projection from SQL terms.

SqlProjectable (Projection Flat)

Unsafely make Projection from SQL terms.

Show (Projection c t)

data ProjectionUnit

Projection structure unit

Instances

Show ProjectionUnit

type UntypedProjection = [ProjectionUnit]

Untyped projection. Forgot record type.

untypedProjectionFromColumns :: [ColumnSQL] -> UntypedProjection

Make untyped projection from columns.

untypedProjectionFromJoinedSubQuery :: Qualified SubQuery -> UntypedProjection

Make untyped projection from joined sub-query.

untypedProjectionFromScalarSubQuery :: SubQuery -> UntypedProjection

Make untyped projection from scalar sub-query.

widthOfUntypedProjection :: UntypedProjection -> Int

Width of UntypedProjection.

columnsOfUntypedProjection

Arguments

:: UntypedProjection

Source Projection

-> [ColumnSQL]

Result SQL string list

Get column SQL string list of projection.

projectionColumns

Arguments

:: Projection c r

Source Projection

-> [ColumnSQL]

Result SQL string list

Get column SQL string list of projection.

unsafeProjectionStringSql :: Projection c r -> StringSQL

Unsafely get SQL term from Proejction.

unsafeProjectFromColumns

Arguments

:: [ColumnSQL]

SQL string list specifies columns

-> Projection c r

Result Projection

Unsafely generate Projection from SQL string list.

Product of sub-queries

type JoinProduct = Maybe QueryProductTree

Type for join product of query.

data NodeAttr

node attribute for product.

Instances

Show NodeAttr

nodeTree :: Node rs -> ProductTree rs

Get tree from node.

type ProductBuilder = Node QueryRestrictionBuilder

Product noe with join restriction builder.

Query restriction

type QueryRestriction c = [Projection c (Maybe Bool)]

Type for restriction of query.

composeWhere :: QueryRestriction Flat -> StringSQL

Compose WHERE clause from QueryRestriction.

composeHaving :: QueryRestriction Aggregated -> StringSQL

Compose HAVING clause from QueryRestriction.