Database.Beam.Query

Documentation

data Q db s a

Instances

MonadState QueryBuilder (Q db s)

Monad (Q db s)

Functor (Q db s)

MonadFix (Q db s)

Applicative (Q db s)

data QExpr t

Instances

Eq (QExpr t)

Show (QExpr t)

Table t => Projectible (t QExpr)

Typeable * a => Projectible (QExpr a)

Table tbl => SqlValable (tbl QExpr)

Convertible a SqlValue => SqlValable (QExpr a)

Table tbl => SqlValable (PrimaryKey tbl QExpr)

type QExprToIdentity (table QExpr) = table Identity

type QExprToIdentity (QExpr a) = a

type HaskellLiteralForQExpr (table QExpr) = table Identity

type HaskellLiteralForQExpr (QExpr a) = a

type family QExprToIdentity x

Instances

type QExprToIdentity (table QExpr) = table Identity

type QExprToIdentity (QExpr a) = a

type QExprToIdentity (a, b) = (QExprToIdentity a, QExprToIdentity b)

type QExprToIdentity (a, b, c) = (QExprToIdentity a, QExprToIdentity b, QExprToIdentity c)

data TopLevelQ db s a

Wrapper for Qs that have been modified in such a way that they can no longer be joined against without the use of subquery. TopLevelQ is also an instance of IsQuery, and so can be passed directly to query or queryList

class IsQuery q

Minimal complete definition

toQ

class Projectible a where

Methods

project :: a -> [SQLExpr' QField]

Instances

Table t => Projectible (t QExpr)

Typeable * a => Projectible (QExpr a)

(Projectible a, Projectible b) => Projectible (a, b)

(Projectible a, Projectible b, Projectible c) => Projectible (a, b, c)

(Projectible a, Projectible b, Projectible c, Projectible d) => Projectible (a, b, c, d)

(Projectible a, Projectible b, Projectible c, Projectible d, Projectible e) => Projectible (a, b, c, d, e)

data Aggregation a

Constructors

GroupAgg (SQLExpr' QField)

GenericAgg Text [SQLExpr' QField]

queryToSQL' :: Projectible a => Q db s a -> (a, SQLSelect)

allExprOpts :: Applicative f => SQLExpr -> f (Maybe SQLExpr)

mkSqlField :: QField -> SQLFieldName

optimizeExpr :: QExpr a -> SQLExpr

optimizeExpr' :: SQLExpr' QField -> SQLExpr

all_ :: Database db => DatabaseTable db table -> Q db s (table QExpr)

Introduce all entries of a table into the Q monad

join_ :: Database db => DatabaseTable db table -> QExpr Bool -> Q db s (table QExpr)

Introduce all entries of a table into the Q monad based on the given SQLExpr

guard_ :: QExpr Bool -> Q db s ()

Only allow results for which the QExpr yields True

related_ :: (Database db, Table rel) => DatabaseTable db rel -> PrimaryKey rel QExpr -> Q db s (rel QExpr)

Introduce all entries of the given table which are referenced by the given ForeignKey

lookup_ :: (Database db, Table rel) => DatabaseTable db rel -> PrimaryKey rel QExpr -> Q db s (rel QExpr)

references_ :: Table tbl => PrimaryKey tbl QExpr -> tbl QExpr -> QExpr Bool

limit_ :: IsQuery q => Integer -> q db s a -> TopLevelQ db s a

Limit the number of results returned by a query.

The resulting query is a top-level one that must be passed to query, queryList, or subquery_. See TopLevelQ for details.

offset_ :: IsQuery q => Integer -> q db s a -> TopLevelQ db s a

Drop the first offset' results.

The resulting query is a top-level one that must be passed to query, queryList, or subquery_. See TopLevelQ for details.

(<.) :: QExpr a -> QExpr a -> QExpr Bool

(>.) :: QExpr a -> QExpr a -> QExpr Bool

(<=.) :: QExpr a -> QExpr a -> QExpr Bool

(>=.) :: QExpr a -> QExpr a -> QExpr Bool

(==.), (/=.) :: SqlOrd a => a -> a -> QExpr Bool infix 4

(&&.) :: QExpr Bool -> QExpr Bool -> QExpr Bool infixr 3

(||.) :: QExpr Bool -> QExpr Bool -> QExpr Bool infixr 2

not_ :: QExpr Bool -> QExpr Bool

div_ :: Integral a => QExpr a -> QExpr a -> QExpr a

mod_ :: Integral a => QExpr a -> QExpr a -> QExpr a

type family HaskellLiteralForQExpr x

Instances

type HaskellLiteralForQExpr (table QExpr) = table Identity

type HaskellLiteralForQExpr (QExpr a) = a

class SqlValable a where

Methods

val_ :: HaskellLiteralForQExpr a -> a

Instances

Table tbl => SqlValable (tbl QExpr)

Convertible a SqlValue => SqlValable (QExpr a)

Table tbl => SqlValable (PrimaryKey tbl QExpr)

enum_ :: Show a => a -> QExpr (BeamEnum a)

aggregate :: (Projectible a, Aggregating agg) => (a -> agg) -> (forall s. Q db s a) -> Q db s (LiftAggregationsToQExpr agg)

group_ :: QExpr a -> Aggregation a

sum_ :: Num a => QExpr a -> Aggregation a

count_ :: QExpr a -> Aggregation Int

orderBy :: (SqlOrderable ordering, IsQuery q) => (a -> ordering) -> q db s a -> TopLevelQ db s a

asc_ :: QExpr a -> SQLOrdering

desc_ :: QExpr a -> SQLOrdering

subquery_ :: (IsQuery q, Projectible a, Subqueryable a) => (forall s. q db s a) -> Q db s a

beamTxn :: MonadIO m => Beam db m -> (DatabaseSettings db -> BeamT e db m a) -> m (BeamResult e a)

insertInto :: (MonadIO m, Functor m, Table table, FromSqlValues (table Identity)) => DatabaseTable db table -> table Identity -> BeamT e db m (table Identity)

query :: (IsQuery q, MonadIO m, Functor m, FromSqlValues (QExprToIdentity a), Projectible a) => (forall s. q db s a) -> BeamT e db m (Source (BeamT e db m) (QExprToIdentity a))

queryList :: (IsQuery q, MonadIO m, Functor m, FromSqlValues (QExprToIdentity a), Projectible a) => (forall s. q db s a) -> BeamT e db m [QExprToIdentity a]

getOne :: (IsQuery q, MonadIO m, Functor m, FromSqlValues (QExprToIdentity a), Projectible a) => (forall s. q db s a) -> BeamT e db m (Maybe (QExprToIdentity a))

updateWhere :: (MonadIO m, Table tbl) => DatabaseTable db tbl -> (tbl QExpr -> tbl QExpr) -> (tbl QExpr -> QExpr Bool) -> BeamT e db m ()

saveTo :: (MonadIO m, Table tbl) => DatabaseTable db tbl -> tbl Identity -> BeamT e db m ()

deleteWhere :: (MonadIO m, Table tbl) => DatabaseTable db tbl -> (tbl QExpr -> QExpr Bool) -> BeamT e db m ()

deleteFrom :: (MonadIO m, Table tbl) => DatabaseTable db tbl -> PrimaryKey tbl Identity -> BeamT e db m ()