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 ConfigureQuery Restrict

Instance to lift from qualified table forms into Restrict.

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

Restricted MonadQualify instance.

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

MonadRestrict instance.

MonadRestrict Flat q => MonadRestrict Flat (Restrictings Aggregated q)

Restricted MonadRestrict instance.

MonadTrans (Restrictings c)

Monad m => Monad (Restrictings c m)

Functor m => Functor (Restrictings c m)

Applicative m => Applicative (Restrictings c m)

MonadAggregate m => MonadAggregate (Restrictings c m)

Resticted MonadAggregate instance.

MonadQuery q => MonadQuery (Restrictings c q)

Restricted MonadQuery instance.

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