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 -> [OrderingTerm] -> SubQuery

Unsafely generate flat SubQuery from untyped components.

aggregatedSubQuery :: Config -> UntypedProjection -> Duplication -> JoinProduct -> QueryRestriction Flat -> [AggregateElem] -> QueryRestriction Aggregated -> [OrderingTerm] -> 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

Methods

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

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

Foldable Qualified

Methods

fold :: Monoid m => Qualified m -> m

foldMap :: Monoid m => (a -> m) -> Qualified a -> m

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

foldr' :: (a -> b -> b) -> b -> Qualified a -> b

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

foldl' :: (b -> a -> b) -> b -> Qualified a -> b

foldr1 :: (a -> a -> a) -> Qualified a -> a

foldl1 :: (a -> a -> a) -> Qualified a -> a

toList :: Qualified a -> [a]

null :: Qualified a -> Bool

length :: Qualified a -> Int

elem :: Eq a => a -> Qualified a -> Bool

maximum :: Ord a => Qualified a -> a

minimum :: Ord a => Qualified a -> a

sum :: Num a => Qualified a -> a

product :: Num a => Qualified a -> a

Traversable Qualified

Methods

traverse :: Applicative f => (a -> f b) -> Qualified a -> f (Qualified b)

sequenceA :: Applicative f => Qualified (f a) -> f (Qualified a)

mapM :: Monad m => (a -> m b) -> Qualified a -> m (Qualified b)

sequence :: Monad m => Qualified (m a) -> m (Qualified a)

Show a => Show (Qualified a)

Methods

showsPrec :: Int -> Qualified a -> ShowS

show :: Qualified a -> String

showList :: [Qualified a] -> ShowS

queryWidth :: Qualified SubQuery -> Int

Width of Qualified SubQUery.

Sub-query columns

column :: Qualified SubQuery -> Int -> StringSQL

Get column SQL string of SubQuery.

Projection

data Projection c t

Phantom typed projection. Projected into Haskell record type t.

Instances

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 with single column width

Instances

Show ProjectionUnit

Methods

showsPrec :: Int -> ProjectionUnit -> ShowS

show :: ProjectionUnit -> String

showList :: [ProjectionUnit] -> ShowS

type UntypedProjection = [ProjectionUnit]

Untyped projection. Forgot record type.

untypedProjectionFromJoinedSubQuery :: Qualified SubQuery -> UntypedProjection

Make untyped projection from joined sub-query.

projectionColumns

Arguments

:: Projection c r

Source Projection

-> [StringSQL]

Result SQL string list

Get column SQL string list of projection.

unsafeProjectionStringSql :: Projection c r -> StringSQL

Unsafely get SQL term from Proejction.

Product of sub-queries

type JoinProduct = Maybe QueryProductTree

Type for join product of query.

data NodeAttr

node attribute for product.

Constructors

Just'

Maybe

Instances

Show NodeAttr

Methods

showsPrec :: Int -> NodeAttr -> ShowS

show :: NodeAttr -> String

showList :: [NodeAttr] -> ShowS

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.