Database.Beam.Query.Internal

Documentation

type ProjectibleInSelectSyntax syntax a = (IsSql92SelectSyntax syntax, Eq (Sql92SelectExpressionSyntax syntax), Sql92ProjectionExpressionSyntax (Sql92SelectProjectionSyntax syntax) ~ Sql92SelectExpressionSyntax syntax, Sql92TableSourceSelectSyntax (Sql92FromTableSourceSyntax (Sql92SelectFromSyntax syntax)) ~ syntax, Projectible (Sql92ProjectionExpressionSyntax (Sql92SelectTableProjectionSyntax (Sql92SelectSelectTableSyntax syntax))) a, ProjectibleValue (Sql92ProjectionExpressionSyntax (Sql92SelectTableProjectionSyntax (Sql92SelectSelectTableSyntax syntax))) a)

type TablePrefix = Text

data QF select (db :: (* -> *) -> *) s next where

Constructors

QDistinct :: Projectible (Sql92SelectExpressionSyntax select) r => (r -> WithExprContext (Sql92SelectTableSetQuantifierSyntax (Sql92SelectSelectTableSyntax select))) -> QM select db s r -> (r -> next) -> QF select db s next

QAll :: Beamable table => (TablePrefix -> Text -> Sql92SelectFromSyntax select) -> TableSettings table -> (table (QExpr (Sql92SelectExpressionSyntax select) s) -> Maybe (WithExprContext (Sql92SelectExpressionSyntax select))) -> ((Text, table (QExpr (Sql92SelectExpressionSyntax select) s)) -> next) -> QF select db s next

QArbitraryJoin :: Projectible (Sql92SelectExpressionSyntax select) r => QM select db (QNested s) r -> (Sql92SelectFromSyntax select -> Sql92SelectFromSyntax select -> Maybe (Sql92FromExpressionSyntax (Sql92SelectFromSyntax select)) -> Sql92SelectFromSyntax select) -> (r -> Maybe (WithExprContext (Sql92SelectExpressionSyntax select))) -> (r -> next) -> QF select db s next

QTwoWayJoin :: (Projectible (Sql92SelectExpressionSyntax select) a, Projectible (Sql92SelectExpressionSyntax select) b) => QM select db (QNested s) a -> QM select db (QNested s) b -> (Sql92SelectFromSyntax select -> Sql92SelectFromSyntax select -> Maybe (Sql92FromExpressionSyntax (Sql92SelectFromSyntax select)) -> Sql92SelectFromSyntax select) -> ((a, b) -> Maybe (WithExprContext (Sql92SelectExpressionSyntax select))) -> ((a, b) -> next) -> QF select db s next

QSubSelect :: Projectible (Sql92SelectExpressionSyntax select) r => QM select db (QNested s) r -> (r -> next) -> QF select db s next

QGuard :: WithExprContext (Sql92SelectExpressionSyntax select) -> next -> QF select db s next

QLimit :: Projectible (Sql92SelectExpressionSyntax select) r => Integer -> QM select db (QNested s) r -> (r -> next) -> QF select db s next

QOffset :: Projectible (Sql92SelectExpressionSyntax select) r => Integer -> QM select db (QNested s) r -> (r -> next) -> QF select db s next

QUnion :: Projectible (Sql92SelectExpressionSyntax select) r => Bool -> QM select db (QNested s) r -> QM select db (QNested s) r -> (r -> next) -> QF select db s next

QIntersect :: Projectible (Sql92SelectExpressionSyntax select) r => Bool -> QM select db (QNested s) r -> QM select db (QNested s) r -> (r -> next) -> QF select db s next

QExcept :: Projectible (Sql92SelectExpressionSyntax select) r => Bool -> QM select db (QNested s) r -> QM select db (QNested s) r -> (r -> next) -> QF select db s next

QOrderBy :: Projectible (Sql92SelectExpressionSyntax select) r => (r -> WithExprContext [Sql92SelectOrderingSyntax select]) -> QM select db (QNested s) r -> (r -> next) -> QF select db s next

QWindowOver :: (ProjectibleWithPredicate WindowFrameContext (Sql2003ExpressionWindowFrameSyntax (Sql92SelectExpressionSyntax select)) window, Projectible (Sql92SelectExpressionSyntax select) r, Projectible (Sql92SelectExpressionSyntax select) a) => (r -> window) -> (r -> window -> a) -> QM select db (QNested s) r -> (a -> next) -> QF select db s next

QAggregate :: (Projectible (Sql92SelectExpressionSyntax select) grouping, Projectible (Sql92SelectExpressionSyntax select) a) => (a -> TablePrefix -> (Maybe (Sql92SelectGroupingSyntax select), grouping)) -> QM select db (QNested s) a -> (grouping -> next) -> QF select db s next

QForceSelect :: Projectible (Sql92SelectExpressionSyntax select) r => (r -> Sql92SelectSelectTableSyntax select -> [Sql92SelectOrderingSyntax select] -> Maybe Integer -> Maybe Integer -> select) -> QM select db (QNested s) r -> (r -> next) -> QF select db s next

Instances

Functor (QF select db s)

Methods

fmap :: (a -> b) -> QF select db s a -> QF select db s b

(<$) :: a -> QF select db s b -> QF select db s a

type QM select db s = F (QF select db s)

newtype Q syntax (db :: (* -> *) -> *) 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

Fields

• runQ :: QM syntax db s a

Instances

Monad (Q syntax db s)

Methods

(>>=) :: Q syntax db s a -> (a -> Q syntax db s b) -> Q syntax db s b

(>>) :: Q syntax db s a -> Q syntax db s b -> Q syntax db s b

return :: a -> Q syntax db s a

fail :: String -> Q syntax db s a

Functor (Q syntax db s)

Methods

