relational-query-0.8.3.3: Typeful, Modular, Relational, algebraic query engine

Copyright	2013 Kei Hibino
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	unknown
Safe Haskell	Safe
Language	Haskell2010

Database.Relational.Query.Context

Description

This module defines query context tag types.

Synopsis

Documentation

data Flat Source #

Type tag for flat (not-aggregated) query

Instances

SqlProjectable (Projection Flat) Source #	Unsafely make `Projection` from SQL terms.
Methods unsafeProjectSqlTerms' :: [StringSQL] -> Projection Flat t Source #

data Aggregated Source #

Type tag for aggregated query

Instances

SqlProjectable (Projection Aggregated) Source #	Unsafely make `Projection` from SQL terms.
Methods unsafeProjectSqlTerms' :: [StringSQL] -> Projection Aggregated t Source #

data Exists Source #

Type tag for exists predicate

data OverWindow Source #

Type tag for window function building

Instances

SqlProjectable (Projection OverWindow) Source #	Unsafely make `Projection` from SQL terms.
Methods unsafeProjectSqlTerms' :: [StringSQL] -> Projection OverWindow t Source #

data Set Source #

Type tag for normal aggregatings set

Instances

MonadQualify q m => MonadQualify q (AggregatingSetT m) Source #	Aggregated `MonadQualify`.
Methods liftQualify :: q a -> AggregatingSetT m a Source #
MonadRestrict c m => MonadRestrict c (AggregatingSetT m) Source #	Aggregated `MonadRestrict`.
Methods restrict :: Projection c (Maybe Bool) -> AggregatingSetT m () Source #
MonadQuery m => MonadAggregate (AggregatingSetT m) Source #	Aggregated query instance.
Methods groupBy :: Projection Flat r -> AggregatingSetT m (Projection Aggregated r) Source # groupBy' :: AggregateKey (Projection Aggregated r) -> AggregatingSetT m (Projection Aggregated r) Source #
MonadQuery m => MonadQuery (AggregatingSetT m) Source #	Aggregated `MonadQuery`.
Methods setDuplication :: Duplication -> AggregatingSetT m () Source # restrictJoin :: Projection Flat (Maybe Bool) -> AggregatingSetT m () Source # query' :: Relation p r -> AggregatingSetT m (PlaceHolders p, Projection Flat r) Source # queryMaybe' :: Relation p r -> AggregatingSetT m (PlaceHolders p, Projection Flat (Maybe r)) Source #

data SetList Source #

Type tag for aggregatings GROUPING SETS

data Power Source #

Type tag for aggregatings power set