Copyright	(c) Eitan Chatav 2019
Maintainer	eitan@morphism.tech
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010

Squeal.PostgreSQL.Query.From

Contents

From Clause

Description

from clauses

Synopsis

newtype FromClause (lat :: FromType) (with :: FromType) (db :: SchemasType) (params :: [NullType]) (from :: FromType) = UnsafeFromClause {
- renderFromClause :: ByteString
}
table :: (Has sch db schema, Has tab schema ('Table table)) => Aliased (QualifiedAlias sch) (alias ::: tab) -> FromClause lat with db params '[alias ::: TableToRow table]
subquery :: Aliased (Query lat with db params) query -> FromClause lat with db params '[query]
view :: (Has sch db schema, Has vw schema ('View view)) => Aliased (QualifiedAlias sch) (alias ::: vw) -> FromClause lat with db params '[alias ::: view]
common :: Has cte with common => Aliased Alias (alias ::: cte) -> FromClause lat with db params '[alias ::: common]

From Clause

newtype FromClause (lat :: FromType) (with :: FromType) (db :: SchemasType) (params :: [NullType]) (from :: FromType) Source #

A FromClause can be a table name, or a derived table such as a subquery, a JOIN construct, or complex combinations of these.

Constructors

UnsafeFromClause
Fields renderFromClause :: ByteString

Instances

Instances details

Additional (FromClause lat with db params :: FromType -> Type) Source #
Instance details Defined in Squeal.PostgreSQL.Query.From Methods also :: forall (ys :: [a]) (xs :: [a]). FromClause lat with db params ys -> FromClause lat with db params xs -> FromClause lat with db params (Join xs ys) Source #
Generic (FromClause lat with db params from) Source #
Instance details Defined in Squeal.PostgreSQL.Query.From Associated Types type Rep (FromClause lat with db params from) :: Type -> Type # Methods from :: FromClause lat with db params from -> Rep (FromClause lat with db params from) x # to :: Rep (FromClause lat with db params from) x -> FromClause lat with db params from #
Show (FromClause lat with db params from) Source #
Instance details Defined in Squeal.PostgreSQL.Query.From Methods showsPrec :: Int -> FromClause lat with db params from -> ShowS # show :: FromClause lat with db params from -> String # showList :: [FromClause lat with db params from] -> ShowS #
NFData (FromClause lat with db params from) Source #
Instance details Defined in Squeal.PostgreSQL.Query.From Methods rnf :: FromClause lat with db params from -> () #
Eq (FromClause lat with db params from) Source #
Instance details Defined in Squeal.PostgreSQL.Query.From Methods (==) :: FromClause lat with db params from -> FromClause lat with db params from -> Bool # (/=) :: FromClause lat with db params from -> FromClause lat with db params from -> Bool #
Ord (FromClause lat with db params from) Source #
Instance details Defined in Squeal.PostgreSQL.Query.From Methods compare :: FromClause lat with db params from -> FromClause lat with db params from -> Ordering # (<) :: FromClause lat with db params from -> FromClause lat with db params from -> Bool # (<=) :: FromClause lat with db params from -> FromClause lat with db params from -> Bool # (>) :: FromClause lat with db params from -> FromClause lat with db params from -> Bool # (>=) :: FromClause lat with db params from -> FromClause lat with db params from -> Bool # max :: FromClause lat with db params from -> FromClause lat with db params from -> FromClause lat with db params from # min :: FromClause lat with db params from -> FromClause lat with db params from -> FromClause lat with db params from #
RenderSQL (FromClause lat with db params from) Source #
Instance details Defined in Squeal.PostgreSQL.Query.From Methods renderSQL :: FromClause lat with db params from -> ByteString Source #
type Rep (FromClause lat with db params from) Source #
Instance details Defined in Squeal.PostgreSQL.Query.From type Rep (FromClause lat with db params from) = D1 ('MetaData "FromClause" "Squeal.PostgreSQL.Query.From" "squeal-postgresql-0.9.1.3-FfCgbPNg57H53ZAGizr3Nu" 'True) (C1 ('MetaCons "UnsafeFromClause" 'PrefixI 'True) (S1 ('MetaSel ('Just "renderFromClause") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

table Source #

Arguments

:: (Has sch db schema, Has tab schema ('Table table))
=> Aliased (QualifiedAlias sch) (alias ::: tab)	(renamable) table alias
-> FromClause lat with db params '[alias ::: TableToRow table]

A real table is a table from the database.

subquery Source #

Arguments

:: Aliased (Query lat with db params) query	aliased `Query`
-> FromClause lat with db params '[query]

subquery derives a table from a Query. The subquery may not reference columns provided by preceding FromClause items. Use JoinLateral if the subquery must reference columns provided by preceding FromClause items.

view Source #

Arguments

:: (Has sch db schema, Has vw schema ('View view))
=> Aliased (QualifiedAlias sch) (alias ::: vw)	(renamable) view alias
-> FromClause lat with db params '[alias ::: view]

view derives a table from a View.

common Source #

Arguments

:: Has cte with common
=> Aliased Alias (alias ::: cte)	(renamable) common table expression alias
-> FromClause lat with db params '[alias ::: common]

common derives a table from a common table expression.