fmap :: (a -> b) -> Q syntax db s a -> Q syntax db s b

(<$) :: a -> Q syntax db s b -> Q syntax db s a

Applicative (Q syntax db s)

Methods

pure :: a -> Q syntax db s a

(<*>) :: Q syntax db s (a -> b) -> Q syntax db s a -> Q syntax db s b

liftA2 :: (a -> b -> c) -> Q syntax db s a -> Q syntax db s b -> Q syntax db s c

(*>) :: Q syntax db s a -> Q syntax db s b -> Q syntax db s b

(<*) :: Q syntax db s a -> Q syntax db s b -> Q syntax db s a

data QInternal

data QNested s

data QField s ty

Constructors

QField

Fields

• qFieldShouldQualify :: Bool
• qFieldTblName :: Text
• qFieldName :: Text

Instances

Beamable t => ProjectibleWithPredicate AnyType Text (t (Nullable (QField s)))

Methods

project' :: Monad m => Proxy (* -> Constraint) AnyType -> (forall context. AnyType context => Proxy * context -> WithExprContext Text -> m (WithExprContext Text)) -> t (Nullable (QField s)) -> m (t (Nullable (QField s)))

Beamable t => ProjectibleWithPredicate AnyType Text (t (QField s))

Methods

project' :: Monad m => Proxy (* -> Constraint) AnyType -> (forall context. AnyType context => Proxy * context -> WithExprContext Text -> m (WithExprContext Text)) -> t (QField s) -> m (t (QField s))

ProjectibleWithPredicate AnyType Text (QField s a)

Methods

project' :: Monad m => Proxy (* -> Constraint) AnyType -> (forall context. AnyType context => Proxy * context -> WithExprContext Text -> m (WithExprContext Text)) -> QField s a -> m (QField s a)

Eq (QField s ty)

Methods

(==) :: QField s ty -> QField s ty -> Bool

(/=) :: QField s ty -> QField s ty -> Bool

Ord (QField s ty)

Methods

compare :: QField s ty -> QField s ty -> Ordering

(<) :: QField s ty -> QField s ty -> Bool

(<=) :: QField s ty -> QField s ty -> Bool

(>) :: QField s ty -> QField s ty -> Bool

(>=) :: QField s ty -> QField s ty -> Bool

max :: QField s ty -> QField s ty -> QField s ty

min :: QField s ty -> QField s ty -> QField s ty

Show (QField s ty)

Methods

showsPrec :: Int -> QField s ty -> ShowS

show :: QField s ty -> String

showList :: [QField s ty] -> ShowS

newtype QAssignment fieldName expr s

Constructors

QAssignment [(fieldName, expr)]

Instances

(Eq expr, Eq fieldName) => Eq (QAssignment fieldName expr s)

Methods

(==) :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> Bool

(/=) :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> Bool

(Ord expr, Ord fieldName) => Ord (QAssignment fieldName expr s)

Methods

compare :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> Ordering

(<) :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> Bool

(<=) :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> Bool

(>) :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> Bool

(>=) :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> Bool

max :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> QAssignment fieldName expr s

min :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> QAssignment fieldName expr s

(Show expr, Show fieldName) => Show (QAssignment fieldName expr s)

Methods

showsPrec :: Int -> QAssignment fieldName expr s -> ShowS

show :: QAssignment fieldName expr s -> String

showList :: [QAssignment fieldName expr s] -> ShowS

Semigroup (QAssignment fieldName expr s)

Methods

(<>) :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> QAssignment fieldName expr s

sconcat :: NonEmpty (QAssignment fieldName expr s) -> QAssignment fieldName expr s

stimes :: Integral b => b -> QAssignment fieldName expr s -> QAssignment fieldName expr s

Monoid (QAssignment fieldName expr s)

Methods

mempty :: QAssignment fieldName expr s

mappend :: QAssignment fieldName expr s -> QAssignment fieldName expr s -> QAssignment fieldName expr s

mconcat :: [QAssignment fieldName expr s] -> QAssignment fieldName expr s

QGenExpr type

data QAggregateContext

Instances

type ContextName QAggregateContext

type ContextName QAggregateContext = "an aggregate"

data QGroupingContext

Instances

Beamable tbl => QGroupable (tbl (QExpr expr s)) (tbl (QGroupExpr expr s))

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

Methods

group_ :: tbl (QExpr expr s) -> tbl (QGroupExpr expr s)

QGroupable (QExpr expr s a) (QGroupExpr expr s a)

group_ for simple value expressions.

Methods

group_ :: QExpr expr s a -> QGroupExpr expr s a

type ContextName QGroupingContext

type ContextName QGroupingContext = "an aggregate grouping"

data QValueContext

Instances

(Table t, IsSql92ExpressionSyntax syntax, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) SqlNull) => SqlJustable (t (QExpr syntax s)) (t (Nullable (QExpr syntax s)))

Methods

just_ :: t (QExpr syntax s) -> t (Nullable (QExpr syntax s))

nothing_ :: t (Nullable (QExpr syntax s))

Beamable tbl => QGroupable (tbl (QExpr expr s)) (tbl (QGroupExpr expr s))

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

Methods

group_ :: tbl (QExpr expr s) -> tbl (QGroupExpr expr s)

(Table t, IsSql92ExpressionSyntax syntax, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) SqlNull) => SqlJustable (PrimaryKey t (QExpr syntax s)) (PrimaryKey t (Nullable (QExpr syntax s)))

Methods

just_ :: PrimaryKey t (QExpr syntax s) -> PrimaryKey t (Nullable (QExpr syntax s))

nothing_ :: PrimaryKey t (Nullable (QExpr syntax s))

(IsSql92ExpressionSyntax syntax, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) SqlNull) => SqlJustable (QExpr syntax s a) (QExpr syntax s (Maybe a))

