Database.Relational.Monad.Trans.Ordering

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

Transformer into query with ordering

data Orderings c m a

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

Instances

MonadPartition c m => MonadPartition c (Orderings c m)

MonadPartition with ordering.

Defined in Database.Relational.Monad.Trans.Ordering

Methods

partitionBy :: Record c r -> Orderings c m ()

MonadQualify q m => MonadQualify q (Orderings c m)

MonadQualify with ordering.

Defined in Database.Relational.Monad.Trans.Ordering

Methods

liftQualify :: q a -> Orderings c m a

MonadRestrict rc m => MonadRestrict rc (Orderings c m)

MonadRestrict with ordering.

Defined in Database.Relational.Monad.Trans.Ordering

Methods

restrict :: Predicate rc -> Orderings c m ()

MonadTrans (Orderings c)

Defined in Database.Relational.Monad.Trans.Ordering

Methods

lift :: Monad m => m a -> Orderings c m a

Monad m => Monad (Orderings c m)

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

fail :: String -> Orderings c m a

Functor m => Functor (Orderings c m)

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

Applicative m => Applicative (Orderings c m)

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

MonadAggregate m => MonadAggregate (Orderings c m)

MonadAggregate with ordering.

Defined in Database.Relational.Monad.Trans.Ordering

Methods

groupBy :: Record Flat r -> Orderings c m (Record Aggregated r)

groupBy' :: AggregateKey (Record Aggregated r) -> Orderings c m (Record Aggregated r)

MonadQuery m => MonadQuery (Orderings c m)

MonadQuery with ordering.

Defined in Database.Relational.Monad.Trans.Ordering

Methods

setDuplication :: Duplication -> Orderings c m ()

restrictJoin :: Predicate Flat -> Orderings c m ()

query' :: Relation p r -> Orderings c m (PlaceHolders p, Record Flat r)

queryMaybe' :: Relation p r -> Orderings c m (PlaceHolders p, Record Flat (Maybe r))

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

Lift to Orderings.

API of query with ordering

orderBy'

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

Arguments

:: Monad m

=> Record c t

Ordering terms to add

-> Order

Order direction

-> Orderings c m ()

Result context with ordering

Add ordering terms.

asc

Arguments

:: Monad m

=> Record c t

Ordering terms to add

-> Orderings c m ()

Result context with ordering

Add ascendant ordering term.

desc

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])

Run Orderings to get OrderingTerms