Database.Relational.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 :: Predicate c -> 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

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

(*>) :: 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 :: Record Flat r -> Restrictings c m (Record Aggregated r)

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

MonadQuery q => MonadQuery (Restrictings c q)

Restricted MonadQuery instance.

Methods

setDuplication :: Duplication -> Restrictings c q ()

restrictJoin :: Predicate Flat -> Restrictings c q ()

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

queryMaybe' :: Relation p r -> Restrictings c q (PlaceHolders p, Record 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, [Predicate c])

Run Restrictings to get QueryRestriction