Database.HDBC.Record.Statement

This module provides typed statement running sequence which intermediate structres 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.

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

:: RecordToSql SqlValue p

Proof object to convert from parameter type p into SqlValue list.

-> PreparedStatement p a

Prepared query to bind to

-> p

Parameter to bind

-> BoundStatement a

Result parameter bound statement

Typed operation to bind parameters.

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

Typed operation to bind parameters. Infered RecordToSql 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.

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

Typed execute operation.

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

Generalized prepare inferred from UntypeableNoFetch instance.

executeNoFetch :: BoundStatement () -> IO Integer

Typed execute operation. Only get result.

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

Bind parameters, execute 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.