Module

Type.SQL

data SQL :: Type

data SELECT :: Row Type -> SQL

data FROM :: TABLE -> SQL -> SQL

(SQLColumns sql columns) => SQLColumns (FROM table sql) columns
(AppendSymbol tableName "." dottedTableName, IsSymbol tableName, ListToRow prefixedTableColumns prefixedTableRow, ListToRow sqlColumns sqlRow, ListToRow tableColumns tableRow, Prefixed dottedTableName tableColumns prefixedTableColumns, SQLColumns sql sqlColumns, TableColumns table tableColumns, TableName table tableName, Union prefixedTableRow tableRow allTableRows, Union sqlRow who_cares allTableRows) => TableRow (FROM table sql) allTableRows
(AppendSymbol tableName "." dottedTableName, IsSymbol tableName, ListToRow prefixedTableColumns prefixedTableRow, ListToRow sqlColumns sqlRow, ListToRow tableColumns tableRow, Prefixed dottedTableName tableColumns prefixedTableColumns, SQLColumns sql sqlColumns, TableColumns table tableColumns, TableName table tableName, ToSQL sql additionalRows, Union allTableRows rows additionalRows, Union prefixedTableRow tableRow allTableRows, Union sqlRow who_cares additionalRows) => ToSQL (FROM table sql) rows

data JOIN :: TABLE -> SQL -> SQL

(AppendSymbol tableName "." dottedTableName, IsSymbol tableName, ListToRow prefixedTableColumns prefixedTableRow, ListToRow tableColumns tableRow, ListToRow sqlColumns sqlRow, Prefixed dottedTableName tableColumns prefixedTableColumns, SQLColumns sql sqlColumns, TableColumns table tableColumns, TableName table tableName, ToSQL sql allTableRows, Union allTableRows rows additionalRows, Union prefixedTableRow tableRow allTableRows, Union sqlRow who_cares additionalRows) => ToSQL (JOIN table sql) rows

data LIMIT :: Nat -> SQL -> SQL

data SQLProxy (sql :: SQL)

class Prefixed (prefix :: Symbol) (rowList :: RowList) (prefixed :: RowList) | prefix rowList -> prefixed

Prefixed prefix Nil Nil
(AppendSymbol prefix label prefixedLabel, Prefixed prefix rowTail prefixedTail) => Prefixed prefix (Cons label ty rowTail) (Cons prefixedLabel ty prefixedTail)

class SQLColumns (sql :: SQL) (columns :: RowList) | sql -> columns

class TableRow (sql :: SQL) (row :: Row Type) | sql -> row

(AppendSymbol tableName "." dottedTableName, IsSymbol tableName, ListToRow prefixedTableColumns prefixedTableRow, ListToRow sqlColumns sqlRow, ListToRow tableColumns tableRow, Prefixed dottedTableName tableColumns prefixedTableColumns, SQLColumns sql sqlColumns, TableColumns table tableColumns, TableName table tableName, Union prefixedTableRow tableRow allTableRows, Union sqlRow who_cares allTableRows) => TableRow (FROM table sql) allTableRows

class ToSQL (sql :: SQL) (columns :: Row Type)  where

(RowToList columns rl, ToSQLSELECT rl) => ToSQL (SELECT columns) don't_care
(AppendSymbol tableName "." dottedTableName, IsSymbol tableName, ListToRow prefixedTableColumns prefixedTableRow, ListToRow sqlColumns sqlRow, ListToRow tableColumns tableRow, Prefixed dottedTableName tableColumns prefixedTableColumns, SQLColumns sql sqlColumns, TableColumns table tableColumns, TableName table tableName, ToSQL sql additionalRows, Union allTableRows rows additionalRows, Union prefixedTableRow tableRow allTableRows, Union sqlRow who_cares additionalRows) => ToSQL (FROM table sql) rows
(AppendSymbol tableName "." dottedTableName, IsSymbol tableName, ListToRow prefixedTableColumns prefixedTableRow, ListToRow tableColumns tableRow, ListToRow sqlColumns sqlRow, Prefixed dottedTableName tableColumns prefixedTableColumns, SQLColumns sql sqlColumns, TableColumns table tableColumns, TableName table tableName, ToSQL sql allTableRows, Union allTableRows rows additionalRows, Union prefixedTableRow tableRow allTableRows, Union sqlRow who_cares additionalRows) => ToSQL (JOIN table sql) rows
(ToInt count, ToSQL sql don't_care) => ToSQL (LIMIT count sql) don't_care

class ToSQLSELECT (columns :: RowList)  where

ToSQLSELECT Nil
(IsSymbol column, ToSQLSELECT rest) => ToSQLSELECT (Cons column don't_care rest)