Safe Haskell	None
Language	Haskell2010

Traction.Control

Documentation

type Db = DbT IO Source #

newtype DbT m a Source #

Constructors

DbT
Fields _runDb :: ReaderT TractionSettings (EitherT DbError m) a

Instances

MonadTrans DbT Source #
Instance details Defined in Traction.Control Methods lift :: Monad m => m a -> DbT m a #
Monad m => Monad (DbT m) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Traction.Control Methods liftIO :: IO a -> DbT m a #
MonadThrow m => MonadThrow (DbT m) Source #
Instance details Defined in Traction.Control Methods throwM :: Exception e => e -> DbT m a #
MonadCatch m => MonadCatch (DbT m) Source #
Instance details Defined in Traction.Control Methods catch :: Exception e => DbT m a -> (e -> DbT m a) -> DbT m a #
MonadMask m => MonadMask (DbT m) Source #
Instance details 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) Source #
Instance details Defined in Traction.Control Methods liftDb :: DbT IO a -> DbT m a Source #
MFunctor DbT Source #
Instance details Defined in Traction.Control Methods hoist :: Monad m => (forall a. m a -> n a) -> DbT m b -> DbT n b #

data DbError Source #

Instances

Eq DbError Source #
Instance details Defined in Traction.Control Methods (==) :: DbError -> DbError -> Bool # (/=) :: DbError -> DbError -> Bool #
Show DbError Source #
Instance details Defined in Traction.Control Methods showsPrec :: Int -> DbError -> ShowS # show :: DbError -> String # showList :: [DbError] -> ShowS #

type Tracer = Text -> IO () Source #

renderDbError :: DbError -> Text Source #

newtype DbPool Source #

Constructors

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

data DbPoolConfiguration Source #

Constructors

DbPoolConfiguration
Fields dbPoolStripes :: Int dbPoolKeepAliveSeconds :: NominalDiffTime dbPoolSize :: Int

Instances

Eq DbPoolConfiguration Source #
Instance details Defined in Traction.Control Methods (==) :: DbPoolConfiguration -> DbPoolConfiguration -> Bool # (/=) :: DbPoolConfiguration -> DbPoolConfiguration -> Bool #
Ord DbPoolConfiguration Source #
Instance details 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 Source #
Instance details Defined in Traction.Control Methods showsPrec :: Int -> DbPoolConfiguration -> ShowS # show :: DbPoolConfiguration -> String # showList :: [DbPoolConfiguration] -> ShowS #

defaultDbPoolConfiguration :: DbPoolConfiguration Source #

class MonadIO m => MonadDb m where Source #

Methods

liftDb :: DbT IO a -> m a Source #

Instances

MonadIO m => MonadDb (DbT m) Source #
Instance details Defined in Traction.Control Methods liftDb :: DbT IO a -> DbT m a Source #
MonadDb m => MonadDb (ExceptT e m) Source #
Instance details Defined in Traction.Control Methods liftDb :: DbT IO a -> ExceptT e m a Source #

transaction :: Db a -> Db a Source #

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

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

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

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

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

runDbTracing :: DbPool -> Tracer -> Db a -> EitherT DbError IO a Source #

runDbTracingT :: DbPool -> Tracer -> (DbError -> e) -> EitherT e Db a -> EitherT e IO a Source #

runDbTracingWith :: DbPool -> Tracer -> WithTransaction -> Db a -> EitherT DbError IO a Source #

runDbTracingWithT :: DbPool -> Tracer -> WithTransaction -> (DbError -> e) -> EitherT e Db a -> EitherT e IO a Source #

newPool :: ByteString -> IO DbPool Source #

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

newRollbackPool :: ByteString -> IO DbPool Source #

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

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

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

failWith :: DbError -> Db a Source #

withTracing :: Tracer -> DbT m () -> DbT m () Source #

trace :: (MonadDb m, Show a) => a -> m () Source #

noTracing :: Tracer Source #

DbSqlError Query SqlError
DbQueryError Query QueryError
DbFormatError Query FormatError
DbResultError Query ResultError
DbTooManyResults Query Int
DbNoResults Query
DbEncodingInvariant Query Text Text