Database.HDBC.Record.Statement

This module provides typed statement running sequence which intermediate structures are typed.

Documentation

data PreparedStatement p a

Typed prepared statement type.

untypePrepared :: PreparedStatement p a -> Statement

Unsafely untype prepared statement.

unsafePrepare

Arguments

:: IConnection conn

=> conn

Database connection

-> String

Raw SQL String

-> IO (PreparedStatement p a)

Result typed prepared query with parameter type p and result type a

Run prepare and unsafely make Typed prepared statement.

finish :: PreparedStatement p a -> IO ()

Close PreparedStatement. Useful for connection pooling cases. PreparedStatement is released on closing connection, so connection pooling cases often cause resource leaks.

withUnsafePrepare

Arguments

:: IConnection conn

=> conn

Database connection

-> String

Raw SQL String

-> (PreparedStatement p a -> IO b)

-> IO b

Bracketed prepare operation. Unsafely make Typed prepared statement. PreparedStatement is released on closing connection, so connection pooling cases often cause resource leaks.

withPrepareNoFetch :: (UntypeableNoFetch s, IConnection conn) => conn -> s p -> (PreparedStatement p () -> IO a) -> IO a

Bracketed prepare operation. Generalized prepare inferred from UntypeableNoFetch instance.

data BoundStatement a

Typed prepared statement which has bound placeholder parameters.

Constructors

BoundStatement

Fields

• bound :: !Statement

  Untyped prepared statement before executed.

• params :: [SqlValue]

  Bound parameters.

bind

Arguments

:: ToSql SqlValue p

=> PreparedStatement p a

Prepared query to bind to

-> p

Parameter to bind

-> BoundStatement a

Result parameter bound statement

Typed operation to bind parameters. Inferred ToSql is used.

bindTo :: ToSql SqlValue p => p -> PreparedStatement p a -> BoundStatement a

Same as bind except for argument is flipped.

data ExecutedStatement a

Typed executed statement.

executed :: ExecutedStatement a -> Statement

Untyped executed statement.

result :: ExecutedStatement a -> Integer

Result of HDBC execute.

executeBound :: BoundStatement a -> IO (ExecutedStatement a)

Typed execute operation.

execute :: ToSql SqlValue p => PreparedStatement p a -> p -> IO (ExecutedStatement a)

Bind parameters, execute prepared statement and get executed statement.

prepareNoFetch :: (UntypeableNoFetch s, IConnection conn) => conn -> s p -> IO (PreparedStatement p ())

Generalized prepare inferred from UntypeableNoFetch instance.

executeBoundNoFetch :: BoundStatement () -> IO Integer

Typed execute operation. Only get result.

executeNoFetch :: ToSql SqlValue a => PreparedStatement a () -> a -> IO Integer

Bind parameters, execute prepared statement and get execution result.

runNoFetch :: (UntypeableNoFetch s, IConnection conn, ToSql SqlValue a) => conn -> s a -> a -> IO Integer

Prepare and run sequence for polymorphic no-fetch statement.

mapNoFetch :: (UntypeableNoFetch s, IConnection conn, ToSql SqlValue a) => conn -> s a -> [a] -> IO [Integer]

Prepare and run it against each parameter list.

Deprecated.

executePrepared :: ToSql SqlValue p => PreparedStatement p a -> p -> IO (ExecutedStatement a)

Deprecated: use execute instead of this.

Deprecated.

runPreparedNoFetch :: ToSql SqlValue a => PreparedStatement a () -> a -> IO Integer

Deprecated: use executeNoFetch instead of this.

Deprecated.