Methods

just_ :: QExpr syntax s a -> QExpr syntax s (Maybe a)

nothing_ :: QExpr syntax s (Maybe a)

QGroupable (QExpr expr s a) (QGroupExpr expr s a)

group_ for simple value expressions.

Methods

group_ :: QExpr expr s a -> QGroupExpr expr s a

type ContextName QValueContext

type ContextName QValueContext = "a value"

data QOrderingContext

Instances

SqlOrderable syntax (QOrd syntax s a)

Methods

makeSQLOrdering :: QOrd syntax s a -> [WithExprContext syntax]

type ContextName QOrderingContext

type ContextName QOrderingContext = "an ordering expression"

data QWindowingContext

Instances

type ContextName QWindowingContext

type ContextName QWindowingContext = "a window expression"

data QWindowFrameContext

Instances

type ContextName QWindowFrameContext

type ContextName QWindowFrameContext = "a window frame"

newtype QGenExpr context syntax 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 -> syntax)

Instances

(Beamable t, contextPredicate context) => ProjectibleWithPredicate contextPredicate syntax (t (Nullable (QGenExpr context syntax s)))

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context0. contextPredicate context0 => Proxy * context0 -> WithExprContext syntax -> m (WithExprContext syntax)) -> t (Nullable (QGenExpr context syntax s)) -> m (t (Nullable (QGenExpr context syntax s)))

(Beamable t, contextPredicate context) => ProjectibleWithPredicate contextPredicate syntax (t (QGenExpr context syntax s))

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context0. contextPredicate context0 => Proxy * context0 -> WithExprContext syntax -> m (WithExprContext syntax)) -> t (QGenExpr context syntax s) -> m (t (QGenExpr context syntax s))

contextPredicate context => ProjectibleWithPredicate contextPredicate syntax (QGenExpr context syntax s a)

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context0. contextPredicate context0 => Proxy * context0 -> WithExprContext syntax -> m (WithExprContext syntax)) -> QGenExpr context syntax s a -> m (QGenExpr context syntax s a)

Beamable tbl => ThreadRewritable s (tbl (Nullable (QGenExpr ctxt syntax s)))

Associated Types

type WithRewrittenThread s s' (tbl (Nullable (QGenExpr ctxt syntax s))) :: *

Methods

rewriteThread :: Proxy * s' -> tbl (Nullable (QGenExpr ctxt syntax s)) -> WithRewrittenThread s s' (tbl (Nullable (QGenExpr ctxt syntax s)))

Beamable tbl => ThreadRewritable s (tbl (QGenExpr ctxt syntax s))

Associated Types

type WithRewrittenThread s s' (tbl (QGenExpr ctxt syntax s)) :: *

Methods

rewriteThread :: Proxy * s' -> tbl (QGenExpr ctxt syntax s) -> WithRewrittenThread s s' (tbl (QGenExpr ctxt syntax s))

(IsSql92ExpressionSyntax syntax, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) Bool, Beamable t) => SqlDeconstructMaybe syntax (t (Nullable (QGenExpr ctxt syntax s))) (t (QGenExpr ctxt syntax s)) s

Methods

isJust_ :: t (Nullable (QGenExpr ctxt syntax s)) -> QGenExpr ctxt syntax s Bool

isNothing_ :: t (Nullable (QGenExpr ctxt syntax s)) -> QGenExpr ctxt syntax s Bool

maybe_ :: QGenExpr ctxt syntax s y -> (t (QGenExpr ctxt syntax s) -> QGenExpr ctxt syntax s y) -> t (Nullable (QGenExpr ctxt syntax s)) -> QGenExpr ctxt syntax s y

SqlOrderable syntax (QOrd syntax s a)

Methods

makeSQLOrdering :: QOrd syntax s a -> [WithExprContext syntax]

ThreadRewritable s (QGenExpr ctxt syntax s a)

Associated Types

type WithRewrittenThread s s' (QGenExpr ctxt syntax s a) :: *

Methods

rewriteThread :: Proxy * s' -> QGenExpr ctxt syntax s a -> WithRewrittenThread s s' (QGenExpr ctxt syntax s a)

IsSql92ExpressionSyntax syntax => SqlDeconstructMaybe syntax (QGenExpr ctxt syntax s (Maybe x)) (QGenExpr ctxt syntax s x) s

Methods

isJust_ :: QGenExpr ctxt syntax s (Maybe x) -> QGenExpr ctxt syntax s Bool

isNothing_ :: QGenExpr ctxt syntax s (Maybe x) -> QGenExpr ctxt syntax s Bool

maybe_ :: QGenExpr ctxt syntax s y -> (QGenExpr ctxt syntax s x -> QGenExpr ctxt syntax s y) -> QGenExpr ctxt syntax s (Maybe x) -> QGenExpr ctxt syntax s y

Beamable tbl => ContextRewritable (tbl (Nullable (QGenExpr old syntax s)))

Associated Types

type WithRewrittenContext (tbl (Nullable (QGenExpr old syntax s))) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> tbl (Nullable (QGenExpr old syntax s)) -> WithRewrittenContext (tbl (Nullable (QGenExpr old syntax s))) ctxt

Beamable tbl => ContextRewritable (tbl (QGenExpr old syntax s))

Associated Types

type WithRewrittenContext (tbl (QGenExpr old syntax s)) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> tbl (QGenExpr old syntax s) -> WithRewrittenContext (tbl (QGenExpr old syntax s)) ctxt

(Beamable table, IsSql92ExpressionSyntax syntax, FieldsFulfillConstraintNullable (HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax)) table) => SqlValable (table (Nullable (QGenExpr ctxt syntax s)))

Methods

