Database.SQL.Types

Description

Synopsis

• type TableName = String
• type ColumnName = String
• type DatabaseName = String
• type OpName = String
• data SQLOrder
  • = SQLAsc
  • | SQLDesc
• data SQLSelect
  • = SQLSelect {
    • options :: [String]
    • attrs :: [(SQLExpr, String)]
    • tables :: SelectSource
    • criteria :: [SQLExpr]
    • groupby :: [SQLExpr]
    • orderby :: [(SQLExpr, SQLOrder)]
    • extra :: [String]
    }
  • | SQLBin OpName SQLSelect SQLSelect
• select_all :: SelectSource -> SQLSelect
• data SelectSource = From TableSource [Join]
• data Join = Join OpName TableSource (Maybe (OpName, SQLExpr))
• data TableSource
  • = SrcTable TableName String
  • | SrcSelect SQLSelect String
• data SQLExpr
  • = ColumnSQLExpr ColumnName
  • | BinSQLExpr OpName SQLExpr SQLExpr
  • | PrefixSQLExpr OpName SQLExpr
  • | PostfixSQLExpr OpName SQLExpr
  • | FunSQLExpr OpName [SQLExpr]
  • | ConstSQLExpr String
  • | CaseSQLExpr [(SQLExpr, SQLExpr)] SQLExpr
  • | ListSQLExpr [SQLExpr]
• data SQLUpdate = SQLUpdate TableName [(ColumnName, SQLExpr)] [SQLExpr]
• data SQLDelete = SQLDelete TableName [SQLExpr]
• data SQLInsert
  • = SQLInsert TableName [ColumnName] [SQLExpr]
  • | SQLInsertQuery TableName [ColumnName] SQLSelect
• data SQLCreate a
  • = SQLCreateDB DatabaseName
  • | SQLCreateTable (Table a)
• data SQLDrop
  • = SQLDropDB DatabaseName
  • | SQLDropTable TableName
• data Clause
  • = IsNullable Bool
  • | DefaultValue String
  • | PrimaryKey Bool
  • | ForeignKey TableName [ColumnName]
  • | Clustered Bool
  • | Unique
• data Constraint
  • = TablePrimaryKey [ColumnName]
  • | TableUnique [ColumnName]
  • | TableCheck SQLExpr
• data Table a
  • = Table {
    • tabName :: String
    • tabColumns :: [Column a]
    • tabConstraints :: [Constraint]
    }
  • | VirtualTable {
    • tabName :: String
    • tabColumns :: [Column a]
    • tabConstraints :: [Constraint]
    • tabUsing :: String
    }
• data Column a = Column {
  • colName :: ColumnName
  • colType :: a
  • colClauses :: [Clause]
  }
• type SQLTable = Table SQLType
• data SQLType
  • = SQLBoolean
  • | SQLChar (Maybe Int)
  • | SQLVarChar Int
  • | SQLBlob BlobType
  • | SQLDateTime DateTimeType
  • | SQLInt IntType Bool Bool
  • | SQLDecimal (Maybe Int) (Maybe Int)
  • | SQLFloat (Maybe Int) (Maybe Int)
  • | SQLEnum [String]
  • | SQLSet [String]
• data IntType
  • = TINY
  • | SMALL
  • | MEDIUM
  • | NORMAL
  • | BIG
• data DateTimeType
  • = DATE
  • | DATETIME
  • | TIMESTAMP
  • | TIME
  • | YEAR (Maybe Int)
• data BlobType
  • = TinyBlob
  • | NormalBlob (Maybe Int)
  • | MediumBlob
  • | LongBlob
• showType :: SQLType -> String
• showClause :: Clause -> String
• toSQLString :: String -> String
• export_sql :: PrettySQL t => t -> String
• class PrettySQL t where
  • pp_sql :: t -> Doc

Documentation