relational-query-0.12.2.1: Typeful, Modular, Relational, algebraic query engine

Copyright2013-2017 Kei Hibino
LicenseBSD3
Maintainerex8k.hibino@gmail.com
Stabilityexperimental
Portabilityunknown
Safe HaskellNone
LanguageHaskell2010

Database.Relational.Monad.Trans.Config

Contents

Description

This module defines monad transformer which requires query generate configuration.

Synopsis

Transformer into query with configuration

data QueryConfig m a Source #

ReaderT type to require query generate configuration.

Instances
MonadQualify ConfigureQuery QueryUnique Source # 
Instance details

Defined in Database.Relational.Monad.Unique

Monad m => Monad (QueryConfig m) Source # 
Instance details

Defined in Database.Relational.Monad.Trans.Config

Methods

(>>=) :: QueryConfig m a -> (a -> QueryConfig m b) -> QueryConfig m b #

(>>) :: QueryConfig m a -> QueryConfig m b -> QueryConfig m b #

return :: a -> QueryConfig m a #

fail :: String -> QueryConfig m a #

Functor m => Functor (QueryConfig m) Source # 
Instance details

Defined in Database.Relational.Monad.Trans.Config

Methods

fmap :: (a -> b) -> QueryConfig m a -> QueryConfig m b #

(<$) :: a -> QueryConfig m b -> QueryConfig m a #

Applicative m => Applicative (QueryConfig m) Source # 
Instance details

Defined in Database.Relational.Monad.Trans.Config

Methods

pure :: a -> QueryConfig m a #

(<*>) :: QueryConfig m (a -> b) -> QueryConfig m a -> QueryConfig m b #

liftA2 :: (a -> b -> c) -> QueryConfig m a -> QueryConfig m b -> QueryConfig m c #

(*>) :: QueryConfig m a -> QueryConfig m b -> QueryConfig m b #

(<*) :: QueryConfig m a -> QueryConfig m b -> QueryConfig m a #

MonadQuery (QueryJoin ConfigureQuery) Source #

Joinable query instance.

Instance details

Defined in Database.Relational.Monad.Trans.Join

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

queryConfig :: Monad m => m a -> QueryConfig m a Source #

Lift to QueryConfig.

runQueryConfig :: QueryConfig m a -> Config -> m a Source #

Run QueryConfig to expand with configuration

askQueryConfig :: Monad m => QueryConfig m Config Source #

Read configuration.