CurryInfo: cdbi-3.2.0 / Database.CDBI.ER.singleCol

definition:
singleCol :: ColumnDescription a -> Int -> (ColumnDescription a -> Fun b)
                                        -> ColumnSingleCollection b
singleCol colDesc alias f = ResultColumnDescription convColDesc alias fun
  where (fun, convColDesc) = f colDesc
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--- Constructorfunction for ColumnSingleCollection.
---@param coldecs - ColumnDescription of column to select
---@param alias - alias of the table
---@param f - aggregation function (constructor)
failfree:
(_, _, _)
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_,_,_) |-> {ResultColumnDescription}}
name:
singleCol
precedence:
no precedence defined
result-values:
{ResultColumnDescription}
signature:
Database.CDBI.Description.ColumnDescription a -> Prelude.Int
-> (Database.CDBI.Description.ColumnDescription a
-> (String, Database.CDBI.Description.ColumnDescription b))
-> ColumnSingleCollection b
solution-complete:
operation might suspend on free variables
terminating:
yes
totally-defined:
reducible on all ground data terms