Copyright	2013-2019 Kei Hibino
License	BSD3
Maintainer	[email protected]
Stability	experimental
Portability	unknown
Safe Haskell	Safe-Inferred
Language	Haskell2010

Database.Relational.Monad.Trans.Join

Contents

Description

This module defines monad transformer which lift to basic MonadQuery.

Synopsis

data QueryJoin m a
join' :: Monad m => m a -> QueryJoin m a
extractProduct :: Functor m => QueryJoin m a -> m ((a, JoinProduct), Duplication)
unsafeSubQueryWithAttr :: MonadQualify ConfigureQuery q => NodeAttr -> Qualified SubQuery -> QueryJoin q (Record c r)

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 => 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 #
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 => 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 #
MonadQuery (QueryJoin ConfigureQuery) Source #	Joinable query instance.
Instance details Defined in Database.Relational.Monad.Trans.Join Methods setDuplication :: Duplication -> QueryJoin ConfigureQuery () Source # restrictJoin :: Predicate Flat -> QueryJoin ConfigureQuery () Source # query' :: Relation p r -> QueryJoin ConfigureQuery (PlaceHolders p, Record Flat r) Source # queryMaybe' :: Relation p r -> QueryJoin ConfigureQuery (PlaceHolders p, Record Flat (Maybe r)) Source #

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

Lift to QueryJoin

Result

extractProduct :: Functor m => QueryJoin m a -> m ((a, JoinProduct), Duplication) Source #

Run QueryJoin to get JoinProduct

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.