e393ca9 · squeal · git.iko.soy

joinRef

e393ca9Eitan Chatav9 years ago

squeal-postgresql/src/Squeal/PostgreSQL/Query.hs+25

@@ -660,6 +660,31 @@ renderFromClause = \case

660 renderFromClause left <+> op <+> renderFromClause right

661 <+> "ON" <+> renderExpression on

662

663+-- joinRef

664+-- :: ( Has lefttable schema (constraints :=> leftcolumns)

665+-- , leftrel ~ ColumnsToRelation leftcolumns

666+-- , Has righttable schema right

667+-- , rightrel ~ ColumnsToRelation (TableToColumns right)

668+-- , Has ref constraints ('ForeignKey keys reftable refs)

669+-- , SListI keys, All KnownSymbol keys

670+-- , SListI refs, All KnownSymbol refs

671+-- , KnownSymbol leftalias, KnownSymbol rightalias

672+-- )

673+-- => Aliased Alias (rightalias ::: righttable)

674+-- -> Alias ref

675+-- -> Aliased Alias (leftalias ::: lefttable)

676+-- -> FromClause schema params '[leftalias ::: leftrel, rightalias ::: rightrel]

677+-- joinRef

678+-- ((_ :: Alias righttable) `As` rightalias)

679+-- ref

680+-- ((_ :: Alias lefttable) `As` leftalias) =

681+-- InnerJoin

682+-- (Table (fromLabel @righttable `As` rightalias))

683+-- refEq

684+-- (Table (fromLabel @lefttable `As` leftalias))

685+-- where

686+-- refEq = undefined

687+

663{-----------------------------------------

688{-----------------------------------------

664Grouping

689Grouping

665-----------------------------------------}

690-----------------------------------------}