Database.Relational.Query.Monad.Trans.Restricting

This module defines monad transformer which lift to basic MonadQuery.

Transformer into restricted context

data Restrictings c m a

Type to accumulate query restrictions. Type c is context tag of restriction building like Flat (where) or Aggregated (having).

Instances

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

Restricted MonadQualify instance.

Methods

liftQualify :: q a -> Restrictings c m a

(Monad q, Functor q) => MonadRestrict c (Restrictings c q)

MonadRestrict instance.

Methods

restrict :: Projection c (Maybe Bool) -> Restrictings c q ()

MonadTrans (Restrictings c)

Methods

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

Monad m => Monad (Restrictings c m)

Methods

(>>=) :: Restrictings c m a -> (a -> Restrictings c m b) -> Restrictings c m b

(>>) :: Restrictings c m a -> Restrictings c m b -> Restrictings c m b

return :: a -> Restrictings c m a

fail :: String -> Restrictings c m a

Functor m => Functor (Restrictings c m)

Methods

fmap :: (a -> b) -> Restrictings c m a -> Restrictings c m b

(<$) :: a -> Restrictings c m b -> Restrictings c m a

Applicative m => Applicative (Restrictings c m)

Methods

pure :: a -> Restrictings c m a

(<*>) :: Restrictings c m (a -> b) -> Restrictings c m a -> Restrictings c m b

(*>) :: Restrictings c m a -> Restrictings c m b -> Restrictings c m b

(<*) :: Restrictings c m a -> Restrictings c m b -> Restrictings c m a

MonadAggregate m => MonadAggregate (Restrictings c m)

Resticted MonadAggregate instance.

Methods

groupBy :: Projection Flat r -> Restrictings c m (Projection Aggregated r)

groupBy' :: AggregateKey (Projection Aggregated r) -> Restrictings c m (Projection Aggregated r)

MonadQuery q => MonadQuery (Restrictings c q)

Restricted MonadQuery instance.

Methods

setDuplication :: Duplication -> Restrictings c q ()

restrictJoin :: Projection Flat (Maybe Bool) -> Restrictings c q ()

query' :: Relation p r -> Restrictings c q (PlaceHolders p, Projection Flat r)

queryMaybe' :: Relation p r -> Restrictings c q (PlaceHolders p, Projection Flat (Maybe r))

restrictings :: Monad m => m a -> Restrictings c m a

Lift to Restrictings

Result

extractRestrict :: (Monad m, Functor m) => Restrictings c m a -> m (a, QueryRestriction c)

Run Restrictings to get QueryRestriction