Copyright	2014-2017 Kei Hibino
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	unknown
Safe Haskell	Safe-Inferred
Language	Haskell2010

Database.Relational.Monad.Trans.Restricting

Contents

Transformer into restricted context
Result

Description

This module defines monad transformer which lift to basic MonadQuery.

Synopsis

data Restrictings c m a
restrictings :: Monad m => m a -> Restrictings c m a
extractRestrict :: (Monad m, Functor m) => Restrictings c m a -> m (a, [Predicate c])

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

Instances details

MonadQualify q m => MonadQualify q (Restrictings c m) Source #	Restricted `MonadQualify` instance.
Instance details Defined in Database.Relational.Monad.Trans.Restricting Methods liftQualify :: q a -> Restrictings c m a Source #
MonadRestrict Flat q => MonadRestrict Flat (Restrictings Aggregated q) Source #	Restricted `MonadRestrict` instance.
Instance details Defined in Database.Relational.Monad.Aggregate Methods restrict :: Predicate Flat -> Restrictings Aggregated q () Source #
(Monad q, Functor q) => MonadRestrict c (Restrictings c q) Source #	`MonadRestrict` instance.
Instance details Defined in Database.Relational.Monad.Trans.Restricting Methods restrict :: Predicate c -> Restrictings c q () Source #
MonadTrans (Restrictings c) Source #
Instance details Defined in Database.Relational.Monad.Trans.Restricting Methods lift :: Monad m => m a -> Restrictings c m a #
Applicative m => Applicative (Restrictings c m) Source #
Instance details Defined in Database.Relational.Monad.Trans.Restricting Methods pure :: a -> Restrictings c m a # (<>) :: Restrictings c m (a -> b) -> Restrictings c m a -> Restrictings c m b # liftA2 :: (a -> b -> c0) -> Restrictings c m a -> Restrictings c m b -> Restrictings c m c0 # (>) :: Restrictings c m a -> Restrictings c m b -> Restrictings c m b # (<*) :: Restrictings c m a -> Restrictings c m b -> Restrictings c m a #
Functor m => Functor (Restrictings c m) Source #
Instance details Defined in Database.Relational.Monad.Trans.Restricting Methods fmap :: (a -> b) -> Restrictings c m a -> Restrictings c m b # (<$) :: a -> Restrictings c m b -> Restrictings c m a #
Monad m => Monad (Restrictings c m) Source #
Instance details Defined in Database.Relational.Monad.Trans.Restricting 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 #
TableDerivable r => Show (Record Flat r -> Assign r (PlaceHolders p)) Source #	Show Set clause and WHERE clause.
Instance details Defined in Database.Relational.Effect Methods showsPrec :: Int -> (Record Flat r -> Assign r (PlaceHolders p)) -> ShowS # show :: (Record Flat r -> Assign r (PlaceHolders p)) -> String # showList :: [Record Flat r -> Assign r (PlaceHolders p)] -> ShowS #
TableDerivable r => Show (Record Flat r -> Restrict (PlaceHolders p)) Source #	Show WHERE clause.
Instance details Defined in Database.Relational.Effect Methods showsPrec :: Int -> (Record Flat r -> Restrict (PlaceHolders p)) -> ShowS # show :: (Record Flat r -> Restrict (PlaceHolders p)) -> String # showList :: [Record Flat r -> Restrict (PlaceHolders p)] -> ShowS #
MonadAggregate m => MonadAggregate (Restrictings c m) Source #	Restricted `MonadAggregate` instance.
Instance details Defined in Database.Relational.Monad.Trans.Restricting Methods groupBy :: Record Flat r -> Restrictings c m (Record Aggregated r) Source # groupBy' :: AggregateKey (Record Aggregated r) -> Restrictings c m (Record Aggregated r) Source #
MonadQuery q => MonadQuery (Restrictings c q) Source #	Restricted `MonadQuery` instance.
Instance details Defined in Database.Relational.Monad.Trans.Restricting Methods setDuplication :: Duplication -> Restrictings c q () Source # restrictJoin :: Predicate Flat -> Restrictings c q () Source # query' :: Relation p r -> Restrictings c q (PlaceHolders p, Record Flat r) Source # queryMaybe' :: Relation p r -> Restrictings c q (PlaceHolders p, Record 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, [Predicate c]) Source #

Run Restrictings to get QueryRestriction