Safe Haskell	None
Language	Haskell2010

Database.Selda.Backend

Description

API for building Selda backends.

Synopsis

Documentation

class Monad m => MonadIO m where #

Monads in which IO computations may be embedded. Any monad built by applying a sequence of monad transformers to the IO monad will be an instance of this class.

Instances should satisfy the following laws, which state that liftIO is a transformer of monads:

```
liftIO . return = return
```

liftIO (m >>= f) = liftIO m >>= (liftIO . f)

Minimal complete definition

liftIO

Methods

liftIO :: IO a -> m a #

Lift a computation from the IO monad.

Instances

MonadIO IO
Methods liftIO :: IO a -> IO a #
MonadIO m => MonadIO (ListT m)
Methods liftIO :: IO a -> ListT m a #
MonadIO m => MonadIO (MaybeT m)
Methods liftIO :: IO a -> MaybeT m a #
MonadIO m => MonadIO (SeldaT m) #
Methods liftIO :: IO a -> SeldaT m a #
(Error e, MonadIO m) => MonadIO (ErrorT e m)
Methods liftIO :: IO a -> ErrorT e m a #
MonadIO m => MonadIO (ExceptT e m)
Methods liftIO :: IO a -> ExceptT e m a #
MonadIO m => MonadIO (StateT s m)
Methods liftIO :: IO a -> StateT s m a #
MonadIO m => MonadIO (StateT s m)
Methods liftIO :: IO a -> StateT s m a #
(Monoid w, MonadIO m) => MonadIO (WriterT w m)
Methods liftIO :: IO a -> WriterT w m a #
(Monoid w, MonadIO m) => MonadIO (WriterT w m)
Methods liftIO :: IO a -> WriterT w m a #
MonadIO m => MonadIO (IdentityT * m)
Methods liftIO :: IO a -> IdentityT * m a #
MonadIO m => MonadIO (ContT * r m)
Methods liftIO :: IO a -> ContT * r m a #
MonadIO m => MonadIO (ReaderT * r m)
Methods liftIO :: IO a -> ReaderT * r m a #
(Monoid w, MonadIO m) => MonadIO (RWST r w s m)
Methods liftIO :: IO a -> RWST r w s m a #
(Monoid w, MonadIO m) => MonadIO (RWST r w s m)
Methods liftIO :: IO a -> RWST r w s m a #

type QueryRunner a = Text -> [Param] -> IO a Source #

A function which executes a query and gives back a list of extensible tuples; one tuple per result row, and one tuple element per column.

data SeldaBackend Source #

A collection of functions making up a Selda backend.

Constructors

SeldaBackend

Fields

runStmt :: QueryRunner (Int, [[SqlValue]])
Execute an SQL statement.
runStmtWithPK :: QueryRunner Int
Execute an SQL statement and return the last inserted primary key, where the primary key is auto-incrementing. Backends must take special care to make this thread-safe.
customColType :: Text -> [ColAttr] -> Maybe Text
Generate a custom column type for the column having the given Selda type and list of attributes.
defaultKeyword :: Text
The keyword that represents the default value for auto-incrementing primary keys.

class MonadIO m => MonadSelda m where Source #

Some monad with Selda SQL capabilitites.

Minimal complete definition

seldaBackend

Methods

seldaBackend :: m SeldaBackend Source #

Get the backend in use by the computation.

Instances

MonadIO m => MonadSelda (SeldaT m) Source #
Methods seldaBackend :: SeldaT m SeldaBackend Source #

newtype SeldaT m a Source #

Monad transformer adding Selda SQL capabilities.

Constructors

S
Fields unS :: StateT SeldaBackend m a

Instances

MonadTrans SeldaT Source #
Methods lift :: Monad m => m a -> SeldaT m a #
Monad m => Monad (SeldaT m) Source #
Methods (>>=) :: SeldaT m a -> (a -> SeldaT m b) -> SeldaT m b # (>>) :: SeldaT m a -> SeldaT m b -> SeldaT m b # return :: a -> SeldaT m a # fail :: String -> SeldaT m a #
Functor m => Functor (SeldaT m) Source #
Methods fmap :: (a -> b) -> SeldaT m a -> SeldaT m b # (<$) :: a -> SeldaT m b -> SeldaT m a #
Monad m => Applicative (SeldaT m) Source #
Methods pure :: a -> SeldaT m a # (<>) :: SeldaT m (a -> b) -> SeldaT m a -> SeldaT m b # (>) :: SeldaT m a -> SeldaT m b -> SeldaT m b # (<*) :: SeldaT m a -> SeldaT m b -> SeldaT m a #
MonadIO m => MonadIO (SeldaT m) Source #
Methods liftIO :: IO a -> SeldaT m a #
MonadThrow m => MonadThrow (SeldaT m) Source #
Methods throwM :: Exception e => e -> SeldaT m a #
MonadCatch m => MonadCatch (SeldaT m) Source #
Methods catch :: Exception e => SeldaT m a -> (e -> SeldaT m a) -> SeldaT m a #
MonadMask m => MonadMask (SeldaT m) Source #
Methods mask :: ((forall a. SeldaT m a -> SeldaT m a) -> SeldaT m b) -> SeldaT m b # uninterruptibleMask :: ((forall a. SeldaT m a -> SeldaT m a) -> SeldaT m b) -> SeldaT m b #
MonadIO m => MonadSelda (SeldaT m) Source #
Methods seldaBackend :: SeldaT m SeldaBackend Source #

data Param where Source #

A parameter to a prepared SQL statement.

Constructors

Param :: !(Lit a) -> Param

Instances

Eq Param Source #
Methods (==) :: Param -> Param -> Bool # (/=) :: Param -> Param -> Bool #
Ord Param Source #
Methods compare :: Param -> Param -> Ordering # (<) :: Param -> Param -> Bool # (<=) :: Param -> Param -> Bool # (>) :: Param -> Param -> Bool # (>=) :: Param -> Param -> Bool # max :: Param -> Param -> Param # min :: Param -> Param -> Param #
Show Param Source #
Methods showsPrec :: Int -> Param -> ShowS # show :: Param -> String # showList :: [Param] -> ShowS #

data Lit a where Source #

An SQL literal.

Constructors

LitS :: !Text -> Lit Text
LitI :: !Int -> Lit Int
LitD :: !Double -> Lit Double
LitB :: !Bool -> Lit Bool
LitTS :: !Text -> Lit UTCTime
LitDate :: !Text -> Lit Day
LitTime :: !Text -> Lit TimeOfDay
LitJust :: !(Lit a) -> Lit (Maybe a)
LitNull :: Lit (Maybe a)

Instances

Eq (Lit a) Source #
Methods (==) :: Lit a -> Lit a -> Bool # (/=) :: Lit a -> Lit a -> Bool #
Ord (Lit a) Source #
Methods compare :: Lit a -> Lit a -> Ordering # (<) :: Lit a -> Lit a -> Bool # (<=) :: Lit a -> Lit a -> Bool # (>) :: Lit a -> Lit a -> Bool # (>=) :: Lit a -> Lit a -> Bool # max :: Lit a -> Lit a -> Lit a # min :: Lit a -> Lit a -> Lit a #
Show (Lit a) Source #
Methods showsPrec :: Int -> Lit a -> ShowS # show :: Lit a -> String # showList :: [Lit a] -> ShowS #

data SqlValue where Source #

Some value that is representable in SQL.

Constructors

SqlInt :: !Int -> SqlValue
SqlFloat :: !Double -> SqlValue
SqlString :: !Text -> SqlValue
SqlBool :: !Bool -> SqlValue
SqlNull :: SqlValue

Instances

Show SqlValue Source #
Methods showsPrec :: Int -> SqlValue -> ShowS # show :: SqlValue -> String # showList :: [SqlValue] -> ShowS #

data ColAttr Source #

Column attributes such as nullability, auto increment, etc. When adding elements, make sure that they are added in the order required by SQL syntax, as this list is only sorted before being pretty-printed.

Constructors

Primary
AutoIncrement
Required
Optional

Instances

Eq ColAttr Source #
Methods (==) :: ColAttr -> ColAttr -> Bool # (/=) :: ColAttr -> ColAttr -> Bool #
Ord ColAttr Source #
Methods compare :: ColAttr -> ColAttr -> Ordering # (<) :: ColAttr -> ColAttr -> Bool # (<=) :: ColAttr -> ColAttr -> Bool # (>) :: ColAttr -> ColAttr -> Bool # (>=) :: ColAttr -> ColAttr -> Bool # max :: ColAttr -> ColAttr -> ColAttr # min :: ColAttr -> ColAttr -> ColAttr #
Show ColAttr Source #
Methods showsPrec :: Int -> ColAttr -> ShowS # show :: ColAttr -> String # showList :: [ColAttr] -> ShowS #

compileColAttr :: ColAttr -> Text Source #

Compile a column attribute.

sqlDateTimeFormat :: String Source #

Format string used to represent date and time when talking to the database backend.

sqlDateFormat :: String Source #

Format string used to represent date when talking to the database backend.

sqlTimeFormat :: String Source #

Format string used to represent time of day when talking to the database backend.

runSeldaT :: MonadIO m => SeldaT m a -> SeldaBackend -> m a Source #

Run a Selda transformer. Backends should use this to implement their withX functions.