module Database.Relational.Monad.Type
(
QueryCore, extractCore,
OrderedQuery,
) where
import Database.Relational.Internal.ContextType (Flat)
import Database.Relational.SqlSyntax
(Duplication, Record, JoinProduct, Predicate, )
import Database.Relational.Projectable (PlaceHolders)
import Database.Relational.Monad.BaseType (ConfigureQuery)
import Database.Relational.Monad.Trans.Join (QueryJoin, extractProduct)
import Database.Relational.Monad.Trans.Restricting (Restrictings, extractRestrict)
import Database.Relational.Monad.Trans.Ordering (Orderings)
type QueryCore = Restrictings Flat (QueryJoin ConfigureQuery)
extractCore :: QueryCore a
-> ConfigureQuery (((a, [Predicate Flat]), JoinProduct), Duplication)
= QueryJoin (Qualify (QueryConfig Identity)) (a, [Predicate Flat])
-> ConfigureQuery
(((a, [Predicate Flat]), JoinProduct), Duplication)
forall (m :: * -> *) a.
Functor m =>
QueryJoin m a -> m ((a, JoinProduct), Duplication)
extractProduct (QueryJoin (Qualify (QueryConfig Identity)) (a, [Predicate Flat])
-> ConfigureQuery
(((a, [Predicate Flat]), JoinProduct), Duplication))
-> (QueryCore a
-> QueryJoin
(Qualify (QueryConfig Identity)) (a, [Predicate Flat]))
-> QueryCore a
-> ConfigureQuery
(((a, [Predicate Flat]), JoinProduct), Duplication)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. QueryCore a
-> QueryJoin (Qualify (QueryConfig Identity)) (a, [Predicate Flat])
forall (m :: * -> *) c a.
(Monad m, Functor m) =>
Restrictings c m a -> m (a, [Predicate c])
extractRestrict
type OrderedQuery c m p r = Orderings c m (PlaceHolders p, Record c r)