Traction.Control

Documentation

newtype Db a

Constructors

Db

Fields

• _runDb :: ReaderT TransactionContext (EitherT DbError IO) a

Instances

Monad Db

Defined in Traction.Control

Methods

(>>=) :: Db a -> (a -> Db b) -> Db b

(>>) :: Db a -> Db b -> Db b

return :: a -> Db a

fail :: String -> Db a

Functor Db

Defined in Traction.Control

Methods

fmap :: (a -> b) -> Db a -> Db b

(<$) :: a -> Db b -> Db a

Applicative Db

Defined in Traction.Control

Methods

pure :: a -> Db a

(<*>) :: Db (a -> b) -> Db a -> Db b

liftA2 :: (a -> b -> c) -> Db a -> Db b -> Db c

(*>) :: Db a -> Db b -> Db b

(<*) :: Db a -> Db b -> Db a

MonadIO Db

Defined in Traction.Control

Methods

liftIO :: IO a -> Db a

MonadDb Db

Defined in Traction.Control

Methods

liftDb :: Db a -> Db a

data DbError

Constructors

DbSqlError Query SqlError

DbQueryError Query QueryError

DbFormatError Query FormatError

DbResultError Query ResultError

DbTooManyResults Query Int

DbNoResults Query

DbEncodingInvariant Query Text Text

Instances

Eq DbError

Defined in Traction.Control

Methods

(==) :: DbError -> DbError -> Bool

(/=) :: DbError -> DbError -> Bool

Show DbError

Defined in Traction.Control

Methods

showsPrec :: Int -> DbError -> ShowS

show :: DbError -> String

showList :: [DbError] -> ShowS

renderDbError :: DbError -> Text

newtype DbPool

Constructors

DbPool

Fields

• runDbPool :: forall a. (Connection -> EitherT DbError IO a) -> EitherT DbError IO a

data DbPoolConfiguration

Constructors

DbPoolConfiguration

Fields

• dbPoolStripes :: Int
• dbPoolKeepAliveSeconds :: NominalDiffTime
• dbPoolSize :: Int

Instances

Eq DbPoolConfiguration

Defined in Traction.Control

Methods

(==) :: DbPoolConfiguration -> DbPoolConfiguration -> Bool

(/=) :: DbPoolConfiguration -> DbPoolConfiguration -> Bool

Ord DbPoolConfiguration

Defined in Traction.Control

Methods

compare :: DbPoolConfiguration -> DbPoolConfiguration -> Ordering

(<) :: DbPoolConfiguration -> DbPoolConfiguration -> Bool

(<=) :: DbPoolConfiguration -> DbPoolConfiguration -> Bool

(>) :: DbPoolConfiguration -> DbPoolConfiguration -> Bool

(>=) :: DbPoolConfiguration -> DbPoolConfiguration -> Bool

max :: DbPoolConfiguration -> DbPoolConfiguration -> DbPoolConfiguration

min :: DbPoolConfiguration -> DbPoolConfiguration -> DbPoolConfiguration

Show DbPoolConfiguration

Defined in Traction.Control

Methods

showsPrec :: Int -> DbPoolConfiguration -> ShowS

show :: DbPoolConfiguration -> String

showList :: [DbPoolConfiguration] -> ShowS

defaultDbPoolConfiguration :: DbPoolConfiguration

class MonadIO m => MonadDb m where

Methods

liftDb :: Db a -> m a

Instances

MonadDb Db

Defined in Traction.Control

Methods

liftDb :: Db a -> Db a

MonadDb m => MonadDb (ExceptT e m)

Defined in Traction.Control

Methods

liftDb :: Db a -> ExceptT e m a

transaction :: Db a -> Db a

transactionT :: EitherT e Db a -> EitherT e Db a

runDb :: DbPool -> Db a -> EitherT DbError IO a

runDbT :: DbPool -> (DbError -> e) -> EitherT e Db a -> EitherT e IO a

runDbWith :: DbPool -> WithTransaction -> Db a -> EitherT DbError IO a

runDbWithT :: DbPool -> WithTransaction -> (DbError -> e) -> EitherT e Db a -> EitherT e IO a

newPool :: ByteString -> IO DbPool

newPoolWith :: ByteString -> DbPoolConfiguration -> Db () -> IO DbPool

newRollbackPool :: ByteString -> IO DbPool

newRollbackPoolWith :: ByteString -> DbPoolConfiguration -> Db () -> IO DbPool

withRollbackSingletonPool :: (MonadMask m, MonadIO m) => ByteString -> (DbPool -> m a) -> m a

withConnection :: Query -> (Connection -> IO a) -> Db a

failWith :: DbError -> Db a