Database.Relational.Monad.Trans.Join

This module defines monad transformer which lift to basic MonadQuery.

Transformer into join query

data QueryJoin m a

StateT type to accumulate join product context.

Instances

MonadTrans QueryJoin

Methods

lift :: Monad m => m a -> QueryJoin m a

MonadQualify q m => MonadQualify q (QueryJoin m)

Methods

liftQualify :: q a -> QueryJoin m a

Monad m => Monad (QueryJoin m)

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)

Methods

fmap :: (a -> b) -> QueryJoin m a -> QueryJoin m b

(<$) :: a -> QueryJoin m b -> QueryJoin m a

Monad m => Applicative (QueryJoin m)

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)

Joinable query instance.

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

join' :: Monad m => m a -> QueryJoin m a

Lift to QueryJoin

Result

extractProduct :: Functor m => QueryJoin m a -> m ((a, JoinProduct), Duplication)

Run QueryJoin to get JoinProduct

Unsafe API

unsafeSubQueryWithAttr

Arguments

:: Monad q

=> NodeAttr

Attribute maybe or just

-> Qualified SubQuery

SubQuery to join

-> QueryJoin q (Record c r)

Result joined context and record of SubQuery result.

Unsafely join sub-query with this query.