Database.Relational.Context

Description

This module re-export query context tag types.

Synopsis

Documentation

data Flat #

Type tag for flat (not-aggregated) query

Instances

OperatorContext Flat #	full SQL expression is availabe in Flat context
Instance details Defined in Database.Relational.Projectable.Instances
SqlContext Flat #	Unsafely make `Record` from SQL terms.
Instance details Defined in Database.Relational.Projectable.Instances Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Flat t #
MonadRestrict Flat q => MonadRestrict Flat (Restrictings Aggregated q) #	Restricted `MonadRestrict` instance.
Instance details Defined in Database.Relational.Monad.Aggregate Methods restrict :: Predicate Flat -> Restrictings Aggregated q () #

Type tag for aggregated query

Instances

AggregatedContext Aggregated #	`Aggregated` context is aggregated context
Instance details Defined in Database.Relational.Projectable.Instances
OperatorContext Aggregated #	full SQL expression is availabe in Aggregated context
Instance details Defined in Database.Relational.Projectable.Instances
SqlContext Aggregated #	Unsafely make `Record` from SQL terms.
Instance details Defined in Database.Relational.Projectable.Instances Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Aggregated t #
MonadRestrict Flat q => MonadRestrict Flat (Restrictings Aggregated q) #	Restricted `MonadRestrict` instance.
Instance details Defined in Database.Relational.Monad.Aggregate Methods restrict :: Predicate Flat -> Restrictings Aggregated q () #

Type tag for exists predicate

Type tag for window function building

Instances

AggregatedContext OverWindow #	`OverWindow` context is aggregated context
Instance details Defined in Database.Relational.Projectable.Instances
SqlContext OverWindow #	Unsafely make `Record` from SQL terms.
Instance details 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`.
Instance details Defined in Database.Relational.Monad.Trans.Aggregating Methods liftQualify :: q a -> AggregatingSetT m a #
MonadRestrict c m => MonadRestrict c (AggregatingSetT m) #	Aggregated `MonadRestrict`.
Instance details Defined in Database.Relational.Monad.Trans.Aggregating Methods restrict :: Predicate c -> AggregatingSetT m () #
MonadQuery m => MonadAggregate (AggregatingSetT m) #	Aggregated query instance.
Instance details 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`.
Instance details 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)) #

Type tag for aggregatings GROUPING SETS

Type tag for aggregatings power set