Takusen-0.8.2: Database library with left-fold interface, for PostgreSQL, Oracle, SQLite, ODBC. Source code Contents Index

Database.Enumerator

Contents Usage Iteratee Functions result and result' Rank-2 types, ($), and the monomorphism restriction Bind Parameters Multiple (and nested) Result Sets Sessions and Transactions Exceptions and handlers Preparing and Binding Iteratees and Cursors Utilities

Synopsis

data ISession sess => DBM mark sess a class ISession sess data ConnectA sess withSession :: (Typeable a, ISession sess) => ConnectA sess -> (forall mark. DBM mark sess a) -> IO a withContinuedSession :: (Typeable a, ISession sess) => ConnectA sess -> (forall mark. DBM mark sess a) -> IO (a, ConnectA sess) commit :: ISession s => DBM mark s () rollback :: ISession s => DBM mark s () beginTransaction :: (MonadReader s (ReaderT s IO), ISession s) => IsolationLevel -> DBM mark s () withTransaction :: ISession s => IsolationLevel -> DBM mark s a -> DBM mark s a data IsolationLevel = ReadUncommitted | ReadCommitted | RepeatableRead | Serialisable | Serializable execDDL :: Command stmt s => stmt -> DBM mark s () execDML :: Command stmt s => stmt -> DBM mark s Int inquire :: EnvInquiry key s result => key -> DBM mark s result data DBException = DBError SqlState Int String | DBFatal SqlState Int String | DBUnexpectedNull RowNum ColNum | DBNoData formatDBException :: DBException -> String basicDBExceptionReporter :: CaughtMonadIO m => DBException -> m () reportRethrow :: CaughtMonadIO m => DBException -> m a reportRethrowMsg :: CaughtMonadIO m => String -> DBException -> m a catchDB :: CaughtMonadIO m => m a -> (DBException -> m a) -> m a catchDBError :: CaughtMonadIO m => Int -> m a -> (DBException -> m a) -> m a ignoreDBError :: CaughtMonadIO m => Int -> m a -> m a throwDB :: DBException -> a type ColNum = Int type RowNum = Int type SqlState = (SqlStateClass, SqlStateSubClass) type SqlStateClass = String type SqlStateSubClass = String data PreparedStmt mark stmt withPreparedStatement :: (Typeable a, IPrepared stmt sess bstmt bo) => PreparationA sess stmt -> PreparedStmt mark stmt -> DBM mark sess a -> DBM mark sess a withBoundStatement :: (Typeable a, IPrepared stmt s bstmt bo) => PreparedStmt mark stmt -> [BindA s stmt bo] -> bstmt -> DBM mark s a -> DBM mark s a class ISession sess => Statement stmt sess q | stmt sess -> q class ISession sess => Command stmt sess class ISession sess => EnvInquiry inquirykey sess result | inquirykey sess -> result data PreparationA sess stmt class ISession sess => IPrepared stmt sess bound_stmt bo | stmt -> bound_stmt, stmt -> bo data BindA sess stmt bo class ISession sess => DBBind a sess stmt bo | stmt -> bo where bindP :: a -> BindA sess stmt bo bindP :: DBBind a sess stmt bo => a -> BindA sess stmt bo class ISession sess => IQuery q sess b | q -> sess, q -> b where currentRowNum :: q -> IO Int doQuery :: (Statement stmt sess q, QueryIteratee (DBM mark sess) q i seed b, IQuery q sess b) => stmt -> i -> seed -> DBM mark sess seed class DBType a q b | q -> b type IterResult seedType = Either seedType seedType type IterAct m seedType = seedType -> m (IterResult seedType) currentRowNum :: IQuery q sess b => q -> IO Int data NextResultSet mark stmt = NextResultSet (PreparedStmt mark stmt) data RefCursor a = RefCursor a cursorIsEOF :: DBCursor mark (DBM mark s) a -> DBM mark s Bool cursorCurrent :: DBCursor mark (DBM mark s) a -> DBM mark s a cursorNext :: DBCursor mark (DBM mark s) a -> DBM mark s (DBCursor mark (DBM mark s) a) withCursor :: (Typeable a, Statement stmt sess q, QueryIteratee (DBM mark sess) q i seed b, IQuery q sess b) => stmt -> i -> seed -> DBCursor mark (DBM mark sess) seed -> DBM mark sess a -> DBM mark sess a type Position = Int ifNull :: Maybe a -> a -> a result :: Monad m => IterAct m a result' :: Monad m => IterAct m a

Usage

Iteratee Functions

result and result'

Rank-2 types, ($), and the monomorphism restriction

Bind Parameters

Multiple (and nested) Result Sets

Sessions and Transactions

data ISession sess => DBM mark sess a Source

Instances MonadReader sess (DBM mark sess) Monad (DBM mark sess) Functor (DBM mark sess) MonadFix (DBM mark sess) MonadIO (DBM mark sess) ISession si => CaughtMonadIO (DBM mark si)

class ISession sess Source

Instances ISession Session

data ConnectA sess Source

Instances Typeable1 ConnectA

withSession :: (Typeable a, ISession sess) => ConnectA sess -> (forall mark. DBM mark sess a) -> IO a Source

withContinuedSession :: (Typeable a, ISession sess) => ConnectA sess -> (forall mark. DBM mark sess a) -> IO (a, ConnectA sess) Source

commit :: ISession s => DBM mark s () Source

rollback :: ISession s => DBM mark s () Source

