Database.Relational.Monad.Unique

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

Documentation

data QueryUnique a

Unique query monad type.

Instances

Monad QueryUnique

Defined in Database.Relational.Monad.Unique

Methods

(>>=) :: QueryUnique a -> (a -> QueryUnique b) -> QueryUnique b

(>>) :: QueryUnique a -> QueryUnique b -> QueryUnique b

return :: a -> QueryUnique a

fail :: String -> QueryUnique a

Functor QueryUnique

Defined in Database.Relational.Monad.Unique

Methods

fmap :: (a -> b) -> QueryUnique a -> QueryUnique b

(<$) :: a -> QueryUnique b -> QueryUnique a

Applicative QueryUnique

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

MonadQuery QueryUnique

Defined in Database.Relational.Monad.Unique

Methods

setDuplication :: Duplication -> QueryUnique ()

restrictJoin :: Predicate Flat -> QueryUnique ()

query' :: Relation p r -> QueryUnique (PlaceHolders p, Record Flat r)

queryMaybe' :: Relation p r -> QueryUnique (PlaceHolders p, Record Flat (Maybe r))

MonadQualify ConfigureQuery QueryUnique

Defined in Database.Relational.Monad.Unique

Methods

liftQualify :: ConfigureQuery a -> QueryUnique a

unsafeUniqueSubQuery

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.

toSubQuery

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.