relational-query-0.1.0.0: Typeful, Modular, Relational, algebraic query engine

Portability	unknown
Stability	experimental
Maintainer	[email protected]
Safe Haskell	None

Database.Relational.Query.Component

Contents

Type for column SQL string
Configuration type for query
Duplication attribute
Query restriction
Types for aggregation
Types for ordering
Types for assignments
Compose window clause

Description

This module provides untyped components for query.

Synopsis

Type for column SQL string

type ColumnSQL = ColumnSQL' StringSQLSource

Column SQL string type

columnSQL :: String -> ColumnSQL Source

ColumnSQL from string

columnSQL' :: StringSQL -> ColumnSQL Source

ColumnSQL from StringSQL

showsColumnSQL :: ColumnSQL -> StringSQLSource

StringSQL from ColumnSQL

Configuration type for query

data Config Source

Configuration type.

Instances

defaultConfig :: Config Source

Default configuration.

data ProductUnitSupport Source

Unit of product is supported or not.

Constructors

PUSupported
PUNotSupported

Instances

Show ProductUnitSupport

data Duplication Source

Result record duplication attribute

Constructors

All
Distinct

Instances

Show Duplication

Duplication attribute

showsDuplication :: Duplication -> StringSQLSource

Compose duplication attribute string.

Query restriction

type QueryRestriction c = [Expr c Bool]Source

Type for restriction of query.

composeWhere :: QueryRestriction Flat -> StringSQLSource

Compose WHERE clause from QueryRestriction.

composeHaving :: QueryRestriction Aggregated -> StringSQLSource

Compose HAVING clause from QueryRestriction.

Types for aggregation

type AggregateColumnRef = ColumnSQL Source

Type for group-by term

data AggregateBitKey Source

Type for group key.

Instances

Show AggregateBitKey

data AggregateSet Source

Type for grouping set

Instances

Show AggregateSet

data AggregateElem Source

Type for group-by tree

Instances

Show AggregateElem
MonadQualify ConfigureQuery QueryAggregate	Instance to lift from qualified table forms into `QueryAggregate`.
MonadRestrict c m => MonadRestrict c (AggregatingSetT m)	Aggregated `MonadRestrict`.
MonadQuery m => MonadAggregate (AggregatingSetT m)	Aggregated query instance.
MonadQuery m => MonadQuery (AggregatingSetT m)	Aggregated `MonadQuery`.

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] -> StringSQLSource

Compose GROUP BY clause from AggregateElem list.

composePartitionBy :: [AggregateColumnRef] -> StringSQLSource

Compose PARTITION BY clause from AggregateColumnRef list.

Types for ordering

data Order Source

Order direction. Ascendant or Descendant.

Constructors

Asc
Desc

Instances

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 -> StringSQLSource

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 -> StringSQLSource

Compose SET clause from Assignments.

Compose window clause

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

Compose OVER (PARTITION BY ... ) clause.