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

definition:
minV :: ColumnDescription a -> Fun a
minV cd = ("Min( ", cd)
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--- Constructor for aggregation function min in select-clauses.
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_) |-> {(,)}}
name:
minV
precedence:
no precedence defined
result-values:
{(,)}
signature:
Database.CDBI.Description.ColumnDescription a
-> (String, Database.CDBI.Description.ColumnDescription a)
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms