@@ -660,6 +660,31 @@ renderFromClause = \case
660660 renderFromClause left <+> op <+> renderFromClause right
661661 <+> "ON" <+> renderExpression on
662662
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+
663688{-----------------------------------------
664689Grouping
665690-----------------------------------------}