beginTransaction :: (MonadReader s (ReaderT s IO), ISession s) => IsolationLevel -> DBM mark s () Source

withTransaction :: ISession s => IsolationLevel -> DBM mark s a -> DBM mark s a Source

data IsolationLevel Source

Constructors ReadUncommitted ReadCommitted RepeatableRead Serialisable Serializable for alternative spellers Instances Enum IsolationLevel Eq IsolationLevel Ord IsolationLevel Show IsolationLevel

execDDL :: Command stmt s => stmt -> DBM mark s () Source

execDML :: Command stmt s => stmt -> DBM mark s Int Source

inquire :: EnvInquiry key s result => key -> DBM mark s result Source

Exceptions and handlers

data DBException Source

Constructors DBError SqlState Int String DBMS error message. DBFatal SqlState Int String DBUnexpectedNull RowNum ColNum the iteratee function used for queries accepts both nullable (Maybe) and non-nullable types. If the query itself returns a null in a column where a non-nullable type was specified, we can't handle it, so DBUnexpectedNull is thrown. DBNoData Thrown by cursor functions if you try to fetch after the end. Instances Show DBException Typeable DBException

formatDBException :: DBException -> String Source

basicDBExceptionReporter :: CaughtMonadIO m => DBException -> m () Source

reportRethrow :: CaughtMonadIO m => DBException -> m a Source

reportRethrowMsg :: CaughtMonadIO m => String -> DBException -> m a Source

catchDB :: CaughtMonadIO m => m a -> (DBException -> m a) -> m a Source

catchDBError :: CaughtMonadIO m => Int -> m a -> (DBException -> m a) -> m a Source

ignoreDBError :: CaughtMonadIO m => Int -> m a -> m a Source

throwDB :: DBException -> a Source

type ColNum = Int Source

type RowNum = Int Source

type SqlState = (SqlStateClass, SqlStateSubClass) Source

type SqlStateClass = String Source

type SqlStateSubClass = String Source

Preparing and Binding

data PreparedStmt mark stmt Source

withPreparedStatement Source

:: (Typeable a, IPrepared stmt sess bstmt bo) => PreparationA sess stmt preparation action to create prepared statement; this action is usually created by prepareQuery/Command -> PreparedStmt mark stmt -> DBM mark sess a DBM action that takes a prepared statement -> DBM mark sess a

withBoundStatement Source

:: (Typeable a, IPrepared stmt s bstmt bo) => PreparedStmt mark stmt prepared statement created by withPreparedStatement -> [BindA s stmt bo] bind values -> bstmt -> DBM mark s a action to run over bound statement -> DBM mark s a

class ISession sess => Statement stmt sess q | stmt sess -> q Source

Instances Statement QueryStringTuned Session Query Statement QueryString Session Query

class ISession sess => Command stmt sess Source

Instances Command QueryStringTuned Session Command QueryString Session

class ISession sess => EnvInquiry inquirykey sess result | inquirykey sess -> result Source

data PreparationA sess stmt Source

class ISession sess => IPrepared stmt sess bound_stmt bo | stmt -> bound_stmt, stmt -> bo Source

data BindA sess stmt bo Source

class ISession sess => DBBind a sess stmt bo | stmt -> bo where Source

Methods bindP :: a -> BindA sess stmt bo Source

bindP :: DBBind a sess stmt bo => a -> BindA sess stmt bo Source

This is really just a wrapper that lets us write lists of heterogenous bind values e.g. [bindP "string", bindP (0::Int), ...]

Iteratees and Cursors

class ISession sess => IQuery q sess b | q -> sess, q -> b where Source

Methods currentRowNum :: q -> IO Int Source Instances IQuery Query Session ColumnBuffer

doQuery Source

:: (Statement stmt sess q, QueryIteratee (DBM mark sess) q i seed b, IQuery q sess b) => stmt query -> i iteratee function -> seed seed value -> DBM mark sess seed

class DBType a q b | q -> b Source

Instances DBType (Maybe Double) Query ColumnBuffer DBType (Maybe Int) Query ColumnBuffer DBType (Maybe String) Query ColumnBuffer (Show a, Read a) => DBType (Maybe a) Query ColumnBuffer DBType (Maybe CalendarTime) Query ColumnBuffer

type IterResult seedType = Either seedType seedType Source

type IterAct m seedType = seedType -> m (IterResult seedType) Source

currentRowNum :: IQuery q sess b => q -> IO Int Source

data NextResultSet mark stmt Source

Constructors NextResultSet (PreparedStmt mark stmt)

data RefCursor a Source

Constructors RefCursor a

cursorIsEOF :: DBCursor mark (DBM mark s) a -> DBM mark s Bool Source

cursorCurrent :: DBCursor mark (DBM mark s) a -> DBM mark s a Source

cursorNext :: DBCursor mark (DBM mark s) a -> DBM mark s (DBCursor mark (DBM mark s) a) Source

withCursor Source

:: (Typeable a, Statement stmt sess q, QueryIteratee (DBM mark sess) q i seed b, IQuery q sess b) => stmt query -> i iteratee function -> seed seed value -> DBCursor mark (DBM mark sess) seed -> DBM mark sess a action taking cursor parameter -> DBM mark sess a

type Position = Int Source

Utilities

ifNull Source

:: => Maybe a nullable value -> a value to substitute if first parameter is null i.e. Data.Maybe.Nothing -> a

result :: Monad m => IterAct m a Source

result' :: Monad m => IterAct m a Source

Produced by Haddock version 2.1.0