A query whose selected expression is expected to produce a JSON value.
The expression is wrapped by queryJSON as: JSON_SERIALIZE(expression RETURNING CLOB)
The resulting CLOB is then returned to Idris as a String.
`querybody` should contain the FROM clause and any additional SQL clauses required to identify the rows being queried.
For example:
MkJSONQuery
"payload"
"documents"
[]
Produces SQL equivalent to:
SELECT JSON_SERIALIZE(payload RETURNING CLOB)
FROM documents
Totality: total
Visibility: public export
Constructor: MkJSONQuery : String -> String -> List BindParameter -> JSONQuery
Projections:
.binds : JSONQuery -> List BindParameter.expression : JSONQuery -> String.querybody : JSONQuery -> String