Database.Relational.Monad.Trans.Config

This module defines monad transformer which requires query generate configuration.

Transformer into query with configuration

data QueryConfig m a

ReaderT type to require query generate configuration.

Instances

MonadQualify ConfigureQuery QueryUnique

Defined in Database.Relational.Monad.Unique

Methods

liftQualify :: ConfigureQuery a -> QueryUnique a

Monad m => Monad (QueryConfig m)

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)

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)

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)

Joinable query instance.

Defined in Database.Relational.Monad.Trans.Join

Methods

setDuplication :: Duplication -> QueryJoin ConfigureQuery ()

restrictJoin :: Predicate Flat -> QueryJoin ConfigureQuery ()

query' :: Relation p r -> QueryJoin ConfigureQuery (PlaceHolders p, Record Flat r)

queryMaybe' :: Relation p r -> QueryJoin ConfigureQuery (PlaceHolders p, Record Flat (Maybe r))

TableDerivable r => Show (Record Flat r -> Assign r (PlaceHolders p))

Show Set clause and WHERE clause.

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))

Show WHERE clause.

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

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

Lift to QueryConfig.

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

Run QueryConfig to expand with configuration

askQueryConfig :: Monad m => QueryConfig m Config

Read configuration.