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

Portability	unknown
Stability	experimental
Maintainer	[email protected]
Safe Haskell	Safe-Inferred

Database.Relational.Query.Context

Description

This module defines query context tag types.

Synopsis

Documentation

data Flat Source

Type tag for flat (not-aggregated) query

Instances

MonadQualify ConfigureQuery QueryAggregate	Instance to lift from qualified table forms into `QueryAggregate`.
MonadQualify ConfigureQuery (Orderings Flat QueryCore)	Instance to lift from qualified table forms into `QuerySimple`.
MonadRestrict Flat q => MonadRestrict Flat (Restrictings Aggregated q)	Restricted `MonadRestrict` instance.
SqlProjectable (Projection Flat)	Unsafely make `Projection` from SQL terms.

data Aggregated Source

Type tag for aggregated query

Instances

MonadQualify ConfigureQuery QueryAggregate	Instance to lift from qualified table forms into `QueryAggregate`.
MonadRestrict Flat q => MonadRestrict Flat (Restrictings Aggregated q)	Restricted `MonadRestrict` instance.
SqlProjectable (Projection Aggregated)	Unsafely make `Projection` from SQL terms.

data Exists Source

Type tag for exists predicate

data OverWindow Source

Type tag for window function building

Instances

SqlProjectable (Projection OverWindow)

Unsafely make Projection from SQL terms.

data Set Source

Type tag for normal aggregatings set

Instances

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`.

data SetList Source

Type tag for aggregatings GROUPING SETS

data Power Source

Type tag for aggregatings power set