Traction.Control

Documentation

type Db = DbT IO

newtype DbT m a

Constructors

DbT

Fields

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

Instances

MonadTrans DbT

Defined in Traction.Control

Methods

lift :: Monad m => m a -> DbT m a

Monad m => Monad (DbT m)

Defined in Traction.Control

Methods

(>>=) :: DbT m a -> (a -> DbT m b) -> DbT m b

(>>) :: DbT m a -> DbT m b -> DbT m b

return :: a -> DbT m a

fail :: String -> DbT m a

Functor m => Functor (DbT m)

Defined in Traction.Control

Methods

fmap :: (a -> b) -> DbT m a -> DbT m b

(<$) :: a -> DbT m b -> DbT m a

Monad m => Applicative (DbT m)

Defined in Traction.Control

Methods

pure :: a -> DbT m a

(<*>) :: DbT m (a -> b) -> DbT m a -> DbT m b

liftA2 :: (a -> b -> c) -> DbT m a -> DbT m b -> DbT m c

(*>) :: DbT m a -> DbT m b -> DbT m b

(<*) :: DbT m a -> DbT m b -> DbT m a

MonadIO m => MonadIO (DbT m)

Defined in Traction.Control

Methods

liftIO :: IO a -> DbT m a

MonadThrow m => MonadThrow (DbT m)

Defined in Traction.Control

Methods

throwM :: Exception e => e -> DbT m a

MonadCatch m => MonadCatch (DbT m)

Defined in Traction.Control

Methods

catch :: Exception e => DbT m a -> (e -> DbT m a) -> DbT m a

MonadMask m => MonadMask (DbT m)

Defined in Traction.Control

Methods

mask :: ((forall a. DbT m a -> DbT m a) -> DbT m b) -> DbT m b

uninterruptibleMask :: ((forall a. DbT m a -> DbT m a) -> DbT m b) -> DbT m b

generalBracket :: DbT m a -> (a -> ExitCase b -> DbT m c) -> (a -> DbT m b) -> DbT m (b, c)

MonadIO m => MonadDb (DbT m)

Defined in Traction.Control

Methods

liftDb :: DbT IO a -> DbT m a

MFunctor DbT

Defined in Traction.Control

Methods

hoist :: Monad m => (forall a. m a -> n a) -> DbT m b -> DbT n b

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 :: DbT IO a -> m a

Instances

MonadIO m => MonadDb (DbT m)

Defined in Traction.Control

Methods

liftDb :: DbT IO a -> DbT m a

MonadDb m => MonadDb (ExceptT e m)

Defined in Traction.Control

Methods

liftDb :: DbT IO 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