Database.Relational.Query.Context

This module defines query context tag types.

Documentation

data Flat

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

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

Type tag for exists predicate

data OverWindow

Type tag for window function building

Instances

SqlProjectable (Projection OverWindow)

Unsafely make Projection from SQL terms.

data Set

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

Type tag for aggregatings GROUPING SETS

data Power

Type tag for aggregatings power set