sqlite-0.4.2: Haskell binding to sqlite3 Source code Contents Index

Database.SQL.Types Portability Basic embedding of SQL types in Haskell. Stability provisional Maintainer Don Stewart <dons@galois.com>

Description

Note: the quary part of this modules was imported (with modifications) from the lowest layer of abstraction of HaskellDB.

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

type TableName = String Source

type ColumnName = String Source

type DatabaseName = String Source

type OpName = String Source

data SQLOrder Source

Constructors SQLAsc SQLDesc

data SQLSelect Source

Data type for SQL SELECT statements. Constructors SQLSelect options :: [String] DISTINCT, ALL etc. | result, alias. Empty list means select all. attrs :: [(SQLExpr, String)] tables :: SelectSource FROM criteria :: [SQLExpr] WHERE groupby :: [SQLExpr] GROUP BY orderby :: [(SQLExpr, SQLOrder)] ORDER BY extra :: [String] TOP n, etc. SQLBin OpName SQLSelect SQLSelect UNION, etc Instances PrettySQL SQLSelect

select_all :: SelectSource -> SQLSelect Source

data SelectSource Source

Constructors From TableSource [Join]

data Join Source

Join with another table. Constructors Join OpName TableSource (Maybe (OpName, SQLExpr))

data TableSource Source

Use empty string for no alias. Constructors SrcTable TableName String SrcSelect SQLSelect String

data SQLExpr Source

Expressions in SQL statements. Constructors 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 Source

Data type for SQL UPDATE statements. Constructors SQLUpdate TableName [(ColumnName, SQLExpr)] [SQLExpr] Instances PrettySQL SQLUpdate

data SQLDelete Source

Data type for SQL DELETE statements. Constructors SQLDelete TableName [SQLExpr] Instances PrettySQL SQLDelete

data SQLInsert Source

Data type for SQL INSERT statements. Constructors SQLInsert TableName [ColumnName] [SQLExpr] SQLInsertQuery TableName [ColumnName] SQLSelect Instances PrettySQL SQLInsert

data SQLCreate a Source

Data type for SQL CREATE statements. Constructors SQLCreateDB DatabaseName Create a database SQLCreateTable (Table a) Create a table Instances PrettySQL a => PrettySQL (SQLCreate a)

data SQLDrop Source

Data type representing the SQL DROP statement. Constructors SQLDropDB DatabaseName Delete a database SQLDropTable TableName Delete a table named SQLTable Instances PrettySQL SQLDrop

data Clause Source

Constructors IsNullable Bool DefaultValue String PrimaryKey Bool Auto-increment? ForeignKey TableName [ColumnName] Clustered Bool Unique

data Constraint Source

Constructors TablePrimaryKey [ColumnName] TableUnique [ColumnName] TableCheck SQLExpr

data Table a Source

Constructors Table tabName :: String tabColumns :: [Column a] tabConstraints :: [Constraint] VirtualTable tabName :: String tabColumns :: [Column a] tabConstraints :: [Constraint] tabUsing :: String

data Column a Source

We parameterize over column type, since SQL engines do tend to provide their own set of supported datatypes (which may or may not map onto SQL99's set of types.) Constructors Column colName :: ColumnName colType :: a colClauses :: [Clause]

type SQLTable = Table SQLType Source

data SQLType Source

MySQL slanted, but also SQLite friendly if you don't get too fancy.. Constructors 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] Instances PrettySQL SQLType

data IntType Source

Constructors TINY SMALL MEDIUM NORMAL BIG

data DateTimeType Source

Constructors DATE DATETIME TIMESTAMP TIME YEAR (Maybe Int)

data BlobType Source

Constructors TinyBlob NormalBlob (Maybe Int) MediumBlob LongBlob

showType :: SQLType -> String Source

showClause :: Clause -> String Source

toSQLString :: String -> String Source

export_sql :: PrettySQL t => t -> String Source

class PrettySQL t where Source

Methods pp_sql :: t -> Doc Source Instances PrettySQL SQLDrop PrettySQL SQLInsert PrettySQL SQLDelete PrettySQL SQLUpdate PrettySQL SQLSelect PrettySQL SQLType PrettySQL a => PrettySQL (SQLCreate a)

Produced by Haddock version 2.4.2