Database.Relational.Query.Sub

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

Sub-query

data SubQuery

Sub-query type

Instances

Show SubQuery

Methods

showsPrec :: Int -> SubQuery -> ShowS

show :: SubQuery -> String

showList :: [SubQuery] -> ShowS

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

Methods

showsPrec :: Int -> Qualifier -> ShowS

show :: Qualifier -> String

showList :: [Qualifier] -> ShowS

data Qualified a

Qualified query.

Instances

Functor Qualified

Functor instance of Qualified

Methods

fmap :: (a -> b) -> Qualified a -> Qualified b

(<$) :: a -> Qualified b -> Qualified a

Show a => Show (Qualified a)

Methods

showsPrec :: Int -> Qualified a -> ShowS

show :: Qualified a -> String

showList :: [Qualified a] -> ShowS

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 ProjectionUnit

Projection structure unit

Instances

Show ProjectionUnit

Methods

showsPrec :: Int -> ProjectionUnit -> ShowS

show :: ProjectionUnit -> String

showList :: [ProjectionUnit] -> ShowS

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 QueryProduct = ProductTree (Qualified SubQuery)

Product tree specialized by SubQuery.

type QueryProductNode = Node (Qualified SubQuery)

Product node specialized by SubQuery.

type JoinProduct = Maybe QueryProduct

Type for join product of query.

Query restriction

composeWhere :: QueryRestriction Flat -> StringSQL

Compose WHERE clause from QueryRestriction.

composeHaving :: QueryRestriction Aggregated -> StringSQL

Compose HAVING clause from QueryRestriction.