Idris2Doc : Oracle.Types.Query

Oracle.Types.Query

(source)

Definitions

recordQuery : Type
  Represents a SQL query executed by the Oracle client.

`columns` specifies the expressions in the SELECT projection.

Each expression may either be selected normally with `Column`, or serialized as JSON text with `JSONColumn`.

`querybody` contains the FROM clause and any additional SQL clauses required to construct the query, such as WHERE, ORDER BY, GROUP BY, or JOIN clauses.

`binds` contains the bind parameters used by the SQL statement.

For example:

MkQuery
[ Column "id"
, Column "name"
, JSONColumn "profile"
]
"people WHERE active = :active ORDER BY id"
[MkBindParameter ":active" (OracleBool True)]

Renders to SQL equivalent to:

SELECT id, name, JSON_SERIALIZE(profile RETURNING CLOB)
FROM people
WHERE active = :active
ORDER BY id

Totality: total
Visibility: public export
Constructor: 
MkQuery : ListQueryColumn->String->ListBindParameter->Query

Projections:
.binds : Query->ListBindParameter
.columns : Query->ListQueryColumn
.querybody : Query->String
.columns : Query->ListQueryColumn
Visibility: public export
columns : Query->ListQueryColumn
Visibility: public export
.querybody : Query->String
Visibility: public export
querybody : Query->String
Visibility: public export
.binds : Query->ListBindParameter
Visibility: public export
binds : Query->ListBindParameter
Visibility: public export