Database.Relational.Monad.Unique

Description

This module contains definitions about unique query type to support scalar queries.

Synopsis

Documentation

Unique query monad type.

Instances details

Applicative QueryUnique Source #
Instance details Defined in Database.Relational.Monad.Unique Methods pure :: a -> QueryUnique a # (<>) :: QueryUnique (a -> b) -> QueryUnique a -> QueryUnique b # liftA2 :: (a -> b -> c) -> QueryUnique a -> QueryUnique b -> QueryUnique c # (>) :: QueryUnique a -> QueryUnique b -> QueryUnique b # (<*) :: QueryUnique a -> QueryUnique b -> QueryUnique a #
Functor QueryUnique Source #
Instance details Defined in Database.Relational.Monad.Unique Methods fmap :: (a -> b) -> QueryUnique a -> QueryUnique b # (<$) :: a -> QueryUnique b -> QueryUnique a #
Monad QueryUnique Source #
Instance details Defined in Database.Relational.Monad.Unique Methods (>>=) :: QueryUnique a -> (a -> QueryUnique b) -> QueryUnique b # (>>) :: QueryUnique a -> QueryUnique b -> QueryUnique b # return :: a -> QueryUnique a #
MonadQuery QueryUnique Source #
Instance details Defined in Database.Relational.Monad.Unique Methods setDuplication :: Duplication -> QueryUnique () Source # restrictJoin :: Predicate Flat -> QueryUnique () Source # query' :: Relation p r -> QueryUnique (PlaceHolders p, Record Flat r) Source # queryMaybe' :: Relation p r -> QueryUnique (PlaceHolders p, Record Flat (Maybe r)) Source #
MonadQualify ConfigureQuery QueryUnique Source #
Instance details Defined in Database.Relational.Monad.Unique Methods liftQualify :: ConfigureQuery a -> QueryUnique a Source #

Arguments

:: NodeAttr	Attribute maybe or just
-> Qualified SubQuery	`SubQuery` to join
-> QueryUnique (Record c r)	Result joined context and record of `SubQuery` result.

Unsafely join sub-query with this unique query.

Arguments

:: QueryUnique (PlaceHolders p, Record c r)	`QueryUnique` to run
-> ConfigureQuery SubQuery	Result `SubQuery` with `Qualify` computation

Run SimpleQuery to get SubQuery with Qualify computation.