Database.Relational.Query.Monad.Trans.Join

Contents

Description

This module defines monad transformer which lift to basic MonadQuery.

Synopsis

Transformer into join query

StateT type to accumulate join product context.

Instances

MonadTrans QueryJoin Source #
Methods lift :: Monad m => m a -> QueryJoin m a #
MonadQualify q m => MonadQualify q (QueryJoin m) Source #
Methods liftQualify :: q a -> QueryJoin m a Source #
Monad m => Monad (QueryJoin m) Source #
Methods (>>=) :: QueryJoin m a -> (a -> QueryJoin m b) -> QueryJoin m b # (>>) :: QueryJoin m a -> QueryJoin m b -> QueryJoin m b # return :: a -> QueryJoin m a # fail :: String -> QueryJoin m a #
Functor m => Functor (QueryJoin m) Source #
Methods fmap :: (a -> b) -> QueryJoin m a -> QueryJoin m b # (<$) :: a -> QueryJoin m b -> QueryJoin m a #
Monad m => Applicative (QueryJoin m) Source #
Methods pure :: a -> QueryJoin m a # (<>) :: QueryJoin m (a -> b) -> QueryJoin m a -> QueryJoin m b # (>) :: QueryJoin m a -> QueryJoin m b -> QueryJoin m b # (<*) :: QueryJoin m a -> QueryJoin m b -> QueryJoin m a #
MonadQuery (QueryJoin ConfigureQuery) Source #	Joinable query instance.
Methods setDuplication :: Duplication -> QueryJoin ConfigureQuery () Source # restrictJoin :: Projection Flat (Maybe Bool) -> QueryJoin ConfigureQuery () Source # query' :: Relation p r -> QueryJoin ConfigureQuery (PlaceHolders p, Projection Flat r) Source # queryMaybe' :: Relation p r -> QueryJoin ConfigureQuery (PlaceHolders p, Projection Flat (Maybe r)) Source #

Lift to QueryJoin

Result

Arguments

:: Monad q
=> NodeAttr	Attribute maybe or just
-> Qualified SubQuery	`SubQuery` to join
-> QueryJoin q (Projection c r)	Result joined context and `SubQuery` result projection.

Unsafely join sub-query with this query.