Database.Relational.Monad.Aggregate

This module contains definitions about aggregated query type.

Aggregated Query

type QueryAggregate = Orderings Aggregated (Restrictings Aggregated (AggregatingSetT QueryCore))

Aggregated query monad type.

type AggregatedQuery p r = OrderedQuery Aggregated (Restrictings Aggregated (AggregatingSetT QueryCore)) p r

Aggregated query type. AggregatedQuery p r == QueryAggregate (PlaceHolders p, Record Aggregated r).

toSQL

Arguments

:: AggregatedQuery p r

AggregatedQuery to run

-> ConfigureQuery String

Result SQL string with ConfigureQuery computation

Run AggregatedQuery to get SQL with ConfigureQuery computation.

toSubQuery

Arguments

:: AggregatedQuery p r

AggregatedQuery to run

-> ConfigureQuery SubQuery

Result SubQuery with ConfigureQuery computation

Run AggregatedQuery to get SubQuery with ConfigureQuery computation.

type Window c = Orderings c (PartitioningSet c)

Partition monad type for partition-by clause.

over :: SqlContext c => Record OverWindow a -> Window c () -> Record c a infix 8

Operator to make record of window function result using built Window monad.

Orphan instances

MonadRestrict Flat q => MonadRestrict Flat (Restrictings Aggregated q)

Restricted MonadRestrict instance.

Methods

restrict :: Predicate Flat -> Restrictings Aggregated q ()