Safe Haskell	None
Language	Haskell2010

Database.Beam.Query.Internal

Contents

QExpr type
Sql Projections

Synopsis

Documentation

class IsQuery q where Source

Methods

toQ :: q db s a -> Q db s a Source

newtype Q db s a Source

Constructors

Q
Fields runQ :: State QueryBuilder a

Instances

MonadState QueryBuilder (Q db s) Source
Monad (Q db s) Source
Functor (Q db s) Source
MonadFix (Q db s) Source
Applicative (Q db s) Source

newtype TopLevelQ db s a Source

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

Constructors

TopLevelQ (Q db s a)

data QueryBuilder Source

Constructors

QueryBuilder
Fields qbNextTblRef :: Int qbFrom :: Maybe SQLFrom qbWhere :: QExpr Bool qbLimit :: Maybe Integer qbOffset :: Maybe Integer qbOrdering :: [SQLOrdering] qbGrouping :: Maybe SQLGrouping

Instances

MonadState QueryBuilder (Q db s) Source

QExpr type

data QField Source

Constructors

QField
Fields qFieldTblName :: Text qFieldTblOrd :: Maybe Int qFieldName :: Text

Instances

Eq QField Source
Ord QField Source
Show QField Source

newtype QExpr t Source

Constructors

QExpr (SQLExpr' QField)

Instances

Eq (QExpr t) Source
Show (QExpr t) Source
Table t => Projectible (t QExpr) Source
Typeable * a => Projectible (QExpr a) Source
Table tbl => SqlValable (tbl QExpr) Source
Convertible a SqlValue => SqlValable (QExpr a) Source
Table tbl => SqlValable (PrimaryKey tbl QExpr) Source
type QExprToIdentity (table QExpr) = table Identity Source
type QExprToIdentity (QExpr a) = a Source
type HaskellLiteralForQExpr (table QExpr) = table Identity Source
type HaskellLiteralForQExpr (QExpr a) = a Source

Sql Projections

class Projectible a where Source

Methods

project :: a -> [SQLExpr' QField] Source

Instances

Table t => Projectible (t QExpr) Source
Typeable * a => Projectible (QExpr a) Source
(Projectible a, Projectible b) => Projectible (a, b) Source
(Projectible a, Projectible b, Projectible c) => Projectible (a, b, c) Source
(Projectible a, Projectible b, Projectible c, Projectible d) => Projectible (a, b, c, d) Source
(Projectible a, Projectible b, Projectible c, Projectible d, Projectible e) => Projectible (a, b, c, d, e) Source

tableVal :: Table tbl => tbl Identity -> tbl QExpr Source