| Copyright | 2013 Kei Hibino |
|---|---|
| License | BSD3 |
| Maintainer | [email protected] |
| Stability | experimental |
| Portability | unknown |
| Safe Haskell | None |
| Language | Haskell2010 |
Database.Relational.Query.Component
Contents
Description
This module provides untyped components for query.
- type ColumnSQL = ColumnSQL' StringSQL
- columnSQL :: String -> ColumnSQL
- columnSQL' :: StringSQL -> ColumnSQL
- showsColumnSQL :: ColumnSQL -> StringSQL
- data NameConfig = NameConfig {
- recordConfig :: NameConfig
- relationVarName :: String -> String -> VarName
- data SchemaNameMode
- data Config
- defaultConfig :: Config
- data ProductUnitSupport
- data Duplication
- showsDuplication :: Duplication -> StringSQL
- type AggregateColumnRef = ColumnSQL
- data AggregateBitKey
- data AggregateSet
- data AggregateElem
- aggregateColumnRef :: AggregateColumnRef -> AggregateElem
- aggregateEmpty :: [AggregateElem]
- aggregatePowerKey :: [AggregateColumnRef] -> AggregateBitKey
- aggregateGroupingSet :: [AggregateElem] -> AggregateSet
- aggregateRollup :: [AggregateBitKey] -> AggregateElem
- aggregateCube :: [AggregateBitKey] -> AggregateElem
- aggregateSets :: [AggregateSet] -> AggregateElem
- composeGroupBy :: [AggregateElem] -> StringSQL
- composePartitionBy :: [AggregateColumnRef] -> StringSQL
- data AggregateKey a
- aggregateKeyProjection :: AggregateKey a -> a
- aggregateKeyElement :: AggregateKey a -> AggregateElem
- unsafeAggregateKey :: (a, AggregateElem) -> AggregateKey a
- data Order
- type OrderColumn = ColumnSQL
- type OrderingTerm = (Order, OrderColumn)
- type OrderingTerms = [OrderingTerm]
- composeOrderBy :: OrderingTerms -> StringSQL
- type AssignColumn = ColumnSQL
- type AssignTerm = ColumnSQL
- type Assignment = (AssignColumn, AssignTerm)
- type Assignments = [Assignment]
- composeSets :: Assignments -> StringSQL
- composeValues :: Assignments -> StringSQL
- composeOver :: [AggregateColumnRef] -> OrderingTerms -> StringSQL
Type for column SQL string
columnSQL' :: StringSQL -> ColumnSQL Source
ColumnSQL from StringSQL
showsColumnSQL :: ColumnSQL -> StringSQL Source
StringSQL from ColumnSQL
Configuration type for query
data NameConfig Source
NameConfig type to customize names of expanded templates.
Constructors
| NameConfig | |
Fields
| |
Instances
data SchemaNameMode Source
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
defaultConfig :: Config Source
Default configuration.
data ProductUnitSupport Source
Unit of product is supported or not.
Constructors
| PUSupported | |
| PUNotSupported |
Instances
Duplication attribute
showsDuplication :: Duplication -> StringSQL Source
Compose duplication attribute string.
Types for aggregation
type AggregateColumnRef = ColumnSQL Source
Type for group-by term
data AggregateElem Source
Type for group-by tree
Instances
| Show AggregateElem Source | |
| MonadQualify q m => MonadQualify q (AggregatingSetT m) Source | Aggregated |
| MonadRestrict c m => MonadRestrict c (AggregatingSetT m) Source | Aggregated |
| MonadQuery m => MonadAggregate (AggregatingSetT m) Source | Aggregated query instance. |
| MonadQuery m => MonadQuery (AggregatingSetT m) Source | Aggregated |
aggregateColumnRef :: AggregateColumnRef -> AggregateElem Source
Single term aggregation element.
aggregateEmpty :: [AggregateElem] Source
Empty aggregation.
aggregatePowerKey :: [AggregateColumnRef] -> AggregateBitKey Source
Key of aggregation power set.
aggregateGroupingSet :: [AggregateElem] -> AggregateSet Source
Single grouping set.
aggregateRollup :: [AggregateBitKey] -> AggregateElem Source
Rollup aggregation element.
aggregateCube :: [AggregateBitKey] -> AggregateElem Source
Cube aggregation element.
aggregateSets :: [AggregateSet] -> AggregateElem Source
Grouping sets aggregation.
composeGroupBy :: [AggregateElem] -> StringSQL Source
Compose GROUP BY clause from AggregateElem list.
composePartitionBy :: [AggregateColumnRef] -> StringSQL Source
Compose PARTITION BY clause from AggregateColumnRef list.
data AggregateKey a Source
Typeful aggregate element.
aggregateKeyProjection :: AggregateKey a -> a Source
Extract typed projection from AggregateKey.
aggregateKeyElement :: AggregateKey a -> AggregateElem Source
Extract untyped term from AggregateKey.
unsafeAggregateKey :: (a, AggregateElem) -> AggregateKey a Source
Unsafely bind typed-projection and untyped-term into AggregateKey.
Types for ordering
Order direction. Ascendant or Descendant.
type OrderColumn = ColumnSQL Source
Type for order-by column
type OrderingTerm = (Order, OrderColumn) Source
Type for order-by term
type OrderingTerms = [OrderingTerm] Source
Type for order-by terms
composeOrderBy :: OrderingTerms -> StringSQL Source
Compose ORDER BY clause from OrderingTerms
Types for assignments
type AssignColumn = ColumnSQL Source
Column SQL String
type AssignTerm = ColumnSQL Source
Value SQL String
type Assignment = (AssignColumn, AssignTerm) Source
Assignment pair
type Assignments = [Assignment] Source
Assignment pair list.
composeSets :: Assignments -> StringSQL Source
Compose SET clause from Assignments.
composeValues :: Assignments -> StringSQL Source
Compose VALUES clause from Assignments.
Compose window clause
composeOver :: [AggregateColumnRef] -> OrderingTerms -> StringSQL Source
Compose OVER (PARTITION BY ... ) clause.