Database.Relational.Context

Description

This module re-export query context tag types.

Synopsis

Documentation

Type tag for flat (not-aggregated) query

Instances

OperatorContext Flat Source #	full SQL expression is availabe in Flat context
Instance details Defined in Database.Relational.Projectable.Instances
SqlContext Flat Source #	Unsafely make `Record` from SQL terms.
Instance details Defined in Database.Relational.Projectable.Instances Methods unsafeProjectSqlTerms :: [StringSQL] -> Record Flat t Source #
MonadRestrict Flat q => MonadRestrict Flat (Restrictings Aggregated q) Source #	Restricted `MonadRestrict` instance.
Instance details Defined in Database.Relational.Monad.Aggregate Methods restrict :: Predicate Flat -> Restrictings Aggregated q () Source #
TableDerivable r => Show (Record Flat r -> Assign r (PlaceHolders p)) Source #	Show Set clause and WHERE clause.
Instance details Defined in Database.Relational.Effect Methods showsPrec :: Int -> (Record Flat r -> Assign r (PlaceHolders p)) -> ShowS # show :: (Record Flat r -> Assign r (PlaceHolders p)) -> String # showList :: [Record Flat r -> Assign r (PlaceHolders p)] -> ShowS #
TableDerivable r => Show (Record Flat r -> Restrict (PlaceHolders p)) Source #	Show WHERE clause.
Instance details Defined in Database.Relational.Effect Methods showsPrec :: Int -> (Record Flat r -> Restrict (PlaceHolders p)) -> ShowS # show :: (Record Flat r -> Restrict (PlaceHolders p)) -> String # showList :: [Record Flat r -> Restrict (PlaceHolders p)] -> ShowS #

Type tag for aggregated query

Instances

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

Type tag for exists predicate

Type tag for window function building

Instances

AggregatedContext OverWindow Source #	`OverWindow` context is aggregated context
Instance details Defined in Database.Relational.Projectable.Instances
SqlContext OverWindow Source #	Unsafely make `Record` from SQL terms.
Instance details Defined in Database.Relational.Projectable.Instances Methods unsafeProjectSqlTerms :: [StringSQL] -> Record OverWindow t Source #

Type tag for normal aggregatings set

Instances

MonadQualify q m => MonadQualify q (AggregatingSetT m) Source #	Aggregated `MonadQualify`.
Instance details Defined in Database.Relational.Monad.Trans.Aggregating Methods liftQualify :: q a -> AggregatingSetT m a Source #
MonadRestrict c m => MonadRestrict c (AggregatingSetT m) Source #	Aggregated `MonadRestrict`.
Instance details Defined in Database.Relational.Monad.Trans.Aggregating Methods restrict :: Predicate c -> AggregatingSetT m () Source #
MonadQuery m => MonadAggregate (AggregatingSetT m) Source #	Aggregated query instance.
Instance details Defined in Database.Relational.Monad.Trans.Aggregating Methods groupBy :: Record Flat r -> AggregatingSetT m (Record Aggregated r) Source # groupBy' :: AggregateKey (Record Aggregated r) -> AggregatingSetT m (Record Aggregated r) Source #
MonadQuery m => MonadQuery (AggregatingSetT m) Source #	Aggregated `MonadQuery`.
Instance details Defined in Database.Relational.Monad.Trans.Aggregating Methods setDuplication :: Duplication -> AggregatingSetT m () Source # restrictJoin :: Predicate Flat -> AggregatingSetT m () Source # query' :: Relation p r -> AggregatingSetT m (PlaceHolders p, Record Flat r) Source # queryMaybe' :: Relation p r -> AggregatingSetT m (PlaceHolders p, Record Flat (Maybe r)) Source #

Type tag for aggregatings GROUPING SETS

Type tag for aggregatings power set