relational-query-0.0.1.6: Typeful, Modular, Relational, algebraic query engine

Portabilityunknown
Stabilityexperimental
Maintainerex8k.hibino@gmail.com
Safe HaskellNone

Database.Relational.Query.Monad.Trans.Join

Contents

Description

This module defines monad transformer which lift to basic MonadQuery.

Synopsis

Transformer into join query

data QueryJoin m a Source

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 aSource

Lift to QueryJoin

Result