val_ :: HaskellLiteralForQExpr (table (Nullable (QGenExpr ctxt syntax s))) -> table (Nullable (QGenExpr ctxt syntax s))

(Beamable table, IsSql92ExpressionSyntax syntax, FieldsFulfillConstraint (HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax)) table) => SqlValable (table (QGenExpr ctxt syntax s))

Methods

val_ :: HaskellLiteralForQExpr (table (QGenExpr ctxt syntax s)) -> table (QGenExpr ctxt syntax s)

(Table t, IsSql92ExpressionSyntax syntax, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) SqlNull) => SqlJustable (t (QExpr syntax s)) (t (Nullable (QExpr syntax s)))

Methods

just_ :: t (QExpr syntax s) -> t (Nullable (QExpr syntax s))

nothing_ :: t (Nullable (QExpr syntax s))

Beamable tbl => QGroupable (tbl (QExpr expr s)) (tbl (QGroupExpr expr s))

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

Methods

group_ :: tbl (QExpr expr s) -> tbl (QGroupExpr expr s)

(Table t, IsSql92ExpressionSyntax syntax, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) SqlNull) => SqlJustable (PrimaryKey t (QExpr syntax s)) (PrimaryKey t (Nullable (QExpr syntax s)))

Methods

just_ :: PrimaryKey t (QExpr syntax s) -> PrimaryKey t (Nullable (QExpr syntax s))

nothing_ :: PrimaryKey t (Nullable (QExpr syntax s))

(IsSql92ExpressionSyntax syntax, FieldsFulfillConstraintNullable (HasSqlEqualityCheck syntax) tbl, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) Bool, Beamable tbl) => SqlEq (QGenExpr context syntax s) (tbl (Nullable (QGenExpr context syntax s)))

Methods

(==.) :: tbl (Nullable (QGenExpr context syntax s)) -> tbl (Nullable (QGenExpr context syntax s)) -> QGenExpr context syntax s Bool

(/=.) :: tbl (Nullable (QGenExpr context syntax s)) -> tbl (Nullable (QGenExpr context syntax s)) -> QGenExpr context syntax s Bool

(==?.) :: tbl (Nullable (QGenExpr context syntax s)) -> tbl (Nullable (QGenExpr context syntax s)) -> QGenExpr context syntax s SqlBool

(/=?.) :: tbl (Nullable (QGenExpr context syntax s)) -> tbl (Nullable (QGenExpr context syntax s)) -> QGenExpr context syntax s SqlBool

(IsSql92ExpressionSyntax syntax, FieldsFulfillConstraint (HasSqlEqualityCheck syntax) tbl, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) Bool, Beamable tbl) => SqlEq (QGenExpr context syntax s) (tbl (QGenExpr context syntax s))

Compare two arbitrary Beamable types containing QGenExprs for equality.

Methods

(==.) :: tbl (QGenExpr context syntax s) -> tbl (QGenExpr context syntax s) -> QGenExpr context syntax s Bool

(/=.) :: tbl (QGenExpr context syntax s) -> tbl (QGenExpr context syntax s) -> QGenExpr context syntax s Bool

(==?.) :: tbl (QGenExpr context syntax s) -> tbl (QGenExpr context syntax s) -> QGenExpr context syntax s SqlBool

(/=?.) :: tbl (QGenExpr context syntax s) -> tbl (QGenExpr context syntax s) -> QGenExpr context syntax s SqlBool

(IsSql92ExpressionSyntax syntax, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) SqlNull) => SqlJustable (QExpr syntax s a) (QExpr syntax s (Maybe a))

Methods

just_ :: QExpr syntax s a -> QExpr syntax s (Maybe a)

nothing_ :: QExpr syntax s (Maybe a)

QGroupable (QExpr expr s a) (QGroupExpr expr s a)

group_ for simple value expressions.

Methods

group_ :: QExpr expr s a -> QGroupExpr expr s a

IsSql92ExpressionSyntax syntax => SqlOrdQuantified (QGenExpr context syntax s) (QQuantified syntax s a) (QGenExpr context syntax s a)

Methods

(<*.) :: QGenExpr context syntax s a -> QQuantified syntax s a -> QGenExpr context syntax s Bool

(>*.) :: QGenExpr context syntax s a -> QQuantified syntax s a -> QGenExpr context syntax s Bool

(<=*.) :: QGenExpr context syntax s a -> QQuantified syntax s a -> QGenExpr context syntax s Bool

(>=*.) :: QGenExpr context syntax s a -> QQuantified syntax s a -> QGenExpr context syntax s Bool

(IsSql92ExpressionSyntax syntax, HasSqlQuantifiedEqualityCheck syntax a) => SqlEqQuantified (QGenExpr context syntax s) (QQuantified syntax s a) (QGenExpr context syntax s a)

Two arbitrary expressions can be quantifiably compared for equality.

Methods

(==*.) :: QGenExpr context syntax s a -> QQuantified syntax s a -> QGenExpr context syntax s SqlBool

(/=*.) :: QGenExpr context syntax s a -> QQuantified syntax s a -> QGenExpr context syntax s SqlBool

Retaggable (QGenExpr ctxt expr s) (QGenExpr ctxt expr s t)

Associated Types

type Retag (tag :: (* -> *) -> * -> *) (QGenExpr ctxt expr s t) :: *

Methods

retag :: (forall a. Columnar' (QGenExpr ctxt expr s) a -> Columnar' (tag (QGenExpr ctxt expr s)) a) -> QGenExpr ctxt expr s t -> Retag tag (QGenExpr ctxt expr s t)

IsSql92ExpressionSyntax syntax => SqlOrd (QGenExpr context syntax s) (QGenExpr context syntax s a)

Methods

(<.) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s Bool

(>.) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s Bool

(<=.) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s Bool

(>=.) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s Bool

