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

Database.Relational.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

data Orderings c m a
orderings :: Monad m => m a -> Orderings c m a
orderBy' :: Monad m => Record c t -> Order -> Nulls -> Orderings c m ()
orderBy :: Monad m => Record c t -> Order -> Orderings c m ()
asc :: Monad m => Record c t -> Orderings c m ()
desc :: Monad m => Record c t -> Orderings c m ()
extractOrderingTerms :: (Monad m, Functor m) => Orderings c m a -> m (a, [OrderingTerm])

Transformer into query with ordering

data Orderings c m a Source #

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

Instances

Instances details

MonadPartition c m => MonadPartition c (Orderings c m) Source #	`MonadPartition` with ordering.
Instance details Defined in Database.Relational.Monad.Trans.Ordering Methods partitionBy :: Record c r -> Orderings c m () Source #
MonadQualify q m => MonadQualify q (Orderings c m) Source #	`MonadQualify` with ordering.
Instance details Defined in Database.Relational.Monad.Trans.Ordering Methods liftQualify :: q a -> Orderings c m a Source #
MonadRestrict rc m => MonadRestrict rc (Orderings c m) Source #	`MonadRestrict` with ordering.
Instance details Defined in Database.Relational.Monad.Trans.Ordering Methods restrict :: Predicate rc -> Orderings c m () Source #
MonadTrans (Orderings c) Source #
Instance details Defined in Database.Relational.Monad.Trans.Ordering Methods lift :: Monad m => m a -> Orderings c m a #
Applicative m => Applicative (Orderings c m) Source #
Instance details Defined in Database.Relational.Monad.Trans.Ordering Methods pure :: a -> Orderings c m a # (<>) :: Orderings c m (a -> b) -> Orderings c m a -> Orderings c m b # liftA2 :: (a -> b -> c0) -> Orderings c m a -> Orderings c m b -> Orderings c m c0 # (>) :: Orderings c m a -> Orderings c m b -> Orderings c m b # (<*) :: Orderings c m a -> Orderings c m b -> Orderings c m a #
Functor m => Functor (Orderings c m) Source #
Instance details Defined in Database.Relational.Monad.Trans.Ordering Methods fmap :: (a -> b) -> Orderings c m a -> Orderings c m b # (<$) :: a -> Orderings c m b -> Orderings c m a #
Monad m => Monad (Orderings c m) Source #
Instance details Defined in Database.Relational.Monad.Trans.Ordering 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 #
MonadAggregate m => MonadAggregate (Orderings c m) Source #	`MonadAggregate` with ordering.
Instance details Defined in Database.Relational.Monad.Trans.Ordering Methods groupBy :: Record Flat r -> Orderings c m (Record Aggregated r) Source # groupBy' :: AggregateKey (Record Aggregated r) -> Orderings c m (Record Aggregated r) Source #
MonadQuery m => MonadQuery (Orderings c m) Source #	`MonadQuery` with ordering.
Instance details Defined in Database.Relational.Monad.Trans.Ordering Methods setDuplication :: Duplication -> Orderings c m () Source # restrictJoin :: Predicate Flat -> Orderings c m () Source # query' :: Relation p r -> Orderings c m (PlaceHolders p, Record Flat r) Source # queryMaybe' :: Relation p r -> Orderings c m (PlaceHolders p, Record Flat (Maybe r)) Source #

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

Lift to Orderings.

API of query with ordering

orderBy' Source #

Arguments

:: Monad m
=> Record c t	Ordering terms to add
-> Order	Order direction
-> Nulls	Order of null
-> Orderings c m ()	Result context with ordering

Add ordering terms with null ordering.

orderBy Source #

Arguments

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

Add ordering terms.

asc Source #

Arguments

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

Add ascendant ordering term.

desc Source #

Arguments

:: Monad m
=> Record 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, [OrderingTerm]) Source #

Run Orderings to get OrderingTerms