Database.Relational.Query.Context

This module defines query context tag types.

Documentation

data Flat

Type tag for flat (not-aggregated) query

Instances

SqlProjectable (Projection Flat)

Unsafely make Projection from SQL terms.

Methods

unsafeProjectSqlTerms' :: [StringSQL] -> Projection Flat t

data Aggregated

Type tag for aggregated query

Instances

SqlProjectable (Projection Aggregated)

Unsafely make Projection from SQL terms.

Methods

unsafeProjectSqlTerms' :: [StringSQL] -> Projection Aggregated t

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.

Methods

unsafeProjectSqlTerms' :: [StringSQL] -> Projection OverWindow t

data Set

Type tag for normal aggregatings set

Instances

MonadQualify q m => MonadQualify q (AggregatingSetT m)

Aggregated MonadQualify.

Methods

liftQualify :: q a -> AggregatingSetT m a

MonadRestrict c m => MonadRestrict c (AggregatingSetT m)

Aggregated MonadRestrict.

Methods

restrict :: Projection c (Maybe Bool) -> AggregatingSetT m ()

MonadQuery m => MonadAggregate (AggregatingSetT m)

Aggregated query instance.

Methods

groupBy :: Projection Flat r -> AggregatingSetT m (Projection Aggregated r)

groupBy' :: AggregateKey (Projection Aggregated r) -> AggregatingSetT m (Projection Aggregated r)

MonadQuery m => MonadQuery (AggregatingSetT m)

Aggregated MonadQuery.

Methods

setDuplication :: Duplication -> AggregatingSetT m ()

restrictJoin :: Projection Flat (Maybe Bool) -> AggregatingSetT m ()

query' :: Relation p r -> AggregatingSetT m (PlaceHolders p, Projection Flat r)

queryMaybe' :: Relation p r -> AggregatingSetT m (PlaceHolders p, Projection Flat (Maybe r))

data SetList

Type tag for aggregatings GROUPING SETS

data Power

Type tag for aggregatings power set