Database.Relational.Query.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

MonadQualify q m => MonadQualify q (QueryJoin m)

Monad m => Monad (QueryJoin m)

Functor m => Functor (QueryJoin m)

Monad m => Applicative (QueryJoin m)

MonadQuery (QueryJoin ConfigureQuery)

Joinable query instance.

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 (Projection c r)

Result joined context and SubQuery result projection.

Unsafely join sub-query with this query.