Modulebeam-core-0.11.1.0Haskell2010

Database.Beam.Query.Internal

29 types
7 classes
9 values

Packagebeam-core-0.11.1.0
Exports51
LanguageHaskell2010
LicenceMIT
SourceInternal.hs

typetype ProjectibleInBackend be a = (Projectible be a, ProjectibleValue be a)

typetype TablePrefix = Text

datadata QF be (db :: (Type -> Type) -> Type) s next where

Constructors

QDistinct :: Projectible be r => (r -> WithExprContext (BeamSqlBackendSetQuantifierSyntax be)) -> QM be db s r -> (r -> next) -> QF be db s next
QAll :: Projectible be r => (TablePrefix -> Text -> BeamSqlBackendFromSyntax be) -> (Text -> r) -> (r -> Maybe (WithExprContext (BeamSqlBackendExpressionSyntax be))) -> ((Text, r) -> next) -> QF be db s next
QArbitraryJoin :: Projectible be r => QM be db (QNested s) r -> Text -> (BeamSqlBackendFromSyntax be -> BeamSqlBackendFromSyntax be -> Maybe (BeamSqlBackendExpressionSyntax be) -> BeamSqlBackendFromSyntax be) -> (r -> Maybe (WithExprContext (BeamSqlBackendExpressionSyntax be))) -> (r -> next) -> QF be db s next
QTwoWayJoin :: (Projectible be a, Projectible be b) => QM be db (QNested s) a -> QM be db (QNested s) b -> (BeamSqlBackendFromSyntax be -> BeamSqlBackendFromSyntax be -> Maybe (BeamSqlBackendExpressionSyntax be) -> BeamSqlBackendFromSyntax be) -> ((a, b) -> Maybe (WithExprContext (BeamSqlBackendExpressionSyntax be))) -> ((a, b) -> next) -> QF be db s next
QSubSelect :: Projectible be r => QM be db (QNested s) r -> (r -> next) -> QF be db s next
QGuard :: WithExprContext (BeamSqlBackendExpressionSyntax be) -> next -> QF be db s next
QLimit :: Projectible be r => Integer -> QM be db (QNested s) r -> (r -> next) -> QF be db s next
QOffset :: Projectible be r => Integer -> QM be db (QNested s) r -> (r -> next) -> QF be db s next
QSetOp :: Projectible be r => (BeamSqlBackendSelectTableSyntax be -> BeamSqlBackendSelectTableSyntax be -> BeamSqlBackendSelectTableSyntax be) -> QM be db (QNested s) r -> QM be db (QNested s) r -> (r -> next) -> QF be db s next
QOrderBy :: Projectible be r => (r -> WithExprContext [BeamSqlBackendOrderingSyntax be]) -> QM be db (QNested s) r -> (r -> next) -> QF be db s next
QWindowOver :: (ProjectibleWithPredicate WindowFrameContext be (WithExprContext (BeamSqlBackendWindowFrameSyntax' be)) window, Projectible be r, Projectible be a) => (r -> window) -> (r -> window -> a) -> QM be db (QNested s) r -> (a -> next) -> QF be db s next
QAggregate :: (Projectible be grouping, Projectible be a) => (a -> TablePrefix -> (Maybe (BeamSqlBackendGroupingSyntax be), grouping)) -> QM be db (QNested s) a -> (grouping -> next) -> QF be db s next
QForceSelect :: Projectible be r => (r -> BeamSqlBackendSelectTableSyntax be -> [BeamSqlBackendOrderingSyntax be] -> Maybe Integer -> Maybe Integer -> BeamSqlBackendSelectSyntax be) -> QM be db (QNested s) r -> (r -> next) -> QF be db s next

Instances1Functor

Functor (QF be db s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

typetype QM be (db :: (Type -> Type) -> Type) s = F (QF be db s)

newtypenewtype Q be (db :: (Type -> Type) -> Type) s a

The type of queries over the database db returning results of type a. The s argument is a threading argument meant to restrict cross-usage of QExprs. syntax represents the SQL syntax that this query is building.

Constructors

Q
- runQ :: QM be db s a

Instances3Monad, Functor, Applicative

Monad (Q be db s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Functor (Q be db s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Applicative (Q be db s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

datadata QInternal

datadata QNested s

datadata QField s ty

Constructors

QField
- qFieldShouldQualify :: !Bool
- qFieldTblName :: !Text
- qFieldName :: !Text

Instances9ProjectibleWithPredicate, SqlUpdatable, Eq, Ord, Show, …

Beamable t => ProjectibleWithPredicate AnyType () Text (t (Nullable (QField s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable t => ProjectibleWithPredicate AnyType () Text (t (QField s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
ProjectibleWithPredicate AnyType () Text (QField s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(BeamSqlBackend be, Beamable tbl) => SqlUpdatable be s (tbl (Nullable (QField s))) (tbl (Nullable (QExpr be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
(BeamSqlBackend be, Beamable tbl) => SqlUpdatable be s (tbl (QField s)) (tbl (QExpr be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
BeamSqlBackend be => SqlUpdatable be s (QField s a) (QExpr be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
Eq (QField s ty)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Ord (QField s ty)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Show (QField s ty)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

newtypenewtype QAssignment be s

Constructors

QAssignment
- unQAssignment :: [(BeamSqlBackendFieldNameSyntax be, BeamSqlBackendExpressionSyntax be)]

Instances2Semigroup, Monoid

Semigroup (QAssignment be s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Monoid (QAssignment be s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

newtypenewtype QFieldAssignment be (tbl :: (Type -> Type) -> Type) a

Constructors

QFieldAssignment (forall s. tbl (QExpr be s) -> Maybe (QExpr be s a))

QGenExpr type

17 declarations

datadata QAggregateContext

Instances1ContextName

type ContextName QAggregateContext = "an aggregate"Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

datadata QGroupingContext

Instances4QGroupable, ContextName

Beamable tbl => QGroupable (tbl (Nullable (QExpr be s))) (tbl (Nullable (QGroupExpr be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Aggregate
group_ for any Beamable type. Adds every field in the type to the grouping key. This is the equivalent of including the grouping expression of each field in the type as part of the aggregate projection
Beamable tbl => QGroupable (tbl (QExpr be s)) (tbl (QGroupExpr be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Aggregate
group_ for any Beamable type. Adds every field in the type to the grouping key. This is the equivalent of including the grouping expression of each field in the type as part of the aggregate projection
QGroupable (QExpr be s a) (QGroupExpr be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Aggregate
group_ for simple value expressions.
type ContextName QGroupingContext = "an aggregate grouping"Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

datadata QValueContext

Instances10SqlUpdatable, QGroupable, SqlJustable, ContextName, …

(BeamSqlBackend be, Beamable tbl) => SqlUpdatable be s (tbl (Nullable (QField s))) (tbl (Nullable (QExpr be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
(BeamSqlBackend be, Beamable tbl) => SqlUpdatable be s (tbl (QField s)) (tbl (QExpr be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
BeamSqlBackend be => SqlUpdatable be s (QField s a) (QExpr be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
Beamable tbl => QGroupable (tbl (Nullable (QExpr be s))) (tbl (Nullable (QGroupExpr be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Aggregate
group_ for any Beamable type. Adds every field in the type to the grouping key. This is the equivalent of including the grouping expression of each field in the type as part of the aggregate projection
Beamable tbl => QGroupable (tbl (QExpr be s)) (tbl (QGroupExpr be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Aggregate
group_ for any Beamable type. Adds every field in the type to the grouping key. This is the equivalent of including the grouping expression of each field in the type as part of the aggregate projection
(Table t, BeamSqlBackend be) => SqlJustable (t (QExpr be s)) (t (Nullable (QExpr be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
(Table t, BeamSqlBackend be) => SqlJustable (PrimaryKey t (QExpr be s)) (PrimaryKey t (Nullable (QExpr be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
QGroupable (QExpr be s a) (QGroupExpr be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Aggregate
group_ for simple value expressions.
BeamSqlBackend be => SqlJustable (QExpr be s a) (QExpr be s (Maybe a))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
type ContextName QValueContext = "a value"Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

datadata QWindowingContext

Instances1ContextName

type ContextName QWindowingContext = "a window expression"Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

datadata QWindowFrameContext

Instances1ContextName

type ContextName QWindowFrameContext = "a window frame"Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

newtypenewtype QGenExpr context be s t

The type of lifted beam expressions that will yield the haskell type t.

context is a type-level representation of the types of expressions this can contain. For example, QAggregateContext represents expressions that may contain aggregates, and QWindowingContext represents expressions that may contain OVER.

syntax is the expression syntax being built (usually a type that implements IsSql92ExpressionSyntax at least, but not always).

s is a state threading parameter that prevents QExprs from incompatible sources to be combined. For example, this is used to prevent monadic joins from depending on the result of previous joins (so-called LATERAL joins).

Constructors

QExpr (TablePrefix -> BeamSqlBackendExpressionSyntax be)

Instances53ProjectibleWithPredicate, SqlUpdatable, SqlOrderable, ThreadRewritable, SqlDeconstructMaybe, IsCustomExprFn, …

(BeamSqlBackend be, Beamable tbl) => SqlUpdatable be s (tbl (Nullable (QField s))) (tbl (Nullable (QExpr be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
(BeamSqlBackend be, Beamable tbl) => SqlUpdatable be s (tbl (QField s)) (tbl (QExpr be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
(Beamable t, contextPredicate context) => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendExpressionSyntax' be)) (t (Nullable (QGenExpr context be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(Beamable t, contextPredicate context) => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendExpressionSyntax' be)) (t (QGenExpr context be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
contextPredicate context => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendExpressionSyntax' be)) (QGenExpr context be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
BeamSqlBackend be => SqlUpdatable be s (QField s a) (QExpr be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
Beamable tbl => ThreadRewritable s (tbl (Nullable (QGenExpr ctxt syntax s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable tbl => ThreadRewritable s (tbl (QGenExpr ctxt syntax s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(BeamSqlBackend be, Beamable t) => SqlDeconstructMaybe be (t (Nullable (QGenExpr ctxt be s))) (t (QGenExpr ctxt be s)) sDefined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
TypeError ('Text "Missing mandatory sorting order. Use either 'asc_' or 'desc_' to specify sorting order.") => SqlOrderable be (QGenExpr ctx be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
ThreadRewritable s (QGenExpr ctxt syntax s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
BeamSqlBackend be => SqlDeconstructMaybe be (QGenExpr ctxt be s (Maybe x)) (QGenExpr ctxt be s x) sDefined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
(Beamable table, BeamSqlBackend be, FieldsFulfillConstraint (BeamSqlBackendCanSerialize be) table) => SqlValable (table (QGenExpr ctxt be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
(Beamable table, BeamSqlBackend be, FieldsFulfillConstraintNullable (BeamSqlBackendCanSerialize be) table) => SqlValable (table (Nullable (QGenExpr ctxt be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
Beamable tbl => ContextRewritable (tbl (Nullable (QGenExpr old syntax s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable tbl => ContextRewritable (tbl (QGenExpr old syntax s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable tbl => QGroupable (tbl (Nullable (QExpr be s))) (tbl (Nullable (QGroupExpr be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Aggregate
group_ for any Beamable type. Adds every field in the type to the grouping key. This is the equivalent of including the grouping expression of each field in the type as part of the aggregate projection
Beamable tbl => QGroupable (tbl (QExpr be s)) (tbl (QGroupExpr be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Aggregate
group_ for any Beamable type. Adds every field in the type to the grouping key. This is the equivalent of including the grouping expression of each field in the type as part of the aggregate projection
(Table t, BeamSqlBackend be) => SqlJustable (t (QExpr be s)) (t (Nullable (QExpr be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
BeamSqlBackendHasCustomSyntax be => IsCustomExprFn (CustomSqlSnippet be) (QGenExpr ctxt be s res)Defined in beam-core-0.11.1.0 · Database.Beam.Query.CustomSQL
(Table t, BeamSqlBackend be) => SqlJustable (PrimaryKey t (QExpr be s)) (PrimaryKey t (Nullable (QExpr be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
(IsCustomExprFn a res, BeamSqlBackendHasCustomSyntax be) => IsCustomExprFn (CustomSqlSnippet be -> a) (QGenExpr ctxt be s r -> res)Defined in beam-core-0.11.1.0 · Database.Beam.Query.CustomSQL
(BeamSqlBackend be, Beamable tbl, FieldsFulfillConstraint (HasSqlEqualityCheck be) tbl) => SqlEq (QGenExpr context be s) (tbl (QGenExpr context be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Ord
Compare two arbitrary Beamable types containing QGenExprs for equality.
(BeamSqlBackend be, Beamable tbl, FieldsFulfillConstraintNullable (HasSqlEqualityCheck be) tbl) => SqlEq (QGenExpr context be s) (tbl (Nullable (QGenExpr context be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Ord
(HasSqlInTable be, Beamable table) => SqlIn (QGenExpr context be s) (table (QGenExpr context be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Ord
QGroupable (QExpr be s a) (QGroupExpr be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Aggregate
group_ for simple value expressions.
BeamSqlBackend be => SqlJustable (QExpr be s a) (QExpr be s (Maybe a))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
(BeamSqlBackend be, HasSqlQuantifiedEqualityCheck be a) => SqlEqQuantified (QGenExpr context be s) (QQuantified be s a) (QGenExpr context be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Ord
Two arbitrary expressions can be quantifiably compared for equality.
BeamSqlBackend be => SqlOrdQuantified (QGenExpr context be s) (QQuantified be s a) (QGenExpr context be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Ord
(BeamSqlBackend be, HasSqlEqualityCheck be a) => SqlEq (QGenExpr context be s) (QGenExpr context be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Ord
Compare two arbitrary expressions (of the same type) for equality
BeamSqlBackend be => SqlIn (QGenExpr context be s) (QGenExpr context be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Ord
BeamSqlBackend be => SqlOrd (QGenExpr context be s) (QGenExpr context be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Ord
Retaggable (QGenExpr ctxt expr s) (QGenExpr ctxt expr s t)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
BeamSqlBackend be => Eq (QGenExpr context be s t)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(Fractional a, BeamSqlBackend be, BeamSqlBackendCanSerialize be a) => Fractional (QGenExpr context be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(Num a, BeamSqlBackend be, BeamSqlBackendCanSerialize be a) => Num (QGenExpr context be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(BeamSqlBackend backend, BeamSqlBackendCanSerialize backend [Char]) => IsString (QGenExpr context backend s Text)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(BeamSqlBackendCanSerialize be a, BeamSqlBackend be) => SqlValable (QGenExpr ctxt be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
ContextRewritable (QGenExpr old syntax s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type HaskellLiteralForQExpr (QGenExpr context be s a) = aDefined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
type HaskellLiteralForQExpr (table (QGenExpr context be s)) = table IdentityDefined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators
type QExprToField (QGenExpr ctxt syntax s a) = QField s aDefined in beam-core-0.11.1.0 · Database.Beam.Query.Types
type QExprToField (table (Nullable (QGenExpr context syntax s))) = table (Nullable (QField s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Types
type QExprToField (table (QGenExpr context syntax s)) = table (QField s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Types
type QExprToIdentity (QGenExpr context syntax s a) = aDefined in beam-core-0.11.1.0 · Database.Beam.Query.Types
type QExprToIdentity (table (QGenExpr context syntax s)) = table IdentityDefined in beam-core-0.11.1.0 · Database.Beam.Query.Types
type WithRewrittenThread s s' (QGenExpr ctxt syntax s a) = QGenExpr ctxt syntax s' aDefined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type WithRewrittenThread s s' (tbl (Nullable (QGenExpr ctxt syntax s))) = tbl (Nullable (QGenExpr ctxt syntax s'))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type WithRewrittenThread s s' (tbl (QGenExpr ctxt syntax s)) = tbl (QGenExpr ctxt syntax s')Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type WithRewrittenContext (QGenExpr old syntax s a) ctxt = QGenExpr ctxt syntax s aDefined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type WithRewrittenContext (tbl (Nullable (QGenExpr old syntax s))) ctxt = tbl (Nullable (QGenExpr ctxt syntax s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type WithRewrittenContext (tbl (QGenExpr old syntax s)) ctxt = tbl (QGenExpr ctxt syntax s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type Retag tag (QGenExpr ctxt expr s t) = Columnar (tag (QGenExpr ctxt expr s)) tDefined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

newtypenewtype QOrd be s t

Constructors

QOrd (TablePrefix -> BeamSqlBackendOrderingSyntax be)

Instances1SqlOrderable

SqlOrderable be (QOrd be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Combinators

typetype WithExprContext a = TablePrefix -> a

typetype QExpr = QGenExpr QValueContext

QExprs represent expressions not containing aggregates.

typetype QAgg = QGenExpr QAggregateContext

typetype QWindowExpr = QGenExpr QWindowingContext

typetype QGroupExpr = QGenExpr QGroupingContext

newtypenewtype QWindow be s

Constructors

QWindow (WithExprContext (BeamSqlBackendWindowFrameSyntax be))

Instances1ProjectibleWithPredicate

contextPredicate QWindowFrameContext => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendWindowFrameSyntax' be)) (QWindow be s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

newtypenewtype QFrameBounds be

Constructors

QFrameBounds (Maybe (BeamSqlBackendWindowFrameBoundsSyntax be))

newtypenewtype QFrameBound be

Constructors

QFrameBound (BeamSqlBackendWindowFrameBoundSyntax be)

valueqBinOpE

:: BeamSqlBackend be
=> BeamSqlBackendExpressionSyntax be -> BeamSqlBackendExpressionSyntax be -> BeamSqlBackendExpressionSyntax be
-> QGenExpr context be s a
-> QGenExpr context be s b
-> QGenExpr context be s c

valueunsafeRetype :: QGenExpr ctxt be s a -> QGenExpr ctxt be s a'

Sql Projections

24 declarations

classclass Typeable context => AggregateContext context

Typeclass for all haskell data types that can be used to create a projection in a SQL select statement. This includes all tables as well as all tuple classes. Projections are only defined on tuples up to size 5. If you need more, follow the implementations here.

Instances1AggregateContext

(IsAggregateContext a, Typeable a) => AggregateContext aDefined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

familytype family ContextName a :: Symbol

Instances5ContextName

type ContextName QAggregateContext = "an aggregate"Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type ContextName QGroupingContext = "an aggregate grouping"Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type ContextName QValueContext = "a value"Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type ContextName QWindowFrameContext = "a window frame"Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
type ContextName QWindowingContext = "a window expression"Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

familytype family IsAggregateContext a :: Constraint where

Equations

IsAggregateContext QAggregateContext = ()
IsAggregateContext QGroupingContext = ()
IsAggregateContext a = TypeError (('Text "Non-aggregate expression where aggregate expected." ':$$: (('Text "Got " ':<>: 'Text (ContextName a)) ':<>: 'Text ". Expected an aggregate or a grouping")) ':$$: AggregateContextSuggestion a)

familytype family AggregateContextSuggestion a :: ErrorMessage where

Equations

AggregateContextSuggestion QValueContext = 'Text "Perhaps you forgot to wrap a value expression with 'group_'"
AggregateContextSuggestion QWindowingContext = 'Text "Perhaps you meant to use 'window_' instead of 'aggregate_'"
AggregateContextSuggestion b = 'Text ""

classclass Typeable context => ValueContext context

Instances1ValueContext

(IsValueContext a, Typeable a, a ~ QValueContext) => ValueContext aDefined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

classclass Typeable context => WindowFrameContext context

Instances1WindowFrameContext

(Typeable context, IsWindowFrameContext context, context ~ QWindowFrameContext) => WindowFrameContext contextDefined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

familytype family IsWindowFrameContext a :: Constraint where

Equations

IsWindowFrameContext QWindowFrameContext = ()
IsWindowFrameContext a = TypeError ('Text "Expected window frame." ':$$: (('Text "Got " ':<>: 'Text (ContextName a)) ':<>: 'Text ". Expected a window frame"))

classclass AnyType a

Instances7AnyType, ProjectibleWithPredicate, …

AnyType aDefined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable t => ProjectibleWithPredicate AnyType () Text (t (Nullable (QField s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable t => ProjectibleWithPredicate AnyType () Text (t (Nullable (Const Text)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable t => ProjectibleWithPredicate AnyType () Text (t (QField s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable t => ProjectibleWithPredicate AnyType () res (t (Const res))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
ProjectibleWithPredicate AnyType () Text (QField s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
ProjectibleWithPredicate AnyType () res (Const res a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

familytype family IsValueContext a :: Constraint where

Equations

IsValueContext QValueContext = ()
IsValueContext a = TypeError (('Text "Non-scalar context in projection" ':$$: (('Text "Got " ':<>: 'Text (ContextName a)) ':<>: 'Text ". Expected a value")) ':$$: ValueContextSuggestion a)

familytype family ValueContextSuggestion a :: ErrorMessage where

Equations

ValueContextSuggestion QWindowingContext = 'Text "Use 'window_' to projecct aggregate expressions to the value level"
ValueContextSuggestion QAggregateContext = 'Text "Aggregate functions and groupings cannot be contained in value expressions." ':$$: 'Text "Use 'aggregate_' to compute aggregations at the value level."
ValueContextSuggestion QGroupingContext = ValueContextSuggestion QAggregateContext
ValueContextSuggestion _1 = 'Text ""

typetype Projectible be = ProjectibleWithPredicate AnyType be (WithExprContext (BeamSqlBackendExpressionSyntax' be))

type

type ProjectibleValue be = ProjectibleWithPredicate ValueContext be (WithExprContext (BeamSqlBackendExpressionSyntax' be))

classclass ThreadRewritable s a | a -> s where

Associated types

type family WithRewrittenThread s s' a

Methods

rewriteThread :: Proxy s' -> a -> WithRewrittenThread s s' a

Instances12ThreadRewritable, …

ThreadRewritable s a => ThreadRewritable s [a]Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable tbl => ThreadRewritable s (tbl (Nullable (QGenExpr ctxt syntax s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable tbl => ThreadRewritable s (tbl (QGenExpr ctxt syntax s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ThreadRewritable s a, ThreadRewritable s b) => ThreadRewritable s (a, b)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ThreadRewritable s a, KnownNat n) => ThreadRewritable s (Vector n a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ThreadRewritable s a, ThreadRewritable s b, ThreadRewritable s c) => ThreadRewritable s (a, b, c)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
ThreadRewritable s (QGenExpr ctxt syntax s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ThreadRewritable s a, ThreadRewritable s b, ThreadRewritable s c, ThreadRewritable s d) => ThreadRewritable s (a, b, c, d)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ThreadRewritable s a, ThreadRewritable s b, ThreadRewritable s c, ThreadRewritable s d, ThreadRewritable s e) => ThreadRewritable s (a, b, c, d, e)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ThreadRewritable s a, ThreadRewritable s b, ThreadRewritable s c, ThreadRewritable s d, ThreadRewritable s e, ThreadRewritable s f) => ThreadRewritable s (a, b, c, d, e, f)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ThreadRewritable s a, ThreadRewritable s b, ThreadRewritable s c, ThreadRewritable s d, ThreadRewritable s e, ThreadRewritable s f, ThreadRewritable s g) => ThreadRewritable s (a, b, c, d, e, f, g)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ThreadRewritable s a, ThreadRewritable s b, ThreadRewritable s c, ThreadRewritable s d, ThreadRewritable s e, ThreadRewritable s f, ThreadRewritable s g, ThreadRewritable s h) => ThreadRewritable s (a, b, c, d, e, f, g, h)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

classclass ContextRewritable a where

Associated types

type family WithRewrittenContext a ctxt

Methods

rewriteContext :: Proxy ctxt -> a -> WithRewrittenContext a ctxt

Instances12ContextRewritable, …

ContextRewritable a => ContextRewritable [a]Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable tbl => ContextRewritable (tbl (Nullable (QGenExpr old syntax s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable tbl => ContextRewritable (tbl (QGenExpr old syntax s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ContextRewritable a, ContextRewritable b) => ContextRewritable (a, b)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ContextRewritable a, KnownNat n) => ContextRewritable (Vector n a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ContextRewritable a, ContextRewritable b, ContextRewritable c) => ContextRewritable (a, b, c)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
ContextRewritable (QGenExpr old syntax s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ContextRewritable a, ContextRewritable b, ContextRewritable c, ContextRewritable d) => ContextRewritable (a, b, c, d)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ContextRewritable a, ContextRewritable b, ContextRewritable c, ContextRewritable d, ContextRewritable e) => ContextRewritable (a, b, c, d, e)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ContextRewritable a, ContextRewritable b, ContextRewritable c, ContextRewritable d, ContextRewritable e, ContextRewritable f) => ContextRewritable (a, b, c, d, e, f)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ContextRewritable a, ContextRewritable b, ContextRewritable c, ContextRewritable d, ContextRewritable e, ContextRewritable f, ContextRewritable g) => ContextRewritable (a, b, c, d, e, f, g)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ContextRewritable a, ContextRewritable b, ContextRewritable c, ContextRewritable d, ContextRewritable e, ContextRewritable f, ContextRewritable g, ContextRewritable h) => ContextRewritable (a, b, c, d, e, f, g, h)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

newtypenewtype BeamSqlBackendExpressionSyntax' be

Constructors

BeamSqlBackendExpressionSyntax'
- fromBeamSqlBackendExpressionSyntax :: BeamSqlBackendExpressionSyntax be

Instances3ProjectibleWithPredicate

(Beamable t, contextPredicate context) => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendExpressionSyntax' be)) (t (Nullable (QGenExpr context be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(Beamable t, contextPredicate context) => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendExpressionSyntax' be)) (t (QGenExpr context be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
contextPredicate context => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendExpressionSyntax' be)) (QGenExpr context be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

newtypenewtype BeamSqlBackendWindowFrameSyntax' be

Constructors

BeamSqlBackendWindowFrameSyntax'
- fromBeamSqlBackendWindowFrameSyntax :: BeamSqlBackendWindowFrameSyntax be

Instances1ProjectibleWithPredicate

contextPredicate QWindowFrameContext => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendWindowFrameSyntax' be)) (QWindow be s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal

classclass ProjectibleWithPredicate (contextPredicate :: Type -> Constraint) be res a | a -> be where

Methods

project' :: Monad m => Proxy contextPredicate -> Proxy (be, res) -> (forall context. contextPredicate context => Proxy context -> Proxy be -> res -> m res) -> a -> m a
projectSkeleton' :: Monad m => Proxy contextPredicate -> Proxy (be, res) -> (forall context. contextPredicate context => Proxy context -> Proxy be -> m res) -> m a

Instances19ProjectibleWithPredicate, …

Beamable t => ProjectibleWithPredicate AnyType () Text (t (Nullable (QField s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable t => ProjectibleWithPredicate AnyType () Text (t (Nullable (Const Text)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable t => ProjectibleWithPredicate AnyType () Text (t (QField s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
Beamable t => ProjectibleWithPredicate AnyType () res (t (Const res))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
ProjectibleWithPredicate AnyType () Text (QField s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ProjectibleWithPredicate contextPredicate be res a, ProjectibleWithPredicate contextPredicate be res b) => ProjectibleWithPredicate contextPredicate be res (a, b)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ProjectibleWithPredicate contextPredicate be res a, KnownNat n) => ProjectibleWithPredicate contextPredicate be res (Vector n a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(Monoid a, ProjectibleWithPredicate c syntax res b) => ProjectibleWithPredicate c syntax res (PreserveLeft a b)Defined in beam-core-0.11.1.0 · Database.Beam.Query.SQL92
ProjectibleWithPredicate AnyType () res (Const res a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ProjectibleWithPredicate contextPredicate be res a, ProjectibleWithPredicate contextPredicate be res b, ProjectibleWithPredicate contextPredicate be res c) => ProjectibleWithPredicate contextPredicate be res (a, b, c)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ProjectibleWithPredicate contextPredicate be res a, ProjectibleWithPredicate contextPredicate be res b, ProjectibleWithPredicate contextPredicate be res c, ProjectibleWithPredicate contextPredicate be res d) => ProjectibleWithPredicate contextPredicate be res (a, b, c, d)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ProjectibleWithPredicate contextPredicate be res a, ProjectibleWithPredicate contextPredicate be res b, ProjectibleWithPredicate contextPredicate be res c, ProjectibleWithPredicate contextPredicate be res d, ProjectibleWithPredicate contextPredicate be res e) => ProjectibleWithPredicate contextPredicate be res (a, b, c, d, e)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ProjectibleWithPredicate contextPredicate be res a, ProjectibleWithPredicate contextPredicate be res b, ProjectibleWithPredicate contextPredicate be res c, ProjectibleWithPredicate contextPredicate be res d, ProjectibleWithPredicate contextPredicate be res e, ProjectibleWithPredicate contextPredicate be res f) => ProjectibleWithPredicate contextPredicate be res (a, b, c, d, e, f)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ProjectibleWithPredicate contextPredicate be res a, ProjectibleWithPredicate contextPredicate be res b, ProjectibleWithPredicate contextPredicate be res c, ProjectibleWithPredicate contextPredicate be res d, ProjectibleWithPredicate contextPredicate be res e, ProjectibleWithPredicate contextPredicate be res f, ProjectibleWithPredicate contextPredicate be res g) => ProjectibleWithPredicate contextPredicate be res (a, b, c, d, e, f, g)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(ProjectibleWithPredicate contextPredicate be res a, ProjectibleWithPredicate contextPredicate be res b, ProjectibleWithPredicate contextPredicate be res c, ProjectibleWithPredicate contextPredicate be res d, ProjectibleWithPredicate contextPredicate be res e, ProjectibleWithPredicate contextPredicate be res f, ProjectibleWithPredicate contextPredicate be res g, ProjectibleWithPredicate contextPredicate be res h) => ProjectibleWithPredicate contextPredicate be res (a, b, c, d, e, f, g, h)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(Beamable t, contextPredicate context) => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendExpressionSyntax' be)) (t (Nullable (QGenExpr context be s)))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
(Beamable t, contextPredicate context) => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendExpressionSyntax' be)) (t (QGenExpr context be s))Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
contextPredicate QWindowFrameContext => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendWindowFrameSyntax' be)) (QWindow be s)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal
contextPredicate context => ProjectibleWithPredicate contextPredicate be (WithExprContext (BeamSqlBackendExpressionSyntax' be)) (QGenExpr context be s a)Defined in beam-core-0.11.1.0 · Database.Beam.Query.Internal