Database.Relational.Query.Component

This module provides untyped components for query.

Type for column SQL string

type ColumnSQL = ColumnSQL' StringSQL

Column SQL string type

columnSQL :: String -> ColumnSQL

ColumnSQL from string

columnSQL' :: StringSQL -> ColumnSQL

ColumnSQL from StringSQL

showsColumnSQL :: ColumnSQL -> StringSQL

StringSQL from ColumnSQL

Configuration type for query

data NameConfig

NameConfig type to customize names of expanded templates.

Constructors

NameConfig

Fields

• recordConfig :: NameConfig
• relationVarName :: String -> String -> VarName

Instances

Show NameConfig

Methods

showsPrec :: Int -> NameConfig -> ShowS

show :: NameConfig -> String

showList :: [NameConfig] -> ShowS

data SchemaNameMode

Schema name qualify mode in SQL string.

Constructors

SchemaQualified

Schema qualified table name in SQL string

SchemaNotQualified

Not qualified table name in SQL string

Instances

Eq SchemaNameMode

Methods

(==) :: SchemaNameMode -> SchemaNameMode -> Bool

(/=) :: SchemaNameMode -> SchemaNameMode -> Bool

Show SchemaNameMode

Methods

showsPrec :: Int -> SchemaNameMode -> ShowS

show :: SchemaNameMode -> String

showList :: [SchemaNameMode] -> ShowS

data Config

Configuration type.

Instances

Show Config

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

defaultConfig :: Config

Default configuration.

data ProductUnitSupport

Unit of product is supported or not.

Constructors

PUSupported

PUNotSupported

Instances

Show ProductUnitSupport

Methods

showsPrec :: Int -> ProductUnitSupport -> ShowS

show :: ProductUnitSupport -> String

showList :: [ProductUnitSupport] -> ShowS

data Duplication

Result record duplication attribute

Constructors

All

Distinct

Instances

Show Duplication

Methods

showsPrec :: Int -> Duplication -> ShowS

show :: Duplication -> String

showList :: [Duplication] -> ShowS

data IdentifierQuotation

Configuration for quotation of identifiers of SQL.

Constructors

NoQuotation

Quotation Char

Instances

Show IdentifierQuotation

Methods

showsPrec :: Int -> IdentifierQuotation -> ShowS

show :: IdentifierQuotation -> String

showList :: [IdentifierQuotation] -> ShowS

Duplication attribute

showsDuplication :: Duplication -> StringSQL

Compose duplication attribute string.

Types for aggregation

type AggregateColumnRef = ColumnSQL

Type for group-by term

data AggregateBitKey

Type for group key.

Instances

Show AggregateBitKey

Methods

showsPrec :: Int -> AggregateBitKey -> ShowS

show :: AggregateBitKey -> String

showList :: [AggregateBitKey] -> ShowS

data AggregateSet

Type for grouping set

Instances

Show AggregateSet

Methods

showsPrec :: Int -> AggregateSet -> ShowS

show :: AggregateSet -> String

showList :: [AggregateSet] -> ShowS

data AggregateElem

Type for group-by tree

Instances

Show AggregateElem

Methods

showsPrec :: Int -> AggregateElem -> ShowS

show :: AggregateElem -> String

showList :: [AggregateElem] -> ShowS

MonadQualify q m => MonadQualify q (AggregatingSetT m)

Aggregated MonadQualify.

Methods

liftQualify :: q a -> AggregatingSetT m a

MonadRestrict c m => MonadRestrict c (AggregatingSetT m)

Aggregated MonadRestrict.

Methods

restrict :: Projection c (Maybe Bool) -> AggregatingSetT m ()

MonadQuery m => MonadAggregate (AggregatingSetT m)

Aggregated query instance.

Methods

groupBy :: Projection Flat r -> AggregatingSetT m (Projection Aggregated r)

groupBy' :: AggregateKey (Projection Aggregated r) -> AggregatingSetT m (Projection Aggregated r)

MonadQuery m => MonadQuery (AggregatingSetT m)

Aggregated MonadQuery.

Methods

setDuplication :: Duplication -> AggregatingSetT m ()

restrictJoin :: Projection Flat (Maybe Bool) -> AggregatingSetT m ()

query' :: Relation p r -> AggregatingSetT m (PlaceHolders p, Projection Flat r)

queryMaybe' :: Relation p r -> AggregatingSetT m (PlaceHolders p, Projection Flat (Maybe r))

aggregateColumnRef :: AggregateColumnRef -> AggregateElem

Single term aggregation element.

aggregateEmpty :: [AggregateElem]

Empty aggregation.

aggregatePowerKey :: [AggregateColumnRef] -> AggregateBitKey

Key of aggregation power set.

aggregateGroupingSet :: [AggregateElem] -> AggregateSet

Single grouping set.

aggregateRollup :: [AggregateBitKey] -> AggregateElem

Rollup aggregation element.

aggregateCube :: [AggregateBitKey] -> AggregateElem

Cube aggregation element.

aggregateSets :: [AggregateSet] -> AggregateElem

Grouping sets aggregation.

composeGroupBy :: [AggregateElem] -> StringSQL

Compose GROUP BY clause from AggregateElem list.

composePartitionBy :: [AggregateColumnRef] -> StringSQL

Compose PARTITION BY clause from AggregateColumnRef list.

data AggregateKey a

Typeful aggregate element.

aggregateKeyProjection :: AggregateKey a -> a

Extract typed projection from AggregateKey.

aggregateKeyElement :: AggregateKey a -> AggregateElem

Extract untyped term from AggregateKey.

unsafeAggregateKey :: (a, AggregateElem) -> AggregateKey a

Unsafely bind typed-projection and untyped-term into AggregateKey.

Types for ordering

data Order

Order direction. Ascendant or Descendant.

Constructors

Asc

Desc

Instances

Show Order

Methods

showsPrec :: Int -> Order -> ShowS

show :: Order -> String

showList :: [Order] -> ShowS

type OrderColumn = ColumnSQL

Type for order-by column

type OrderingTerm = (Order, OrderColumn)

Type for order-by term

type OrderingTerms = [OrderingTerm]

Type for order-by terms

composeOrderBy :: OrderingTerms -> StringSQL

Compose ORDER BY clause from OrderingTerms

Types for assignments

type AssignColumn = ColumnSQL

Column SQL String

type AssignTerm = ColumnSQL

Value SQL String

type Assignment = (AssignColumn, AssignTerm)

Assignment pair

type Assignments = [Assignment]

Assignment pair list.

composeSets :: Assignments -> StringSQL

Compose SET clause from Assignments.

composeValues :: Assignments -> StringSQL

Compose VALUES clause from Assignments.

Compose window clause

composeOver :: [AggregateColumnRef] -> OrderingTerms -> StringSQL

Compose OVER (PARTITION BY ... ) clause.