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

Portabilityunknown
Stabilityexperimental
Maintainerex8k.hibino@gmail.com
Safe HaskellSafe-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 Restrict

Instance to lift from qualified table forms into Restrict.

MonadQualify ConfigureQuery QueryAggregate

Instance to lift from qualified table forms into QueryAggregate.

MonadQualify ConfigureQuery (Assign r)

Instance to lift from qualified table forms into Restrict.

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