|
definition:
|
getColumnTuple :: [SetOp] ->
[TupleColumnSelect a b] ->
[Option] ->
Maybe Int ->
DBAction [(a,b)]
getColumnTuple _ [] _ _ = return []
getColumnTuple setops (s:sels) options limit = do
let query = ((foldl (\quest (so, sel) -> quest ++ trSetOp so ++
trTupleSelectQuery sel )
(trTupleSelectQuery s)
(zip setops sels))
++ trOption options ++ trLimit limit++" ;")
(fun1, fun2) = getTupleValFuncs s
vals <- select query [] (getTupleTypes s)
return (map (\ [val1, val2] -> ((fun1 val1),(fun2 val2))) vals)
|
|
demand:
|
argument 2
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
--- Gets two Columns from the database.
--- @param setops - list of Setoperators to combine queries if more than one is
--- given, can be empty otherwise
--- @param sels - list of TupleColumnSelects to specify queries, if there
--- are more requests than can be combined with setoperators
--- they will be ignored
---@param options - order-by-clause for whole query
---@param limit - value to reduce number of returned rows
---@return a `DBAction`t with a list of a-Values as parameter
--- (where a is the type of the column)
|
|
failfree:
|
<FAILING>
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{(_,{[]},_,_) |-> _ || (_,{:},_,_) |-> _}
|
|
name:
|
getColumnTuple
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
[Database.CDBI.QueryTypes.SetOp]
-> [Database.CDBI.QueryTypes.TupleColumnSelect a b]
-> [Database.CDBI.Criteria.Option] -> Prelude.Maybe Prelude.Int
-> Database.CDBI.Connection.DBAction [(a, b)]
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|