|
definition:
|
getColumnTriple :: [SetOp] ->
[TripleColumnSelect a b c] ->
[Option] ->
Maybe Int ->
DBAction [(a,b,c)]
getColumnTriple _ [] _ _ = return []
getColumnTriple setops (s:sels) options limit = do
let query = ((foldl (\quest (so, sel) -> quest ++ trSetOp so ++
trTripleSelectQuery sel )
(trTripleSelectQuery s)
(zip setops sels))
++ trOption options ++ trLimit limit++" ;")
(fun1, fun2, fun3) = getTripleValFuncs s
vals <- select query [] (getTripleTypes s)
return (map (\ [val1, val2, val3] -> (fun1 val1, fun2 val2, fun3 val3)) vals)
|
|
demand:
|
argument 2
|
|
deterministic:
|
deterministic operation
|
|
documentation:
|
--- Gets three 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 TripleColumnSelects 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:
|
getColumnTriple
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
[Database.CDBI.QueryTypes.SetOp]
-> [Database.CDBI.QueryTypes.TripleColumnSelect a b c]
-> [Database.CDBI.Criteria.Option] -> Prelude.Maybe Prelude.Int
-> Database.CDBI.Connection.DBAction [(a, b, c)]
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|