(IsSql92ExpressionSyntax syntax, HasSqlEqualityCheck syntax a) => SqlEq (QGenExpr context syntax s) (QGenExpr context syntax s a)

Compare two arbitrary expressions (of the same type) for equality

Methods

(==.) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s Bool

(/=.) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s Bool

(==?.) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s SqlBool

(/=?.) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s SqlBool

Eq syntax => Eq (QGenExpr context syntax s t)

Methods

(==) :: QGenExpr context syntax s t -> QGenExpr context syntax s t -> Bool

(/=) :: QGenExpr context syntax s t -> QGenExpr context syntax s t -> Bool

(Fractional a, IsSql92ExpressionSyntax syntax, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) a) => Fractional (QGenExpr context syntax s a)

Methods

(/) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s a

recip :: QGenExpr context syntax s a -> QGenExpr context syntax s a

fromRational :: Rational -> QGenExpr context syntax s a

(Num a, IsSql92ExpressionSyntax syntax, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) a) => Num (QGenExpr context syntax s a)

Methods

(+) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s a

(-) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s a

(*) :: QGenExpr context syntax s a -> QGenExpr context syntax s a -> QGenExpr context syntax s a

negate :: QGenExpr context syntax s a -> QGenExpr context syntax s a

abs :: QGenExpr context syntax s a -> QGenExpr context syntax s a

signum :: QGenExpr context syntax s a -> QGenExpr context syntax s a

fromInteger :: Integer -> QGenExpr context syntax s a

(IsSql92ExpressionSyntax syntax, HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) [Char]) => IsString (QGenExpr context syntax s Text)

Methods

fromString :: String -> QGenExpr context syntax s Text

ContextRewritable (QGenExpr old syntax s a)

Associated Types

type WithRewrittenContext (QGenExpr old syntax s a) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> QGenExpr old syntax s a -> WithRewrittenContext (QGenExpr old syntax s a) ctxt

(HasSqlValueSyntax (Sql92ExpressionValueSyntax syntax) a, IsSql92ExpressionSyntax syntax) => SqlValable (QGenExpr ctxt syntax s a)

Methods

val_ :: HaskellLiteralForQExpr (QGenExpr ctxt syntax s a) -> QGenExpr ctxt syntax s a

type WithRewrittenThread s s' (tbl (Nullable (QGenExpr ctxt syntax s)))

type WithRewrittenThread s s' (tbl (Nullable (QGenExpr ctxt syntax s))) = tbl (Nullable (QGenExpr ctxt syntax s'))

type WithRewrittenThread s s' (tbl (QGenExpr ctxt syntax s))

type WithRewrittenThread s s' (tbl (QGenExpr ctxt syntax s)) = tbl (QGenExpr ctxt syntax s')

type WithRewrittenThread s s' (QGenExpr ctxt syntax s a)

type WithRewrittenThread s s' (QGenExpr ctxt syntax s a) = QGenExpr ctxt syntax s' a

type Retag tag (QGenExpr ctxt expr s t)

type Retag tag (QGenExpr ctxt expr s t) = Columnar (tag (QGenExpr ctxt expr s)) t

type QExprToField (table (Nullable (QGenExpr context syntax s)))

type QExprToField (table (Nullable (QGenExpr context syntax s))) = table (Nullable (QField s))

type QExprToField (table (QGenExpr context syntax s))

type QExprToField (table (QGenExpr context syntax s)) = table (QField s)

type QExprToIdentity (table (QGenExpr context syntax s))

type QExprToIdentity (table (QGenExpr context syntax s)) = table Identity

type HaskellLiteralForQExpr (table (QGenExpr context syntax s))

type HaskellLiteralForQExpr (table (QGenExpr context syntax s)) = table Identity

type WithRewrittenContext (tbl (Nullable (QGenExpr old syntax s))) ctxt

type WithRewrittenContext (tbl (Nullable (QGenExpr old syntax s))) ctxt = tbl (Nullable (QGenExpr ctxt syntax s))

type WithRewrittenContext (tbl (QGenExpr old syntax s)) ctxt

type WithRewrittenContext (tbl (QGenExpr old syntax s)) ctxt = tbl (QGenExpr ctxt syntax s)

type QExprToField (QGenExpr ctxt syntax s a)

type QExprToField (QGenExpr ctxt syntax s a) = QField s a

type QExprToIdentity (QGenExpr context syntax s a)

type QExprToIdentity (QGenExpr context syntax s a) = a

type HaskellLiteralForQExpr (QGenExpr context syntax s a)

type HaskellLiteralForQExpr (QGenExpr context syntax s a) = a

type WithRewrittenContext (QGenExpr old syntax s a) ctxt

type WithRewrittenContext (QGenExpr old syntax s a) ctxt = QGenExpr ctxt syntax s a

type WithExprContext a = TablePrefix -> a

type QExpr = QGenExpr QValueContext

QExprs represent expressions not containing aggregates.

type QAgg = QGenExpr QAggregateContext

type QOrd = QGenExpr QOrderingContext

type QWindowExpr = QGenExpr QWindowingContext

type QWindowFrame = QGenExpr QWindowFrameContext

type QGroupExpr = QGenExpr QGroupingContext

newtype QWindow syntax s

Constructors

QWindow (WithExprContext syntax)

Instances

ProjectibleWithPredicate WindowFrameContext syntax (QWindow syntax s)

Methods

project' :: Monad m => Proxy (* -> Constraint) WindowFrameContext -> (forall context. WindowFrameContext context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> QWindow syntax s -> m (QWindow syntax s)

newtype QFrameBounds syntax

Constructors

QFrameBounds (Maybe syntax)

newtype QFrameBound syntax

Constructors

QFrameBound syntax

