Îõ³h$Eê8      !"#$%&'()*+,-./01234567None %+/<=>?ÀÁÂÄÉÎÔÖ×Ùà+ postgresql-tx0Unified exception type thrown from the database.ÍEach database backend may throw different types of exceptions. As a user of  postgresql-tx„, ideally we should be able to detect exceptions from the database without needing to catch the database backend's exception type.The / field allows us to introspect the postgresql errcode; see >https://www.postgresql.org/docs/current/errcodes-appendix.htmlÒIf you need to inspect the exact exception thrown by a database backend, use the  field. postgresql-tx0Type family which allows for specifying several # constraints as a type-level list. postgresql-tx¥A type class for specifying how to acquire an environment value to be used for running an implementation of a database library. For example, your database library will likely require some sort of connection value to discharge its effects; in this case, you'd want to define an instance of TxEnv MyDBEnv Connection and use  TxM MyDBEnv+ as your monad for executing transactions.¤Note that implementations should take care and ensure that multiple instances are compatible with one another. For example, let's say you have instances for both TxEnv E PgSimple.Connection and TxEnv E LibPQ.ConnectionÓ; if both of these implementations are grabbing connections from a pool, you will end up with each of those database libraries using different connections, and thus, would be running in separate transactions! postgresql-txAcquire a value a via the reader environment r which assists in running a  in a transaction. postgresql-txëThe transaction monad. Unifies all database integrations, regardless of library, into a single monad. The rë type parameter represents the reader environment needed for applicable database libraries. For example, postgresql-simple needs a  ConnectionË to run its functions, so its interface will require that we can obtain a  Connection from the r using the  type class.  postgresql-tx Convert a  action to raw 8 over 9Ì. This is provided only to give adaptor libraries access to the underlying 9 that  wraps.  postgresql-txRun an 9 action in *. Use this function with care - arbitrary 9? should only be run within a transaction when truly necessary.  postgresql-tx Construct a à using a reader function. Use this function with care - arbitrary 9> should only be run within a transaction when truly necessary.  postgresql-tx Similar to   but allows for constructing a ï with a reader function using a specific value from the environment. Use this function with care - arbitrary 9? should only be run within a transaction when truly necessary.  postgresql-txRun a  to 9( given the database runtime environment r>. Use of this function outside of test suites should be rare. postgresql-txRun a  action in 9Ì via the provided runner function. Use this function with care - arbitrary 9? should only be run within a transaction when truly necessary. postgresql-tx Analogous to  but can be run in 9 instead of . postgresql-txThrow an exception. postgresql-txÊCatch an exception and map it to another exception type before rethrowing. postgresql-tx PostgreSQL errcode for serialization_failure. postgresql-tx PostgreSQL errcode for deadlock_detected. postgresql-txChecks if the  of a ) matches the supplied predicate. If the  is : , returns ;. postgresql-txßUseful as a predicate to indicate when to retry transactions which are run at isolation level  serializable postgresql-tx Construct a  from an errcode accessing function and the  exception.èNote that this function should only be used by libraries which are implementing a database backend for  postgresql-tx. postgresql-txThe ( monad discourages performing arbitrary 9à within a transaction, so this instance generates a type error when client code tries to call <.  None+y  None/9>?ÀÁÂÄÉÖ×Ùìy! postgresql-tx Construct an " from the given tuple i1. Instances support tuples of up to 16 elements." postgresql-tx)Glorified hlist used to construct ad hoc tx runtime environments.% postgresql-tx Construct an " containing a single value.( postgresql-tx instance for "; selects the first a in the "5 and makes it available via the runtime environment.!"$#%"$#%!#2None¦    Safe-InferredÝ=>?@ABCDÅ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDE@AFCGHIJKLMNOPÑ,postgresql-tx-0.3.0.0-1VqRsnp2d913gVp7d3GVRtDatabase.PostgreSQL.Tx.InternalDatabase.PostgreSQL.Tx.HEnvDatabase.PostgreSQL.TxDatabase.PostgreSQL.Tx.UnsafePaths_postgresql_tx TxExceptionerrcodecauseTxEnvsTxEnv lookupTxEnvTxM UnsafeTxM unsafeUnTxMunsafeRunIOInTxM unsafeMkTxM unsafeMksTxM unsafeRunTxMunsafeWithRunInIOTxMaskTxEnvunsafeLookupTxEnvIOthrowExceptionTxmapExceptionTxerrcode'serialization_failureerrcode'deadlock_detected hasErrcode shouldRetryTxunsafeMkTxException $fMonadIOTxM$fExceptionTxException$fShowTxException $fFunctorTxM$fApplicativeTxM $fMonadTxM$fMonadFailTxM$fSemigroupTxM $fMonoidTxM fromTupleHEnvConsNil singleton $fSelecta: $fSelecta:0 $fTxEnvaHEnv$fFromTuple(,,,,,,,,,,,,,,,):$fFromTuple(,,,,,,,,,,,,,,):$fFromTuple(,,,,,,,,,,,,,):$fFromTuple(,,,,,,,,,,,,):$fFromTuple(,,,,,,,,,,,):$fFromTuple(,,,,,,,,,,):$fFromTuple(,,,,,,,,,):$fFromTuple(,,,,,,,,):$fFromTuple(,,,,,,,):$fFromTuple(,,,,,,):$fFromTuple(,,,,,):$fFromTuple(,,,,):$fFromTuple(,,,):$fFromTuple(,,):$fFromTuple(,):transformers-0.5.6.2Control.Monad.Trans.ReaderReaderTghc-prim GHC.TypesIObase GHC.MaybeNothingFalseControl.Monad.IO.ClassliftIOversion getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName