record Parameter : Type Parameter to be bound in an SQL statement.
Totality: total
Visibility: public export
Constructor: P : String -> (type : SqliteType) -> IdrisType type -> Parameter
Projections:
.name : Parameter -> String.type : Parameter -> SqliteType.value : ({rec:0} : Parameter) -> IdrisType (type {rec:0})
.name : Parameter -> String- Totality: total
Visibility: public export name : Parameter -> String- Totality: total
Visibility: public export .type : Parameter -> SqliteType- Totality: total
Visibility: public export type : Parameter -> SqliteType- Totality: total
Visibility: public export .value : ({rec:0} : Parameter) -> IdrisType (type {rec:0})- Totality: total
Visibility: public export value : ({rec:0} : Parameter) -> IdrisType (type {rec:0})- Totality: total
Visibility: public export record ParamST : Type State type used to keep track of the parameters used in an
SQLite statement that is being assembled.
Totality: total
Visibility: public export
Constructor: PS : Nat -> List Parameter -> ParamST
Projections:
.args : ParamST -> List Parameter.ix : ParamST -> Nat
.ix : ParamST -> Nat- Totality: total
Visibility: public export ix : ParamST -> Nat- Totality: total
Visibility: public export .args : ParamST -> List Parameter- Totality: total
Visibility: public export args : ParamST -> List Parameter- Totality: total
Visibility: public export init : ParamST Initial list of parameters
Totality: total
Visibility: export0 ParamStmt : Type Utility alias for an SQL statement with parameters.
Totality: total
Visibility: public exportencodeExprP : Expr s t -> ParamStmt Encodes an expression, generating a list of parameters with
unique names that will be bound when running the SQL statement.
Totality: total
Visibility: exportencodeCmd : Cmd t -> ParamStmt Encodes an SQLite data management command.
The command will be encoded as a string with parameters
inserted as placeholders for literal values where appropriate.
`State ParamST` is used to keep track of the defined parameters.
Totality: total
Visibility: exportencodeQuery : Query ts -> ParamStmt Encodes an SQLite `SELECT` statement.
The query will be encoded as a string with parameters
inserted as placeholders for literal values where appropriate.
Totality: total
Visibility: export