qBinOpE :: forall syntax context s a b c. IsSql92ExpressionSyntax syntax => (syntax -> syntax -> syntax) -> QGenExpr context syntax s a -> QGenExpr context syntax s b -> QGenExpr context syntax s c

unsafeRetype :: QGenExpr ctxt syntax s a -> QGenExpr ctxt syntax s a'

Aggregations

data Aggregation syntax s a

Constructors

GroupAgg syntax

ProjectAgg syntax

Sql Projections

class 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.

Instances

(IsAggregateContext a, Typeable * a) => AggregateContext a

type family ContextName a :: Symbol

Instances

type ContextName QWindowFrameContext

type ContextName QWindowFrameContext = "a window frame"

type ContextName QWindowingContext

type ContextName QWindowingContext = "a window expression"

type ContextName QOrderingContext

type ContextName QOrderingContext = "an ordering expression"

type ContextName QValueContext

type ContextName QValueContext = "a value"

type ContextName QGroupingContext

type ContextName QGroupingContext = "an aggregate grouping"

type ContextName QAggregateContext

type ContextName QAggregateContext = "an aggregate"

type 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)

type 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 QOrderingContext = Text "You cannot use an ordering in an aggregate"

AggregateContextSuggestion b = Text ""

class Typeable context => ValueContext context

Instances

(IsValueContext a, Typeable * a, (~) * a QValueContext) => ValueContext a

class Typeable context => WindowFrameContext context

Instances

(Typeable * context, IsWindowFrameContext context, (~) * context QWindowFrameContext) => WindowFrameContext context

ProjectibleWithPredicate WindowFrameContext syntax (QWindow syntax s)

Methods

project' :: Monad m => Proxy (* -> Constraint) WindowFrameContext -> (forall context. WindowFrameContext context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> QWindow syntax s -> m (QWindow syntax s)

type 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"))

class AnyType a

Instances

AnyType a

Beamable t => ProjectibleWithPredicate AnyType Text (t (Nullable (QField s)))

Methods

project' :: Monad m => Proxy (* -> Constraint) AnyType -> (forall context. AnyType context => Proxy * context -> WithExprContext Text -> m (WithExprContext Text)) -> t (Nullable (QField s)) -> m (t (Nullable (QField s)))

Beamable t => ProjectibleWithPredicate AnyType Text (t (QField s))

Methods

project' :: Monad m => Proxy (* -> Constraint) AnyType -> (forall context. AnyType context => Proxy * context -> WithExprContext Text -> m (WithExprContext Text)) -> t (QField s) -> m (t (QField s))

ProjectibleWithPredicate AnyType Text (QField s a)

Methods

project' :: Monad m => Proxy (* -> Constraint) AnyType -> (forall context. AnyType context => Proxy * context -> WithExprContext Text -> m (WithExprContext Text)) -> QField s a -> m (QField s a)

type 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)

type family ValueContextSuggestion a :: ErrorMessage where ...

Equations

ValueContextSuggestion QWindowingContext = Text "Use 'window_' to projecct aggregate expressions to the value level"

ValueContextSuggestion QOrderingContext = Text "An ordering context cannot be used in a projection. Try removing the 'asc_' or 'desc_', or use 'orderBy_' to sort the result set"

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 _ = Text ""

type Projectible = ProjectibleWithPredicate AnyType

type ProjectibleValue = ProjectibleWithPredicate ValueContext

class ThreadRewritable (s :: *) (a :: *) | a -> s where

Minimal complete definition

rewriteThread

Associated Types

