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

MonadQualify ConfigureQuery QueryAggregate

Instance to lift from qualified table forms into QueryAggregate.

MonadQualify ConfigureQuery (Orderings Flat QueryCore)

Instance to lift from qualified table forms into QuerySimple.

Monad m => Monad (QueryJoin m)

Functor m => Functor (QueryJoin m)

(Monad m, Functor m) => Applicative (QueryJoin m)

(Monad q, Functor q) => MonadQuery (QueryJoin q)

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