| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Database.Beam
Contents
Description
Top-level Beam module. This module re-exports all the symbols necessary for most common user operations.
The most interesting modules are Database.Beam.Schema and Database.Beam.Query.
This is mainly reference documentation. Most users will want to consult the manual.
The API has mostly stayed the same, but not all the examples given there compile.
- module Database.Beam.Query
- module Database.Beam.Schema
- class (BeamBackend be, Monad m, MonadIO m, Sql92SanityCheck syntax) => MonadBeam syntax be handle m | m -> syntax be handle where
- class BeamBackend be => FromBackendRow be a where
- class Monad m => MonadIO (m :: * -> *) where
- class Typeable k (a :: k)
- class Generic a
- data Identity a :: * -> *
Documentation
module Database.Beam.Query
module Database.Beam.Schema
class (BeamBackend be, Monad m, MonadIO m, Sql92SanityCheck syntax) => MonadBeam syntax be handle m | m -> syntax be handle where Source #
A class that ties together a Sql syntax, backend, handle, and monad type.
Intuitively, this allows you to write code that performs database commands
without having to know the underlying API. As long as you have an
appropriate handle from a database library that Beam can use, you can use
the MonadBeam methods to execute the query.
Provided here is a low-level interface. Most often, you'll only need the
withDatabase and withDatabaseDebug function. The 'run*' functions are
wrapped by the appropriate functions in Database.Beam.Query.
This interface is very high-level and isn't meant to expose the full power
of the underlying database. Namely, it only supports simple data retrieval
strategies. More complicated strategies (for example, Postgres's COPY)
are supported in individual backends. See the documentation of those
backends for more details.
Minimal complete definition
Methods
Arguments
| :: (String -> IO ()) | Database statement logging function |
| -> handle | The database connection handle against which to execute the action |
| -> m a | The database action |
| -> IO a |
Run a database action, and log debugging information about statements
executed using the specified IO action.
withDatabase :: handle -> m a -> IO a Source #
class BeamBackend be => FromBackendRow be a where Source #
Methods
fromBackendRow :: FromBackendRowM be a Source #
fromBackendRow :: BackendFromField be a => FromBackendRowM be a Source #
Instances
Re-exports
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:
Minimal complete definition
The class Typeable allows a concrete representation of a type to
be calculated.
Minimal complete definition
typeRep#
Representable types of kind *. This class is derivable in GHC with the DeriveGeneric flag on.
Instances
Identity functor and monad. (a non-strict monad)
Since: 4.8.0.0
Instances