type WithRewrittenThread s (s' :: *) a :: *

Methods

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

Instances

ThreadRewritable s a => ThreadRewritable s [a]

Associated Types

type WithRewrittenThread s s' [a] :: *

Methods

rewriteThread :: Proxy * s' -> [a] -> WithRewrittenThread s s' [a]

Beamable tbl => ThreadRewritable s (tbl (Nullable (QGenExpr ctxt syntax s)))

Associated Types

type WithRewrittenThread s s' (tbl (Nullable (QGenExpr ctxt syntax s))) :: *

Methods

rewriteThread :: Proxy * s' -> tbl (Nullable (QGenExpr ctxt syntax s)) -> WithRewrittenThread s s' (tbl (Nullable (QGenExpr ctxt syntax s)))

Beamable tbl => ThreadRewritable s (tbl (QGenExpr ctxt syntax s))

Associated Types

type WithRewrittenThread s s' (tbl (QGenExpr ctxt syntax s)) :: *

Methods

rewriteThread :: Proxy * s' -> tbl (QGenExpr ctxt syntax s) -> WithRewrittenThread s s' (tbl (QGenExpr ctxt syntax s))

(ThreadRewritable s a, ThreadRewritable s b) => ThreadRewritable s (a, b)

Associated Types

type WithRewrittenThread s s' (a, b) :: *

Methods

rewriteThread :: Proxy * s' -> (a, b) -> WithRewrittenThread s s' (a, b)

(ThreadRewritable s a, KnownNat n) => ThreadRewritable s (Vector n a)

Associated Types

type WithRewrittenThread s s' (Vector n a) :: *

Methods

rewriteThread :: Proxy * s' -> Vector n a -> WithRewrittenThread s s' (Vector n a)

(ThreadRewritable s a, ThreadRewritable s b, ThreadRewritable s c) => ThreadRewritable s (a, b, c)

Associated Types

type WithRewrittenThread s s' (a, b, c) :: *

Methods

rewriteThread :: Proxy * s' -> (a, b, c) -> WithRewrittenThread s s' (a, b, c)

(ThreadRewritable s a, ThreadRewritable s b, ThreadRewritable s c, ThreadRewritable s d) => ThreadRewritable s (a, b, c, d)

Associated Types

type WithRewrittenThread s s' (a, b, c, d) :: *

Methods

rewriteThread :: Proxy * s' -> (a, b, c, d) -> WithRewrittenThread s s' (a, b, c, d)

ThreadRewritable s (QGenExpr ctxt syntax s a)

Associated Types

type WithRewrittenThread s s' (QGenExpr ctxt syntax s a) :: *

Methods

rewriteThread :: Proxy * s' -> QGenExpr ctxt syntax s a -> WithRewrittenThread s s' (QGenExpr ctxt syntax s a)

(ThreadRewritable s a, ThreadRewritable s b, ThreadRewritable s c, ThreadRewritable s d, ThreadRewritable s e) => ThreadRewritable s (a, b, c, d, e)

Associated Types

type WithRewrittenThread s s' (a, b, c, d, e) :: *

Methods

rewriteThread :: Proxy * s' -> (a, b, c, d, e) -> WithRewrittenThread s s' (a, b, c, d, e)

(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)

Associated Types

type WithRewrittenThread s s' (a, b, c, d, e, f) :: *

Methods

rewriteThread :: Proxy * s' -> (a, b, c, d, e, f) -> WithRewrittenThread s s' (a, b, c, d, e, f)

(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)

Associated Types

type WithRewrittenThread s s' (a, b, c, d, e, f, g) :: *

Methods

rewriteThread :: Proxy * s' -> (a, b, c, d, e, f, g) -> WithRewrittenThread s s' (a, b, c, d, e, f, g)

(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)

Associated Types

type WithRewrittenThread s s' (a, b, c, d, e, f, g, h) :: *

Methods

rewriteThread :: Proxy * s' -> (a, b, c, d, e, f, g, h) -> WithRewrittenThread s s' (a, b, c, d, e, f, g, h)

class ContextRewritable a where

Minimal complete definition

rewriteContext

Associated Types

type WithRewrittenContext a ctxt :: *

Methods

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

Instances

ContextRewritable a => ContextRewritable [a]

Associated Types

type WithRewrittenContext [a] ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> [a] -> WithRewrittenContext [a] ctxt

Beamable tbl => ContextRewritable (tbl (Nullable (QGenExpr old syntax s)))

Associated Types

type WithRewrittenContext (tbl (Nullable (QGenExpr old syntax s))) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> tbl (Nullable (QGenExpr old syntax s)) -> WithRewrittenContext (tbl (Nullable (QGenExpr old syntax s))) ctxt

Beamable tbl => ContextRewritable (tbl (QGenExpr old syntax s))

Associated Types

type WithRewrittenContext (tbl (QGenExpr old syntax s)) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> tbl (QGenExpr old syntax s) -> WithRewrittenContext (tbl (QGenExpr old syntax s)) ctxt

(ContextRewritable a, ContextRewritable b) => ContextRewritable (a, b)

Associated Types

type WithRewrittenContext (a, b) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> (a, b) -> WithRewrittenContext (a, b) ctxt

(ContextRewritable a, KnownNat n) => ContextRewritable (Vector n a)

Associated Types

type WithRewrittenContext (Vector n a) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> Vector n a -> WithRewrittenContext (Vector n a) ctxt

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

Associated Types

type WithRewrittenContext (a, b, c) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> (a, b, c) -> WithRewrittenContext (a, b, c) ctxt

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

Associated Types

type WithRewrittenContext (a, b, c, d) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> (a, b, c, d) -> WithRewrittenContext (a, b, c, d) ctxt

ContextRewritable (QGenExpr old syntax s a)

Associated Types

type WithRewrittenContext (QGenExpr old syntax s a) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> QGenExpr old syntax s a -> WithRewrittenContext (QGenExpr old syntax s a) ctxt

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

Associated Types

type WithRewrittenContext (a, b, c, d, e) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> (a, b, c, d, e) -> WithRewrittenContext (a, b, c, d, e) ctxt

(ContextRewritable a, ContextRewritable b, ContextRewritable c, ContextRewritable d, ContextRewritable e, ContextRewritable f) => ContextRewritable (a, b, c, d, e, f)

Associated Types

type WithRewrittenContext (a, b, c, d, e, f) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> (a, b, c, d, e, f) -> WithRewrittenContext (a, b, c, d, e, f) ctxt

(ContextRewritable a, ContextRewritable b, ContextRewritable c, ContextRewritable d, ContextRewritable e, ContextRewritable f, ContextRewritable g) => ContextRewritable (a, b, c, d, e, f, g)

Associated Types

type WithRewrittenContext (a, b, c, d, e, f, g) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> (a, b, c, d, e, f, g) -> WithRewrittenContext (a, b, c, d, e, f, g) ctxt

(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)

Associated Types

type WithRewrittenContext (a, b, c, d, e, f, g, h) ctxt :: *

Methods

rewriteContext :: Proxy * ctxt -> (a, b, c, d, e, f, g, h) -> WithRewrittenContext (a, b, c, d, e, f, g, h) ctxt

class ProjectibleWithPredicate (contextPredicate :: * -> Constraint) syntax a | a -> syntax where

Minimal complete definition

project'

Methods

project' :: Monad m => Proxy contextPredicate -> (forall context. contextPredicate context => Proxy context -> WithExprContext syntax -> m (WithExprContext syntax)) -> a -> m a

Instances

ProjectibleWithPredicate contextPredicate syntax a => ProjectibleWithPredicate contextPredicate syntax [a]

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context. contextPredicate context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> [a] -> m [a]

(Beamable t, contextPredicate context) => ProjectibleWithPredicate contextPredicate syntax (t (Nullable (QGenExpr context syntax s)))

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context0. contextPredicate context0 => Proxy * context0 -> WithExprContext syntax -> m (WithExprContext syntax)) -> t (Nullable (QGenExpr context syntax s)) -> m (t (Nullable (QGenExpr context syntax s)))

