| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Database.PostgreSQL.PQTypes
Description
Set of definitions exposed to the end user.
Synopsis
- data Connection
- data ConnectionStats = ConnectionStats {
- statsQueries :: !Int
- statsRows :: !Int
- statsValues :: !Int
- statsParams :: !Int
- data ConnectionSettings = ConnectionSettings {
- csConnInfo :: !Text
- csClientEncoding :: !(Maybe Text)
- csRole :: !(Maybe (RawSQL ()))
- csComposites :: ![Text]
- defaultConnectionSettings :: ConnectionSettings
- data ConnectionSourceM m
- newtype ConnectionSource (cs :: [(Type -> Type) -> Constraint]) = ConnectionSource {
- unConnectionSource :: forall m. MkConstraint m cs => ConnectionSourceM m
- simpleSource :: ConnectionSettings -> ConnectionSource [MonadBase IO, MonadMask]
- poolSource :: ConnectionSettings -> (IO Connection -> (Connection -> IO ()) -> PoolConfig Connection) -> IO (ConnectionSource [MonadBase IO, MonadMask])
- data ErrorCode
- = SuccessfulCompletion
- | Warning
- | DynamicResultSetsReturned
- | ImplicitZeroBitPadding
- | NullValueEliminatedInSetFunction
- | PrivilegeNotGranted
- | PrivilegeNotRevoked
- | StringDataRightTruncation_01
- | DeprecatedFeature
- | NoData
- | NoAdditionalDynamicResultSetsReturned
- | SqlStatementNotYetComplete
- | ConnectionException
- | ConnectionDoesNotExist
- | ConnectionFailure
- | SqlclientUnableToEstablishSqlconnection
- | SqlserverRejectedEstablishmentOfSqlconnection
- | TransactionResolutionUnknown
- | ProtocolViolation
- | TriggeredActionException
- | FeatureNotSupported
- | InvalidTransactionInitiation
- | LocatorException
- | InvalidLocatorSpecification
- | InvalidGrantor
- | InvalidGrantOperation
- | InvalidRoleSpecification
- | DiagnosticsException
- | StackedDiagnosticsAccessedWithoutActiveHandler
- | CaseNotFound
- | CardinalityViolation
- | DataException
- | ArraySubscriptError
- | CharacterNotInRepertoire
- | DatetimeFieldOverflow
- | DivisionByZero
- | ErrorInAssignment
- | EscapeCharacterConflict
- | IndicatorOverflow
- | IntervalFieldOverflow
- | InvalidArgumentForLogarithm
- | InvalidArgumentForNtileFunction
- | InvalidArgumentForNthValueFunction
- | InvalidArgumentForPowerFunction
- | InvalidArgumentForWidthBucketFunction
- | InvalidCharacterValueForCast
- | InvalidDatetimeFormat
- | InvalidEscapeCharacter
- | InvalidEscapeOctet
- | InvalidEscapeSequence
- | NonstandardUseOfEscapeCharacter
- | InvalidIndicatorParameterValue
- | InvalidParameterValue
- | InvalidRegularExpression
- | InvalidRowCountInLimitClause
- | InvalidRowCountInResultOffsetClause
- | InvalidTimeZoneDisplacementValue
- | InvalidUseOfEscapeCharacter
- | MostSpecificTypeMismatch
- | NullValueNotAllowed_22
- | NullValueNoIndicatorParameter
- | NumericValueOutOfRange
- | StringDataLengthMismatch
- | StringDataRightTruncation_22
- | SubstringError
- | TrimError
- | UnterminatedCString
- | ZeroLengthCharacterString
- | FloatingPointException
- | InvalidTextRepresentation
- | InvalidBinaryRepresentation
- | BadCopyFileFormat
- | UntranslatableCharacter
- | NotAnXmlDocument
- | InvalidXmlDocument
- | InvalidXmlContent
- | InvalidXmlComment
- | InvalidXmlProcessingInstruction
- | IntegrityConstraintViolation
- | RestrictViolation
- | NotNullViolation
- | ForeignKeyViolation
- | UniqueViolation
- | CheckViolation
- | ExclusionViolation
- | InvalidCursorState
- | InvalidTransactionState
- | ActiveSqlTransaction
- | BranchTransactionAlreadyActive
- | HeldCursorRequiresSameIsolationLevel
- | InappropriateAccessModeForBranchTransaction
- | InappropriateIsolationLevelForBranchTransaction
- | NoActiveSqlTransactionForBranchTransaction
- | ReadOnlySqlTransaction
- | SchemaAndDataStatementMixingNotSupported
- | NoActiveSqlTransaction
- | InFailedSqlTransaction
- | InvalidSqlStatementName
- | TriggeredDataChangeViolation
- | InvalidAuthorizationSpecification
- | InvalidPassword
- | DependentPrivilegeDescriptorsStillExist
- | DependentObjectsStillExist
- | InvalidTransactionTermination
- | SqlRoutineException
- | FunctionExecutedNoReturnStatement
- | ModifyingSqlDataNotPermitted_2F
- | ProhibitedSqlStatementAttempted_2F
- | ReadingSqlDataNotPermitted_2F
- | InvalidCursorName
- | ExternalRoutineException
- | ContainingSqlNotPermitted
- | ModifyingSqlDataNotPermitted_38
- | ProhibitedSqlStatementAttempted_38
- | ReadingSqlDataNotPermitted_38
- | ExternalRoutineInvocationException
- | InvalidSqlstateReturned
- | NullValueNotAllowed_39
- | TriggerProtocolViolated
- | SrfProtocolViolated
- | SavepointException
- | InvalidSavepointSpecification
- | InvalidCatalogName
- | InvalidSchemaName
- | TransactionRollback
- | TransactionIntegrityConstraintViolation
- | SerializationFailure
- | StatementCompletionUnknown
- | DeadlockDetected
- | SyntaxErrorOrAccessRuleViolation
- | SyntaxError
- | InsufficientPrivilege
- | CannotCoerce
- | GroupingError
- | WindowingError
- | InvalidRecursion
- | InvalidForeignKey
- | InvalidName
- | NameTooLong
- | ReservedName
- | DatatypeMismatch
- | IndeterminateDatatype
- | CollationMismatch
- | IndeterminateCollation
- | WrongObjectType
- | UndefinedColumn
- | UndefinedFunction
- | UndefinedTable
- | UndefinedParameter
- | UndefinedObject
- | DuplicateColumn
- | DuplicateCursor
- | DuplicateDatabase
- | DuplicateFunction
- | DuplicatePreparedStatement
- | DuplicateSchema
- | DuplicateTable
- | DuplicateAlias
- | DuplicateObject
- | AmbiguousColumn
- | AmbiguousFunction
- | AmbiguousParameter
- | AmbiguousAlias
- | InvalidColumnReference
- | InvalidColumnDefinition
- | InvalidCursorDefinition
- | InvalidDatabaseDefinition
- | InvalidFunctionDefinition
- | InvalidPreparedStatementDefinition
- | InvalidSchemaDefinition
- | InvalidTableDefinition
- | InvalidObjectDefinition
- | WithCheckOptionViolation
- | InsufficientResources
- | DiskFull
- | OutOfMemory
- | TooManyConnections
- | ConfigurationLimitExceeded
- | ProgramLimitExceeded
- | StatementTooComplex
- | TooManyColumns
- | TooManyArguments
- | ObjectNotInPrerequisiteState
- | ObjectInUse
- | CantChangeRuntimeParam
- | LockNotAvailable
- | OperatorIntervention
- | QueryCanceled
- | AdminShutdown
- | CrashShutdown
- | CannotConnectNow
- | DatabaseDropped
- | SystemError
- | IoError
- | UndefinedFile
- | DuplicateFile
- | ConfigFileError
- | LockFileExists
- | FdwError
- | FdwColumnNameNotFound
- | FdwDynamicParameterValueNeeded
- | FdwFunctionSequenceError
- | FdwInconsistentDescriptorInformation
- | FdwInvalidAttributeValue
- | FdwInvalidColumnName
- | FdwInvalidColumnNumber
- | FdwInvalidDataType
- | FdwInvalidDataTypeDescriptors
- | FdwInvalidDescriptorFieldIdentifier
- | FdwInvalidHandle
- | FdwInvalidOptionIndex
- | FdwInvalidOptionName
- | FdwInvalidStringLengthOrBufferLength
- | FdwInvalidStringFormat
- | FdwInvalidUseOfNullPointer
- | FdwTooManyHandles
- | FdwOutOfMemory
- | FdwNoSchemas
- | FdwOptionNameNotFound
- | FdwReplyHandle
- | FdwSchemaNotFound
- | FdwTableNotFound
- | FdwUnableToCreateExecution
- | FdwUnableToCreateReply
- | FdwUnableToEstablishConnection
- | PlpgsqlError
- | RaiseException
- | NoDataFound
- | TooManyRows
- | InternalError
- | DataCorrupted
- | IndexCorrupted
- | UnknownErrorCode String
- data DetailedQueryError = DetailedQueryError {
- qeSeverity :: !String
- qeErrorCode :: !ErrorCode
- qeMessagePrimary :: !String
- qeMessageDetail :: !(Maybe String)
- qeMessageHint :: !(Maybe String)
- qeStatementPosition :: !(Maybe Int)
- qeInternalPosition :: !(Maybe Int)
- qeInternalQuery :: !(Maybe String)
- qeContext :: !(Maybe String)
- qeSourceFile :: !(Maybe String)
- qeSourceLine :: !(Maybe Int)
- qeSourceFunction :: !(Maybe String)
- newtype QueryError = QueryError String
- newtype HPQTypesError = HPQTypesError String
- newtype LibPQError = LibPQError String
- data ConversionError = forall e.Exception e => ConversionError {
- convColumn :: !Int
- convColumnName :: !String
- convRow :: !Int
- convError :: !e
- data ArrayItemError = forall e.Exception e => ArrayItemError {
- arrItemIndex :: !Int
- arrItemError :: !e
- data InvalidValue t = InvalidValue {
- ivValue :: t
- ivValidValues :: Maybe [t]
- data RangeError t = RangeError {}
- data ArrayDimensionMismatch = ArrayDimensionMismatch {
- arrDimExpected :: !Int
- arrDimDelivered :: !Int
- data RowLengthMismatch = RowLengthMismatch {
- lengthExpected :: !Int
- lengthDelivered :: !Int
- data AffectedRowsMismatch = AffectedRowsMismatch {
- rowsExpected :: ![(Int, Int)]
- rowsDelivered :: !Int
- data DBException = forall e sql.(Exception e, Show sql) => DBException {
- dbeQueryContext :: !sql
- dbeError :: !e
- type DBT m = DBT_ m m
- runDBT :: (MonadBase IO m, MonadMask m) => ConnectionSourceM m -> TransactionSettings -> DBT m a -> m a
- mapDBT :: (DBState n -> DBState m) -> (m (a, DBState m) -> n (b, DBState n)) -> DBT m a -> DBT n b
- data QueryResult t
- ntuples :: QueryResult t -> Int
- nfields :: QueryResult t -> Int
- module Data.Functor.Identity
- module Database.PostgreSQL.PQTypes.Array
- module Database.PostgreSQL.PQTypes.Class
- module Database.PostgreSQL.PQTypes.Composite
- module Database.PostgreSQL.PQTypes.Cursor
- module Database.PostgreSQL.PQTypes.Fold
- module Database.PostgreSQL.PQTypes.Format
- module Database.PostgreSQL.PQTypes.FromRow
- module Database.PostgreSQL.PQTypes.FromSQL
- module Database.PostgreSQL.PQTypes.Interval
- module Database.PostgreSQL.PQTypes.JSON
- module Database.PostgreSQL.PQTypes.Notification
- module Database.PostgreSQL.PQTypes.SQL
- module Database.PostgreSQL.PQTypes.SQL.Class
- module Database.PostgreSQL.PQTypes.SQL.Raw
- module Database.PostgreSQL.PQTypes.ToRow
- module Database.PostgreSQL.PQTypes.ToSQL
- module Database.PostgreSQL.PQTypes.Transaction
- module Database.PostgreSQL.PQTypes.Transaction.Settings
- module Database.PostgreSQL.PQTypes.Utils
- module Database.PostgreSQL.PQTypes.XML
Connection
data Connection Source #
Wrapper for hiding representation of a connection object.
data ConnectionStats Source #
Simple connection statistics.
Constructors
| ConnectionStats | |
Fields
| |
Instances
| Show ConnectionStats Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Connection Methods showsPrec :: Int -> ConnectionStats -> ShowS # show :: ConnectionStats -> String # showList :: [ConnectionStats] -> ShowS # | |
| Eq ConnectionStats Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Connection Methods (==) :: ConnectionStats -> ConnectionStats -> Bool # (/=) :: ConnectionStats -> ConnectionStats -> Bool # | |
| Ord ConnectionStats Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Connection Methods compare :: ConnectionStats -> ConnectionStats -> Ordering # (<) :: ConnectionStats -> ConnectionStats -> Bool # (<=) :: ConnectionStats -> ConnectionStats -> Bool # (>) :: ConnectionStats -> ConnectionStats -> Bool # (>=) :: ConnectionStats -> ConnectionStats -> Bool # max :: ConnectionStats -> ConnectionStats -> ConnectionStats # min :: ConnectionStats -> ConnectionStats -> ConnectionStats # | |
data ConnectionSettings Source #
Constructors
| ConnectionSettings | |
Fields
| |
Instances
| Show ConnectionSettings Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Connection Methods showsPrec :: Int -> ConnectionSettings -> ShowS # show :: ConnectionSettings -> String # showList :: [ConnectionSettings] -> ShowS # | |
| Eq ConnectionSettings Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Connection Methods (==) :: ConnectionSettings -> ConnectionSettings -> Bool # (/=) :: ConnectionSettings -> ConnectionSettings -> Bool # | |
| Ord ConnectionSettings Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Connection Methods compare :: ConnectionSettings -> ConnectionSettings -> Ordering # (<) :: ConnectionSettings -> ConnectionSettings -> Bool # (<=) :: ConnectionSettings -> ConnectionSettings -> Bool # (>) :: ConnectionSettings -> ConnectionSettings -> Bool # (>=) :: ConnectionSettings -> ConnectionSettings -> Bool # max :: ConnectionSettings -> ConnectionSettings -> ConnectionSettings # min :: ConnectionSettings -> ConnectionSettings -> ConnectionSettings # | |
defaultConnectionSettings :: ConnectionSettings Source #
Default connection settings. Note that all strings sent to PostgreSQL by the library are encoded as UTF-8, so don't alter client encoding unless you know what you're doing.
data ConnectionSourceM m Source #
Database connection supplier.
newtype ConnectionSource (cs :: [(Type -> Type) -> Constraint]) Source #
Wrapper for a polymorphic connection source.
Constructors
| ConnectionSource | |
Fields
| |
simpleSource :: ConnectionSettings -> ConnectionSource [MonadBase IO, MonadMask] Source #
Default connection supplier. It establishes new
database connection each time withConnection is called.
Arguments
| :: ConnectionSettings | |
| -> (IO Connection -> (Connection -> IO ()) -> PoolConfig Connection) | A function for creating the Note: supplied arguments are for creation and destruction of a database connection. |
| -> IO (ConnectionSource [MonadBase IO, MonadMask]) |
Pooled source. It uses striped pool from resource-pool package to cache
established connections and reuse them.
Exceptions
SQL error code. Reference: http://www.postgresql.org/docs/devel/static/errcodes-appendix.html.
Constructors
Instances
| Show ErrorCode Source # | |
| Eq ErrorCode Source # | |
| Ord ErrorCode Source # | |
data DetailedQueryError Source #
SQL query error. Reference: description of PQresultErrorField at http://www.postgresql.org/docs/devel/static/libpq-exec.html.
Constructors
| DetailedQueryError | |
Fields
| |
Instances
newtype QueryError Source #
Simple SQL query error. Thrown when there is no PGresult object corresponding to query execution.
Constructors
| QueryError String |
Instances
| Exception QueryError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error Methods toException :: QueryError -> SomeException # fromException :: SomeException -> Maybe QueryError # displayException :: QueryError -> String # | |
| Show QueryError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error Methods showsPrec :: Int -> QueryError -> ShowS # show :: QueryError -> String # showList :: [QueryError] -> ShowS # | |
| Eq QueryError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error | |
| Ord QueryError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error Methods compare :: QueryError -> QueryError -> Ordering # (<) :: QueryError -> QueryError -> Bool # (<=) :: QueryError -> QueryError -> Bool # (>) :: QueryError -> QueryError -> Bool # (>=) :: QueryError -> QueryError -> Bool # max :: QueryError -> QueryError -> QueryError # min :: QueryError -> QueryError -> QueryError # | |
newtype HPQTypesError Source #
Internal error in this library.
Constructors
| HPQTypesError String |
Instances
newtype LibPQError Source #
Internal error in libpq/libpqtypes library.
Constructors
| LibPQError String |
Instances
| Exception LibPQError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error Methods toException :: LibPQError -> SomeException # fromException :: SomeException -> Maybe LibPQError # displayException :: LibPQError -> String # | |
| Show LibPQError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error Methods showsPrec :: Int -> LibPQError -> ShowS # show :: LibPQError -> String # showList :: [LibPQError] -> ShowS # | |
| Eq LibPQError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error | |
| Ord LibPQError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error Methods compare :: LibPQError -> LibPQError -> Ordering # (<) :: LibPQError -> LibPQError -> Bool # (<=) :: LibPQError -> LibPQError -> Bool # (>) :: LibPQError -> LibPQError -> Bool # (>=) :: LibPQError -> LibPQError -> Bool # max :: LibPQError -> LibPQError -> LibPQError # min :: LibPQError -> LibPQError -> LibPQError # | |
data ConversionError Source #
Data conversion error. Since it's polymorphic in error type, it nicely reports arbitrarily nested conversion errors.
Constructors
| forall e.Exception e => ConversionError | |
Fields
| |
Instances
| Exception ConversionError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error Methods toException :: ConversionError -> SomeException # | |
| Show ConversionError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error Methods showsPrec :: Int -> ConversionError -> ShowS # show :: ConversionError -> String # showList :: [ConversionError] -> ShowS # | |
data ArrayItemError Source #
Array item error. Polymorphic in error type
for the same reason as ConversionError.
Constructors
| forall e.Exception e => ArrayItemError | |
Fields
| |
Instances
| Exception ArrayItemError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error Methods toException :: ArrayItemError -> SomeException # | |
| Show ArrayItemError Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Error Methods showsPrec :: Int -> ArrayItemError -> ShowS # show :: ArrayItemError -> String # showList :: [ArrayItemError] -> ShowS # | |
data InvalidValue t Source #
"Invalid value" error for various data types.
Constructors
| InvalidValue | |
Fields
| |
Instances
data RangeError t Source #
Range error for various data types.
Constructors
| RangeError | |
Instances
data ArrayDimensionMismatch Source #
Array dimenstion mismatch error.
Constructors
| ArrayDimensionMismatch | |
Fields
| |
Instances
data RowLengthMismatch Source #
Row length mismatch error.
Constructors
| RowLengthMismatch | |
Fields
| |
Instances
data AffectedRowsMismatch Source #
Affected/returned rows mismatch error.
Constructors
| AffectedRowsMismatch | |
Fields
| |
Instances
data DBException Source #
Main exception type. All exceptions thrown by the library are additionally wrapped in this type.
Constructors
| forall e sql.(Exception e, Show sql) => DBException | |
Fields
| |
Instances
| Exception DBException Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Exception Methods toException :: DBException -> SomeException # fromException :: SomeException -> Maybe DBException # displayException :: DBException -> String # | |
| Show DBException Source # | |
Defined in Database.PostgreSQL.PQTypes.Internal.Exception Methods showsPrec :: Int -> DBException -> ShowS # show :: DBException -> String # showList :: [DBException] -> ShowS # | |
Monad transformer
runDBT :: (MonadBase IO m, MonadMask m) => ConnectionSourceM m -> TransactionSettings -> DBT m a -> m a Source #
Evaluate monadic action with supplied connection source and transaction settings.
mapDBT :: (DBState n -> DBState m) -> (m (a, DBState m) -> n (b, DBState n)) -> DBT m a -> DBT n b Source #
Transform the underlying monad.
Query result
data QueryResult t Source #
Representation of a query result. Provides Functor
and Foldable instances for data transformation and
extraction appropriately.
Instances
ntuples :: QueryResult t -> Int Source #
Extract number of returned tuples (rows) from query result.
nfields :: QueryResult t -> Int Source #
Extract number of returned fields (columns) from query result.
Other modules
module Data.Functor.Identity