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 Projection c t

Phantom typed projection. Projected into Haskell record type t.

Instances

ProjectableApplicative (Projection c)

Compose record type Projection using applicative style.

Methods

(|*|) :: Projection c (a -> b) -> Projection c a -> Projection c b

ProjectableFunctor (Projection c)

Compose seed of record type Projection.

Methods

(|$|) :: ProductConstructor (a -> b) => (a -> b) -> Projection c a -> Projection c b

ProjectableMaybe (Projection c)

Control phantom Maybe type in projection type Projection.

Methods

just :: Projection c a -> Projection c (Maybe a)

flattenMaybe :: Projection c (Maybe (Maybe a)) -> Projection c (Maybe a)

ProjectableShowSql (Projection c)

Unsafely get SQL term from Proejction.

Methods

unsafeShowSql' :: Projection c a -> StringSQL

SqlProjectable (Projection OverWindow)

Unsafely make Projection from SQL terms.

Methods

unsafeProjectSqlTerms' :: [StringSQL] -> Projection OverWindow t

SqlProjectable (Projection Aggregated)

Unsafely make Projection from SQL terms.

Methods

unsafeProjectSqlTerms' :: [StringSQL] -> Projection Aggregated t

SqlProjectable (Projection Flat)

Unsafely make Projection from SQL terms.

Methods

unsafeProjectSqlTerms' :: [StringSQL] -> Projection Flat t

Show (Projection c t)

Methods

showsPrec :: Int -> Projection c t -> ShowS

show :: Projection c t -> String

showList :: [Projection c t] -> ShowS

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 JoinProduct = Maybe QueryProductTree

Type for join product of query.

data NodeAttr

node attribute for product.

Instances

Show NodeAttr

Methods

showsPrec :: Int -> NodeAttr -> ShowS

show :: NodeAttr -> String

showList :: [NodeAttr] -> ShowS

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.