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

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

Database.Relational.Context

Description

This module re-export query context tag types.

Synopsis

Documentation

data Flat Source #

Type tag for flat (not-aggregated) query

data Aggregated Source #

Type tag for aggregated query

data Exists Source #

Type tag for exists predicate

data OverWindow Source #

Type tag for window function building

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 :: Predicate c -> AggregatingSetT m () Source #
MonadQuery m => MonadAggregate (AggregatingSetT m) Source #	Aggregated query instance.
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`.
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 #

data SetList Source #

Type tag for aggregatings GROUPING SETS

data Power Source #

Type tag for aggregatings power set