(Beamable t, contextPredicate context) => ProjectibleWithPredicate contextPredicate syntax (t (QGenExpr context syntax s))

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context0. contextPredicate context0 => Proxy * context0 -> WithExprContext syntax -> m (WithExprContext syntax)) -> t (QGenExpr context syntax s) -> m (t (QGenExpr context syntax s))

Beamable t => ProjectibleWithPredicate AnyType Text (t (Nullable (QField s)))

Methods

project' :: Monad m => Proxy (* -> Constraint) AnyType -> (forall context. AnyType context => Proxy * context -> WithExprContext Text -> m (WithExprContext Text)) -> t (Nullable (QField s)) -> m (t (Nullable (QField s)))

Beamable t => ProjectibleWithPredicate AnyType Text (t (QField s))

Methods

project' :: Monad m => Proxy (* -> Constraint) AnyType -> (forall context. AnyType context => Proxy * context -> WithExprContext Text -> m (WithExprContext Text)) -> t (QField s) -> m (t (QField s))

(ProjectibleWithPredicate contextPredicate syntax a, ProjectibleWithPredicate contextPredicate syntax b) => ProjectibleWithPredicate contextPredicate syntax (a, b)

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context. contextPredicate context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> (a, b) -> m (a, b)

(ProjectibleWithPredicate contextPredicate syntax a, KnownNat n) => ProjectibleWithPredicate contextPredicate syntax (Vector n a)

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context. contextPredicate context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> Vector n a -> m (Vector n a)

ProjectibleWithPredicate AnyType Text (QField s a)

Methods

project' :: Monad m => Proxy (* -> Constraint) AnyType -> (forall context. AnyType context => Proxy * context -> WithExprContext Text -> m (WithExprContext Text)) -> QField s a -> m (QField s a)

ProjectibleWithPredicate WindowFrameContext syntax (QWindow syntax s)

Methods

project' :: Monad m => Proxy (* -> Constraint) WindowFrameContext -> (forall context. WindowFrameContext context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> QWindow syntax s -> m (QWindow syntax s)

(ProjectibleWithPredicate contextPredicate syntax a, ProjectibleWithPredicate contextPredicate syntax b, ProjectibleWithPredicate contextPredicate syntax c) => ProjectibleWithPredicate contextPredicate syntax (a, b, c)

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context. contextPredicate context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> (a, b, c) -> m (a, b, c)

(ProjectibleWithPredicate contextPredicate syntax a, ProjectibleWithPredicate contextPredicate syntax b, ProjectibleWithPredicate contextPredicate syntax c, ProjectibleWithPredicate contextPredicate syntax d) => ProjectibleWithPredicate contextPredicate syntax (a, b, c, d)

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context. contextPredicate context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> (a, b, c, d) -> m (a, b, c, d)

contextPredicate context => ProjectibleWithPredicate contextPredicate syntax (QGenExpr context syntax s a)

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context0. contextPredicate context0 => Proxy * context0 -> WithExprContext syntax -> m (WithExprContext syntax)) -> QGenExpr context syntax s a -> m (QGenExpr context syntax s a)

(ProjectibleWithPredicate contextPredicate syntax a, ProjectibleWithPredicate contextPredicate syntax b, ProjectibleWithPredicate contextPredicate syntax c, ProjectibleWithPredicate contextPredicate syntax d, ProjectibleWithPredicate contextPredicate syntax e) => ProjectibleWithPredicate contextPredicate syntax (a, b, c, d, e)

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context. contextPredicate context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> (a, b, c, d, e) -> m (a, b, c, d, e)

(ProjectibleWithPredicate contextPredicate syntax a, ProjectibleWithPredicate contextPredicate syntax b, ProjectibleWithPredicate contextPredicate syntax c, ProjectibleWithPredicate contextPredicate syntax d, ProjectibleWithPredicate contextPredicate syntax e, ProjectibleWithPredicate contextPredicate syntax f) => ProjectibleWithPredicate contextPredicate syntax (a, b, c, d, e, f)

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context. contextPredicate context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> (a, b, c, d, e, f) -> m (a, b, c, d, e, f)

(ProjectibleWithPredicate contextPredicate syntax a, ProjectibleWithPredicate contextPredicate syntax b, ProjectibleWithPredicate contextPredicate syntax c, ProjectibleWithPredicate contextPredicate syntax d, ProjectibleWithPredicate contextPredicate syntax e, ProjectibleWithPredicate contextPredicate syntax f, ProjectibleWithPredicate contextPredicate syntax g) => ProjectibleWithPredicate contextPredicate syntax (a, b, c, d, e, f, g)

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context. contextPredicate context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> (a, b, c, d, e, f, g) -> m (a, b, c, d, e, f, g)

(ProjectibleWithPredicate contextPredicate syntax a, ProjectibleWithPredicate contextPredicate syntax b, ProjectibleWithPredicate contextPredicate syntax c, ProjectibleWithPredicate contextPredicate syntax d, ProjectibleWithPredicate contextPredicate syntax e, ProjectibleWithPredicate contextPredicate syntax f, ProjectibleWithPredicate contextPredicate syntax g, ProjectibleWithPredicate contextPredicate syntax h) => ProjectibleWithPredicate contextPredicate syntax (a, b, c, d, e, f, g, h)

Methods

project' :: Monad m => Proxy (* -> Constraint) contextPredicate -> (forall context. contextPredicate context => Proxy * context -> WithExprContext syntax -> m (WithExprContext syntax)) -> (a, b, c, d, e, f, g, h) -> m (a, b, c, d, e, f, g, h)

project :: Projectible syntax a => a -> WithExprContext [syntax]

reproject :: (IsSql92ExpressionSyntax syntax, Projectible syntax a) => (Int -> syntax) -> a -> a