Module

SQL.Table

Package: purescript-sql
Repository: joneshf/purescript-typelevel-sql

#TABLE Source

data TABLE :: Type

#Table Source

data Table :: Symbol -> Row Type -> TABLE

Instances

(RowToList cs columns) => TableColumns (Table name cs) columns
TableName (Table name columns) name

#TProxy Source

data TProxy (table :: TABLE)

Constructors

TProxy

#TableColumns Source

class TableColumns (table :: TABLE) (columns :: RowList) | table -> columns

Instances

(RowToList cs columns) => TableColumns (Table name cs) columns

#TableName Source

class TableName (table :: TABLE) (name :: Symbol) | table -> name

Instances

TableName (Table name columns) name

Modules: Main; SQL.Table; Type.Nat; Type.SQL; Type.SQL.Function