Copyright	2013 Kei Hibino
License	BSD3
Maintainer	ex8k.hibino@gmail.com
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	Haskell2010

Database.Relational.Query.Sub

Contents

Sub-query
Qualified Sub-query
Sub-query columns
Projection
Product of sub-queries
Query restriction

Description

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

Synopsis

Sub-query

data SubQuery Source

Sub-query type

Instances

Show SubQuery Source

fromTable Source

Arguments

:: Table r	Typed `Table` metadata
-> SubQuery	Result `SubQuery`

SubQuery from Table.

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

Unsafely generate flat SubQuery from untyped components.

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

Unsafely generate aggregated SubQuery from untyped components.

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

Union binary operator on SubQuery

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

Except binary operator on SubQuery

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

Intersect binary operator on SubQuery

showSQL :: SubQuery -> StringSQL Source

SQL StringSQL for toplevel-SQL.

toSQL :: SubQuery -> String Source

SQL string for toplevel-SQL.

unitSQL :: SubQuery -> String Source

SQL string for nested-qeury.

width :: SubQuery -> Int Source

Width of SubQuery.

Qualified Sub-query

newtype Qualifier Source

Qualifier type.

Constructors

Qualifier Int

Instances

Show Qualifier Source

data Qualified a Source

Qualified query.

Instances

Functor Qualified Source	`Functor` instance of `Qualified`
Show a => Show (Qualified a) Source

qualifier :: Qualified a -> Qualifier Source

Get qualifier

unQualify :: Qualified a -> a Source

Unqualify.

qualify :: a -> Qualifier -> Qualified a Source

Add qualifier

queryWidth :: Qualified SubQuery -> Int Source

Width of Qualified SubQUery.

Sub-query columns

column :: Qualified SubQuery -> Int -> ColumnSQL Source

Get column SQL string of SubQuery.

Projection

data ProjectionUnit Source

Projection structure unit

Instances

Show ProjectionUnit Source

type UntypedProjection = [ProjectionUnit] Source

Untyped projection. Forgot record type.

untypedProjectionFromColumns :: [ColumnSQL] -> UntypedProjection Source

Make untyped projection from columns.

untypedProjectionFromJoinedSubQuery :: Qualified SubQuery -> UntypedProjection Source

Make untyped projection from joined sub-query.

untypedProjectionFromScalarSubQuery :: SubQuery -> UntypedProjection Source

Make untyped projection from scalar sub-query.

widthOfUntypedProjection :: UntypedProjection -> Int Source

Width of UntypedProjection.

columnsOfUntypedProjection Source

Arguments

:: UntypedProjection	Source `Projection`
-> [ColumnSQL]	Result SQL string list

Get column SQL string list of projection.

projectionColumns Source

Arguments

:: Projection c r	Source `Projection`
-> [ColumnSQL]	Result SQL string list

Get column SQL string list of projection.

unsafeProjectionStringSql :: Projection c r -> StringSQL Source

Unsafely get SQL term from Proejction.

unsafeProjectFromColumns Source

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

Product tree specialized by SubQuery.

type QueryProductNode = Node (Qualified SubQuery) Source

Product node specialized by SubQuery.

type JoinProduct = Maybe QueryProduct Source

Type for join product of query.

Query restriction

composeWhere :: QueryRestriction Flat -> StringSQL Source

Compose WHERE clause from QueryRestriction.

composeHaving :: QueryRestriction Aggregated -> StringSQL Source

Compose HAVING clause from QueryRestriction.