relational-query-0.12.3.0: Typeful, Modular, Relational, algebraic query engine
Copyright2013-2019 Kei Hibino
LicenseBSD3
Maintainerex8k.hibino@gmail.com
Stabilityexperimental
Portabilityunknown
Safe HaskellNone
LanguageHaskell2010

Database.Relational.Monad.Trans.Join

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

Instances details
MonadTrans QueryJoin Source # 
Instance details

Defined in Database.Relational.Monad.Trans.Join

Methods

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

MonadQualify q m => MonadQualify q (QueryJoin m) Source # 
Instance details

Defined in Database.Relational.Monad.Trans.Join

Methods

liftQualify :: q a -> QueryJoin m a Source #

Monad m => Monad (QueryJoin m) Source # 
Instance details

Defined in Database.Relational.Monad.Trans.Join

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 #

Functor m => Functor (QueryJoin m) Source # 
Instance details

Defined in Database.Relational.Monad.Trans.Join

Methods

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

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

Monad m => Applicative (QueryJoin m) Source # 
Instance details

Defined in Database.Relational.Monad.Trans.Join

Methods

pure :: a -> QueryJoin m a #

(<*>) :: QueryJoin m (a -> b) -> QueryJoin m a -> QueryJoin m b #

liftA2 :: (a -> b -> c) -> QueryJoin m a -> QueryJoin m b -> QueryJoin m c #

(*>) :: QueryJoin m a -> QueryJoin m b -> QueryJoin m b #

(<*) :: QueryJoin m a -> QueryJoin m b -> QueryJoin m a #

MonadQuery (QueryJoin ConfigureQuery) Source #

Joinable query instance.

Instance details

Defined in Database.Relational.Monad.Trans.Join

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

Lift to QueryJoin

Result

Unsafe API

unsafeSubQueryWithAttr Source #

Arguments

:: MonadQualify ConfigureQuery 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.