Database.Relational.Context

This module re-export query context tag types.

Documentation

data Flat

Type tag for flat (not-aggregated) query

Instances

OperatorContext Flat

full SQL expression is availabe in Flat context

Defined in Database.Relational.Projectable.Instances

SqlContext Flat

Unsafely make Record from SQL terms.

Defined in Database.Relational.Projectable.Instances

Methods

unsafeProjectSqlTerms :: [StringSQL] -> Record Flat t

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

Restricted MonadRestrict instance.

Defined in Database.Relational.Monad.Aggregate

Methods

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

data Aggregated

Type tag for aggregated query

Instances

AggregatedContext Aggregated

Aggregated context is aggregated context

Defined in Database.Relational.Projectable.Instances

OperatorContext Aggregated

full SQL expression is availabe in Aggregated context

Defined in Database.Relational.Projectable.Instances

SqlContext Aggregated

Unsafely make Record from SQL terms.

Defined in Database.Relational.Projectable.Instances

Methods

unsafeProjectSqlTerms :: [StringSQL] -> Record Aggregated t

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

Restricted MonadRestrict instance.

Defined in Database.Relational.Monad.Aggregate

Methods

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

data Exists

Type tag for exists predicate

data OverWindow

Type tag for window function building

Instances

AggregatedContext OverWindow

OverWindow context is aggregated context

Defined in Database.Relational.Projectable.Instances

SqlContext OverWindow

Unsafely make Record from SQL terms.

Defined in Database.Relational.Projectable.Instances

Methods

unsafeProjectSqlTerms :: [StringSQL] -> Record OverWindow t

data Set

Type tag for normal aggregatings set

Instances

MonadQualify q m => MonadQualify q (AggregatingSetT m)

Aggregated MonadQualify.

Defined in Database.Relational.Monad.Trans.Aggregating

Methods

liftQualify :: q a -> AggregatingSetT m a

MonadRestrict c m => MonadRestrict c (AggregatingSetT m)

Aggregated MonadRestrict.

Defined in Database.Relational.Monad.Trans.Aggregating

Methods

restrict :: Predicate c -> AggregatingSetT m ()

MonadQuery m => MonadAggregate (AggregatingSetT m)

Aggregated query instance.

Defined in Database.Relational.Monad.Trans.Aggregating

Methods

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

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

MonadQuery m => MonadQuery (AggregatingSetT m)

Aggregated MonadQuery.

Defined in Database.Relational.Monad.Trans.Aggregating

Methods

setDuplication :: Duplication -> AggregatingSetT m ()

restrictJoin :: Predicate Flat -> AggregatingSetT m ()

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

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

data SetList

Type tag for aggregatings GROUPING SETS

data Power

Type tag for aggregatings power set