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

Database.Relational.Query.Monad.Trans.Ordering

Contents

Transformer into query with ordering
API of query with ordering
Result

Description

This module defines monad transformer which lift from query into query with ordering.

Synopsis

Transformer into query with ordering

data Orderings c m a Source #

Type to accumulate ordering context. Type c is ordering term projection context type.

Instances

MonadPartition c m => MonadPartition c (Orderings c m) Source #	`MonadPartition` with ordering.
Methods partitionBy :: Projection c r -> Orderings c m () Source #
MonadQualify q m => MonadQualify q (Orderings c m) Source #	`MonadQualify` with ordering.
Methods liftQualify :: q a -> Orderings c m a Source #
MonadRestrict rc m => MonadRestrict rc (Orderings c m) Source #	`MonadRestrict` with ordering.
Methods restrict :: Projection rc (Maybe Bool) -> Orderings c m () Source #
MonadTrans (Orderings c) Source #
Methods lift :: Monad m => m a -> Orderings c m a #
Monad m => Monad (Orderings c m) Source #
Methods (>>=) :: Orderings c m a -> (a -> Orderings c m b) -> Orderings c m b # (>>) :: Orderings c m a -> Orderings c m b -> Orderings c m b # return :: a -> Orderings c m a # fail :: String -> Orderings c m a #
Functor m => Functor (Orderings c m) Source #
Methods fmap :: (a -> b) -> Orderings c m a -> Orderings c m b # (<$) :: a -> Orderings c m b -> Orderings c m a #
Applicative m => Applicative (Orderings c m) Source #
Methods pure :: a -> Orderings c m a # (<>) :: Orderings c m (a -> b) -> Orderings c m a -> Orderings c m b # (>) :: Orderings c m a -> Orderings c m b -> Orderings c m b # (<*) :: Orderings c m a -> Orderings c m b -> Orderings c m a #
MonadAggregate m => MonadAggregate (Orderings c m) Source #	`MonadAggregate` with ordering.
Methods groupBy :: Projection Flat r -> Orderings c m (Projection Aggregated r) Source # groupBy' :: AggregateKey (Projection Aggregated r) -> Orderings c m (Projection Aggregated r) Source #
MonadQuery m => MonadQuery (Orderings c m) Source #	`MonadQuery` with ordering.
Methods setDuplication :: Duplication -> Orderings c m () Source # restrictJoin :: Projection Flat (Maybe Bool) -> Orderings c m () Source # query' :: Relation p r -> Orderings c m (PlaceHolders p, Projection Flat r) Source # queryMaybe' :: Relation p r -> Orderings c m (PlaceHolders p, Projection Flat (Maybe r)) Source #

orderings :: Monad m => m a -> Orderings c m a Source #

Lift to Orderings.

type OrderingTerms = [OrderingTerm] Source #

Type for order-by terms

API of query with ordering

orderBy Source #

Arguments

:: (Monad m, ProjectableOrdering (Projection c))
=> Projection c t	Ordering terms to add
-> Order	Order direction
-> Orderings c m ()	Result context with ordering

Add ordering terms.

asc Source #

Arguments

:: (Monad m, ProjectableOrdering (Projection c))
=> Projection c t	Ordering terms to add
-> Orderings c m ()	Result context with ordering

Add ascendant ordering term.

desc Source #

Arguments

:: (Monad m, ProjectableOrdering (Projection c))
=> Projection c t	Ordering terms to add
-> Orderings c m ()	Result context with ordering

Add descendant ordering term.

Result

extractOrderingTerms :: (Monad m, Functor m) => Orderings c m a -> m (a, OrderingTerms) Source #

Run Orderings to get OrderingTerms