| Copyright | 2013-2017 Kei Hibino |
|---|---|
| License | BSD3 |
| Maintainer | ex8k.hibino@gmail.com |
| Stability | experimental |
| Portability | unknown |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Database.Relational.Monad.Type
Contents
Description
This module defines core query type.
Synopsis
- type QueryCore = Restrictings Flat (QueryJoin ConfigureQuery)
- extractCore :: QueryCore a -> ConfigureQuery (((a, [Predicate Flat]), JoinProduct), Duplication)
- type OrderedQuery c m p r = Orderings c m (PlaceHolders p, Record c r)
Core query monad
type QueryCore = Restrictings Flat (QueryJoin ConfigureQuery) Source #
Core query monad type used from flat(not-aggregated) query and aggregated query.
extractCore :: QueryCore a -> ConfigureQuery (((a, [Predicate Flat]), JoinProduct), Duplication) Source #
Extract QueryCore computation.
type OrderedQuery c m p r = Orderings c m (PlaceHolders p, Record c r) Source #
OrderedQuery monad type with placeholder type p. Record must be the same as Orderings context type parameter c.