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

Database.Relational.Query.Monad.Trans.Restricting

Contents

Description

This module defines monad transformer which lift to basic MonadQuery.

Synopsis

Transformer into restricted context

data Restrictings c m a Source #

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) Source #	Restricted `MonadQualify` instance.
Methods liftQualify :: q a -> Restrictings c m a Source #
(Monad q, Functor q) => MonadRestrict c (Restrictings c q) Source #	`MonadRestrict` instance.
Methods restrict :: Projection c (Maybe Bool) -> Restrictings c q () Source #
MonadTrans (Restrictings c) Source #
Methods lift :: Monad m => m a -> Restrictings c m a #
Monad m => Monad (Restrictings c m) Source #
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) Source #
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) Source #
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) Source #	Resticted `MonadAggregate` instance.
Methods groupBy :: Projection Flat r -> Restrictings c m (Projection Aggregated r) Source # groupBy' :: AggregateKey (Projection Aggregated r) -> Restrictings c m (Projection Aggregated r) Source #
MonadQuery q => MonadQuery (Restrictings c q) Source #	Restricted `MonadQuery` instance.
Methods setDuplication :: Duplication -> Restrictings c q () Source # restrictJoin :: Projection Flat (Maybe Bool) -> Restrictings c q () Source # query' :: Relation p r -> Restrictings c q (PlaceHolders p, Projection Flat r) Source # queryMaybe' :: Relation p r -> Restrictings c q (PlaceHolders p, Projection Flat (Maybe r)) Source #

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

Lift to Restrictings

Result

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

Run Restrictings to get QueryRestriction