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

Copyright2013 Kei Hibino
LicenseBSD3
Maintainerex8k.hibino@gmail.com
Stabilityexperimental
Portabilityunknown
Safe HaskellNone
LanguageHaskell2010

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 a Source

Lift to QueryJoin

Result